← Leaderboards
Michael Carbin
Massachusetts Institute Of Technology
$2,150,695
Attributed
$8,457,215
Total exposure
6
Grants
3
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 $5.8M · FY2018–22$10M$7.5M$5M$2.5M$0
'18
'19
'20
'21
'22
Funding mix
By agency
NSF$8,457,215 · 6
By mechanism
—$8,457,215 · 6
Top collaborators
- Armando Solar-Lezama2 shared
- Adam J Chlipala1 shared
- Jonathan M Ragan-Kelley1 shared
- Martin Rinard1 shared
- Regina Barzilay1 shared
- Saman P Amarasinghe1 shared
- Tamara A Broderick1 shared
- Tommi S Jaakkola1 shared
Grant awards (6)
PPoSS: LARGE: Intel: Combining Learning and Formal Verification for Scalable Machine Programming (ScaMP)$2,100,000
· FY2022 · CSE
Expeditions: Collaborative Research: Understanding the World Through Code$5,678,983
· FY2020 · CSE
Collaborative Research: PPoSS: Planning: Scalable Systems for Probabilistic Programming$125,000
· FY2020 · CSE
SPX: Collaborative Research: NSF Scalable Parallelism in the Extreme (SPX) Workshop on Future Directions for Parallel and Distributed Computing$13,232
· FY2019 · CSE · contact PI
CAREER: A Programming Language for Developing Software to Execute Reliably on Unreliable Hardware$525,000
· FY2018 · CSE · contact PI
Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018$15,000
· FY2018 · CSE · contact PI