← Leaderboards
Corina Pasareanu
Carnegie Mellon University
$725,000
Attributed
$1,175,000
Total exposure
5
Grants
4
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 $675K · FY2013–25$1M$750K$500K$250K$0
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$1,175,000 · 5
By mechanism
—$1,175,000 · 5
Top collaborators
- Beidi Chen1 shared
- Limin Jia1 shared
Grant awards (5)
Collaborative Research: SHF: Medium: Semantic Aware Code Generation with Large Language Models$675,000
· FY2025 · CSE
SHF: Medium: Collaborative Research: HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair$399,999
· FY2019 · CSE · contact PI
EAGER: Collaborative Research: Leveraging Graph Databases for Incremental and Scalable Symbolic Analysis and Verification of Web Applications$50,001
· FY2015 · CSE · contact PI
Travel and Registration Support for Computer Aided Verification 2015$10,000
· FY2015 · CSE · contact PI
BSF:2012259:Circular compositional reasoning by learning and abstraction-refinement$40,000
· FY2013 · CSE · contact PI