基本信息
views: 194
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
My current technical interests are in model-based testing of web service APIs and checking conformance of code implementing distributed systems to design models. Bridging implementations and models/specifications in this manner increases confidence in the correctness of implementations and provides a mechanism for code and models to remain in sync. Throughout my career, I have focused on concurrent systems implemented in hardware and/or software. I have both developed static, compositional proof methods and worked on dynamic/runtime techniques (including supporting a proposed DataRaceException in Java). At S3-ARG, we are developing and deploying a wide variety of automated reasoning methods that help us strike the compromises between ease-of-use/automation and degree of assurance we need for each application.
Research Interests
Papers共 85 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
ASE 2020 (2020)
Cited0Views0Bibtex
0
0
Load More
Author Statistics
#Papers: 85
#Citation: 2968
H-Index: 24
G-Index: 53
Sociability: 5
Diversity: 1
Activity: 0
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn