← Leaderboards
Ranjit Jhala
University Of California-Los Angeles
$5,936,539
Attributed
$13,856,319
Total exposure
19
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 $5.6M · FY2005–23$10M$7.5M$5M$2.5M$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$13,856,319 · 19
By mechanism
—$13,856,319 · 19
Top collaborators
- Sorin Lerner5 shared
- Deian Stefan4 shared
- Hovav Shacham2 shared
- Alex C Snoeren1 shared
- Edward Kohler1 shared
- Kamalika Chaudhuri1 shared
- Kirill Levchenko1 shared
- Rajesh K Gupta1 shared
Grant awards (19)
Collaborative Research: SaTC: CORE: Medium: Refine the Gap: Establishing Safety for Modern Foreign Function Interfaces$526,354
· FY2023 · CSE
Collaborative Research: SaTC: CORE: Medium: End-to-end Verified Secure Sandboxed Systems$900,000
· FY2022 · CSE
Collaborative Research: SaTC: CORE: Large: Building and Deploying a Verified JavaScript Runtime$1,270,000
· FY2021 · CSE
FMitF: Collaborative Research: Track I: Finding and Eliminating Bugs in Operating Systems$516,000
· FY2019 · CSE
SHF: Small: Collaborative research: Language-Integrated Verification for Determininistic Parallelism$250,000
· FY2019 · CSE · contact PI
FMitF: Track II: Refinement Types in the Haskell Ecosystem$100,000
· FY2019 · CSE · contact PI
SHF: Medium: Collaborative Research: Program Analytics: Using Trace Data for Localization, Explanation and Synthesis$900,000
· FY2018 · CSE · contact PI
CPS: Synergy: Collaborative Research: Foundations of Secure Cyber-Physical Systems of Systems$560,000
· FY2016 · CSE
TWC: Medium: Detection and Prevention of Data Timing Channels$1,200,000
· FY2015 · CSE · contact PI
TWC: Small: New Foundations for Secure JavaScript$400,000
· FY2012 · CSE · contact PI
SHF: Small: Next-Generation, Dependent Type-based Software Model Checking for C$400,000
· FY2012 · CSE · contact PI
WORKSHOP: Future Directions For Formal Methods$84,725
· FY2012 · CSE · contact PI
Collaborative Research: Variability-Aware Software for Efficient Computing with Nanoscale Devices$4,041,313
· FY2010 · CSE
TC: Medium: Securing JavaScript Web Applications via Staged Policy Enforcement$1,151,927
· FY2010 · CSE · contact PI
SHF: Small: Redefining IO Abstractions for Non-Volatile, Solid-State Memories: Languages and System Architectures$416,000
· FY2010 · CSE
CPA-CPL: Scalable Analysis for Concurrent Programs$350,000
· FY2008 · CSE
CAREER: Software Reliability via Assert-Generated Interfaces$400,000
· FY2007 · CSE · contact PI
Collaborative: Software Verification for Hardware Models$240,000
· FY2007 · CSE · contact PI
(SGER) Preliminary Steps Toward a Verifiable Kernel$150,000
· FY2005 · CSE