← Leaderboards
Armando Solar-Lezama
Massachusetts Institute Of Technology
$3,601,826
Attributed
$11,418,762
Total exposure
8
Grants
5
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.7M · FY2010–22$10M$7.5M$5M$2.5M$0
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
Funding mix
By agency
NSF$11,418,762 · 8
By mechanism
—$11,418,762 · 8
Top collaborators
- Michael Carbin2 shared
- Saman P Amarasinghe2 shared
- Adam J Chlipala1 shared
- Fredo Durand1 shared
- Jonathan M Ragan-Kelley1 shared
- Martin Rinard1 shared
- Mohammad Alizadeh1 shared
- Regina Barzilay1 shared
Grant awards (8)
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 · contact PI
III: Medium: Learning-based Synthesis of Data Processing Engines$1,200,000
· FY2019 · CSE
XPS: FULL: DSD: Scalable High Performance with Halide and Simit Domain Specific Languages$845,000
· FY2015 · CSE
SHF: Medium: Collaborative Research: Marrying program analysis and numerical search$600,000
· FY2012 · CSE · contact PI
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design$500,000
· FY2012 · CSE · contact PI
SHF: Small: Human-Centered Software Synthesis$404,779
· FY2011 · CSE · contact PI
EAGER: Human-Centered Software Synthesis$90,000
· FY2010 · CSE · contact PI