基本信息
views: 0
Career Trajectory
Bio
Adam's background is in programming languages and formal methods. He is interested in developing simpler and more effective abstractions for building correct, secure, and performant systems -- usually taking advantage of machine-checked mathematical proofs somehow. His work applies ideas like object-capability systems, proof-carrying code, transactions, type systems, and whole-program optimizing compilers for high-level languages; with applications in computer architecture, cryptography, databases, and operating systems, including novel designs that span traditional layers.
Research Interests
Papers共 108 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
CoRR (2023)
CoRR (2023): 141-145
Proceedings of the ACM on Programming Languagesno. ICFP (2023): 108-124
ArXiv (2022)
Cited0Views0Bibtex
0
0
HAL (Le Centre pour la Communication Scientifique Directe) (2022)
Cited0Views0Bibtex
0
0
Mohsen Lesani,Li-yao Xia, Anders Kaseorg, Christian J. Bell,Adam Chlipala,Benjamin C. Pierce,Steve Zdancewic
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