← Leaderboards
Adam J Chlipala
Massachusetts Institute Of Technology
$5,358,279
Attributed
$9,831,550
Total exposure
11
Grants
6
Lead (contact PI)
Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.
Funding over time
peak $2.6M · FY2012–25$5M$3.8M$2.5M$1.3M$0
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$9,831,550 · 11
By mechanism
—$9,831,550 · 11
Top collaborators
- Marinus F Kaashoek3 shared
- Nickolai Zeldovich3 shared
- Robert T Morris2 shared
- Armando Solar-Lezama1 shared
- Jonathan M Ragan-Kelley1 shared
- Manya Ghobadi1 shared
- Michael Carbin1 shared
- Professor Arvind1 shared
Grant awards (11)
FMitF: Track I: Formally Verified Programmable Network Switches$865,209
· FY2025 · CSE · contact PI
PPoSS: LARGE: Intel: Combining Learning and Formal Verification for Scalable Machine Programming (ScaMP)$2,100,000
· FY2022 · CSE
SaTC: CORE: Small: Scaling Correct-by-Construction Code Generation for Cryptography$516,000
· FY2022 · CSE · contact PI
SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors$1,216,000
· FY2021 · CSE
FMitF: Verifying Concurrent System Software with Cspec$750,000
· FY2018 · CSE
SaTC: CORE: Small: verifying security for data non-interference$500,000
· FY2018 · CSE
CSR: Medium: A High-Performance Certified File System and Applications$900,000
· FY2016 · CSE
Collaborative Research: Expeditions in Computing: The Science of Deep Specification$1,148,325
· FY2015 · CSE · contact PI
SHF: Medium: Fiat: Correct-by-Construction and Mostly Automated Derivation of Programs with an Interactive Theorem Prover$816,016
· FY2015 · CSE · contact PI
CAREER: A Formal Verification Platform Focused on Programmer Productivity$520,000
· FY2013 · CSE · contact PI
SHF: Small: Capitalizing on First-Class SQL Support in the Ur/Web Programming Language$500,000
· FY2012 · CSE · contact PI