← Leaderboards
Santosh Nagarakatte
Rutgers University New Brunswick
$1,803,639
Attributed
$2,386,954
Total exposure
9
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 $616K · FY2014–24$1M$750K$500K$250K$0
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$2,386,954 · 9
By mechanism
—$2,386,954 · 9
Top collaborators
- Liviu Iftode1 shared
- Mridul Aanjaneya1 shared
- Vinod Ganapathy1 shared
Grant awards (9)
FMitF: Track II: Formally-Verified eBPF Verifier in the Linux Kernel$150,000
· FY2024 · CSE
Collaborative Research: DOE/NSF Workshop on Correctness in Scientific Computing$19,991
· FY2023 · CSE · contact PI
SHF:Small:Techniques for Generating Correctly Rounded Math Libraries$499,979
· FY2021 · CSE · contact PI
SHF: Small: Formalisms, Implementations, and Verification Procedures for Alternatives to Floating Point$516,000
· FY2019 · CSE · contact PI
FMitF: Track II: Automated Verification for Assembly Implementations of Cryptography Libraries$99,996
· FY2019 · CSE · contact PI
CAREER: Semantics, Abstractions, and Tools for a Pragmatic Verified LLVM Compiler$561,000
· FY2015 · CSE · contact PI
PLDI 2015 Travel Support$20,000
· FY2015 · CSE · contact PI
SaTC: Hardware-Assisted Methods for Operating System Integrity$499,988
· FY2014 · CSE
PLDI 2014 Travel Support$20,000
· FY2014 · CSE · contact PI