Scholar
Adam Chlipala
Google Scholar ID: Imh0w3AAAAAJ
MIT CSAIL
Programming Languages
Formal Methods
Computer Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,158
H-index
33
i10-index
59
Publications
20
Co-authors
0
Publications
5 items
Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts
2026
Cited
0
Causality and Semantic Separation
2026
Cited
0
Securing Cryptographic Software via Typed Assembly Language (Extended Version)
2025
Cited
0
Pyrosome: Verified Compilation for Modular Metatheory
2025
Cited
0
PLanet: Formalizing Experimental Design
2025
Cited
0
