基本信息
views: 17
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
Dominic P. Mulligan is currently a principal research engineer with Systems Group, Arm Research, U.K. He was a postdoctoral researcher with the Universities of Cambridge and Bologna, Italy, investigating the formal specification and verification of systems software, including C compilers and linkers. His research interests include formal verification, distributed systems, privacy, and security.
Research Interests
Papers共 36 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Mathias Brossard,Guilhem Bryant, Basma El Gaabouri,Xinxin Fan, Alexandre Ferreira, Edmund Grimley Evans,Christopher Haster,Evan Johnson,Derek Miller,Fan Mo,Dominic P. Mulligan,Nick Spinale,
arXiv (Cornell University) (2023)
ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applicationsno. OOPSLA1 (2023): 376-405
PerCom Workshopspp.322-324, (2023)
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPLno. OOPSLA (2023)
CoRR (2022)
Load More
Author Statistics
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