← Leaderboards
John D Regehr
University Of Utah
$4,847,234
Attributed
$8,935,692
Total exposure
13
Grants
10
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 $3.7M · FY2005–20$5M$3.8M$2.5M$1.3M$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
Funding mix
By agency
NSF$8,935,692 · 13
By mechanism
—$8,935,692 · 13
Top collaborators
- Eric N Eide2 shared
- Mike Hibler2 shared
- Anton Burtsev1 shared
- Jay Lepreau1 shared
- Matthew R Flatt1 shared
- Robert Ricci1 shared
- Steven C Corbato1 shared
- Zvonimir Rakamaric1 shared
Grant awards (13)
SHF: Medium: Formal Methods as a First-Class Citizen of a Mainstream Compiler Framework$1,114,703
· FY2020 · CSE · contact PI
SHF: Small: Xsmith, A Configurable Generator of Highly Effective Fuzz Testers$499,998
· FY2015 · CSE
TWC: Small: XCap: Practical Capabilities and Least Authority for Virtualized Environments$499,912
· FY2013 · CSE · contact PI
CSR: Small: Beating Implementations of C++11 Concurrency Into Shape$467,740
· FY2012 · CSE · contact PI
SHF: Small: Collaborative Research: Diversity and Feedback in Random Testing for Systems Software$249,036
· FY2012 · CSE · contact PI
CRI: CRD: Keeping Emulab Tuned and Humming$1,999,873
· FY2007 · CSE · contact PI
MRI: Evolutionary Development of an Advanced Distributed Testbed$1,704,000
· FY2007 · CSE · contact PI
NeTS-FIND: Collaborative Research: Towards Complexity-Oblivious Network Management$300,000
· FY2006 · CSE · contact PI
Collaborative Research: CSR---EHS: Improving Sensor Network Software Reliability through Language, Tool, and OS Co-Design$210,000
· FY2006 · CSE · contact PI
CAREER: Vertically Integrated Program Analysis for Embedded Software$400,000
· FY2005 · CSE · contact PI
PDOS: Experimenting with Garbage Collection in an Otherwise Conventional OS$379,999
· FY2005 · CSE
MRI: Development of Next-Generation Network Research Testbeds$800,000
· FY2003 · CSE · contact PI
EHS: Composable Execution Environments: A Foundation for Building Robust Embedded Systems$310,431
· FY2002 · CSE