← Leaderboards
Michael D Ernst
Massachusetts Institute Of Technology
$3,719,013
Attributed
$7,090,255
Total exposure
11
Grants
8
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 $786.1K · FY2006–21$1M$750K$500K$250K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
Funding mix
By agency
NSF$7,090,255 · 11
By mechanism
—$7,090,255 · 11
Top collaborators
- Amy J Ko1 shared
- Carl Wunsch1 shared
- Daniel Jackson1 shared
- David S Notkin1 shared
- Jennifer Mankoff1 shared
- Martin Rinard1 shared
- Paul I Barton1 shared
- Rene Just1 shared
Grant awards (11)
CCRI: ENS: Evolving the Defects4J Benchmark and Infrastructure to Enable Sustained Innovation and Reproducibility in Software Engineering Research$500,000
· FY2021 · CSE
Collaborative Research: SHF: Small: Lightweight Modular Typestate$250,000
· FY2020 · CSE · contact PI
FMitF: Formal Verification of Accessibility$786,125
· FY2019 · CSE · contact PI
CI-EN: Collaborative Research: An Experimental Infrastructure and a Database of Real Faults to Foster Reproducibility in Software Engineering Research$284,086
· FY2018 · CSE · contact PI
SHF: Medium: Combining Speculation with Continuous Validation for Software Developers$766,000
· FY2010 · CSE · contact PI
II-NEW: Practical Pluggable Type Systems$681,071
· FY2009 · CSE · contact PI
SoD-HCER: Testing Designs and Designing Tests$200,000
· FY2006 · CSE · contact PI
ITR: Software Safety Mechanisms for Medical Systems$900,000
· FY2003 · CSE
ITR ACTS - Adjoint Complier Technology & Standards$2,022,973
· FY2002 · GEO
Improving Test Suites Via Generated Specifications$400,000
· FY2002 · CSE · contact PI
CAREER: Automatically Generating Specifications to Improve Program Correctness and Maintainability$300,000
· FY2002 · CSE · contact PI