← Leaderboards
George C Necula
University Of California-Berkeley
$4,656,395
Attributed
$9,513,302
Total exposure
11
Grants
7
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.3M · FY2005–13$2.5M$1.9M$1.3M$625K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
Funding mix
By agency
NSF$9,513,302 · 11
By mechanism
—$9,513,302 · 11
Top collaborators
- Koushik Sen2 shared
- Thomas A Henzinger2 shared
- Alberto L Sangiovanni Vincentelli1 shared
- Bjoern Hartmann1 shared
- David Wagner1 shared
- Emina Torlak1 shared
- Eric A Brewer1 shared
- Rastislav Bodik1 shared
Grant awards (11)
XPS: FP: Program Synthesis for Low-Power Spatial Architectures$765,879
· FY2013 · CSE · contact PI
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design$2,250,000
· FY2012 · CSE
SHF: Small: Specifying and Verifying Essential Deterministic Behavior of Concurrent Programs$475,356
· FY2010 · CSE
SHF: Small: Programming Support for Checkpointing and Replay$400,000
· FY2010 · CSE · contact PI
CSR --- SMA: Predictive Testing of System Software$350,000
· FY2007 · CSE
CSR - - - PDOS: A New Foundation for the Evolution of Critical Systems$672,657
· FY2005 · CSE
CT-ISG: Collaborative Research: Open Software Security: Principles and Systems$300,000
· FY2005 · CSE · contact PI
ITR/Language-Based Software Security$900,000
· FY2003 · CSE · contact PI
Verifying Properties of Systems Software$399,933
· FY2002 · CSE · contact PI
ITR: The Open Source Quality Project$2,499,923
· FY2000 · CSE · contact PI
ITR: Translation Validation for Advanced Compiler Optimizations$499,554
· FY2000 · CSE · contact PI