← Leaderboards
Zvonimir Rakamaric
University Of Utah
$2,734,532
Attributed
$4,981,608
Total exposure
11
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 $1.2M · FY2013–20$2M$1.5M$1M$500K$0
'13
'14
'15
'16
'17
'18
'19
'20
Funding mix
By agency
NSF$4,981,608 · 11
By mechanism
—$4,981,608 · 11
Top collaborators
- Ganesh L Gopalakrishnan5 shared
- Hari Sundar2 shared
- Mary W Hall2 shared
- Anton Burtsev1 shared
- John D Regehr1 shared
- Vivek Srikumar1 shared
Grant awards (11)
SHF: Medium: Formal Methods as a First-Class Citizen of a Mainstream Compiler Framework$1,114,703
· FY2020 · CSE
FMitF: Track II: Lifting the SMACK Verifier to Production Software$100,000
· FY2020 · CSE · contact PI
FMiTF: Track II: Rigorous and Versatile Float-Point Precision Analysis and Tuning$116,000
· FY2019 · CSE
FMitF: Collaborative Research: RedLeaf: Verified Operating Systems in Rust$399,931
· FY2018 · CSE · contact PI
SHF: Medium: Hierarchical Tuning of Floating-Point Computations$1,224,000
· FY2017 · CSE
CAREER: Formal Methods for Approximate Computing$510,511
· FY2016 · CSE · contact PI
EAGER: Application-driven Data Precision Selection Methods$299,970
· FY2016 · CSE
TWC: Small: Deker: Decomposing Commodity Kernels for Verification$515,999
· FY2015 · CSE · contact PI
SHF:Small:Collaborative Research: Compositional Verification of Heterogeneous Software Protocol Stacks$268,996
· FY2014 · CSE · contact PI
EAGER: Memory Models: Specification and Verification in a Concurrency Intermediate Verification Language (CIVL) Framework$300,000
· FY2013 · CSE · contact PI
Collaborative Research: Localized, Layered Formal Hardware/Software Resilience Methods$131,498
· FY2013 · CSE