← Leaderboards
Cormac Flanagan
University Of California-Santa Cruz
$2,419,295
Attributed
$3,388,138
Total exposure
8
Grants
6
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 $929.9K · FY2007–23$1M$750K$500K$250K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$3,388,138 · 8
By mechanism
—$3,388,138 · 8
Top collaborators
- Jose Renau1 shared
- Martin Abadi1 shared
- Stephanie C Lieggi1 shared
Grant awards (8)
Collaborative Research: SHF: Small: RUI: Keystone: Modular Concurrent Software Verification$339,977
· FY2023 · CSE · contact PI
Collaborative Research: Disciplinary Improvements: Repeto: Building a Network for Practical Reproducibility in Experimental Computer Science$929,913
· FY2022 · CSE
SHF: Small: Collaborative Research: Synchronicity: A Framework for Synthesizing Concurrent Software from Sequential and Cooperative Specifications$299,962
· FY2018 · CSE · contact PI
SHF: Small: Collaborative Research: Fast and Precise Dynamic Race Detection: Eliminating State and Checking Redundancy$301,004
· FY2014 · CSE · contact PI
XPS: FP: DeCoP: Deterministic Cooperative Parallelism$750,000
· FY2013 · CSE
SHF: Small: Collaborative Research: Static and Dynamic Analysis for Cooperative Concurrency$359,509
· FY2011 · CSE · contact PI
Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research$150,000
· FY2007 · CSE · contact PI
Checking Atomicity for Improved Multithreaded Software Reliability$257,773
· FY2003 · CSE · contact PI