← Leaderboards
Westley Weimer
University Of Virginia Main Campus
$2,641,664
Attributed
$4,564,835
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.8M · FY2006–19$2M$1.5M$1M$500K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
Funding mix
By agency
NSF$4,564,835 · 11
By mechanism
—$4,564,835 · 11
Top collaborators
- David E Evans2 shared
- Ahmed N Abbasi1 shared
- Anh Nguyen-Tuong1 shared
- Baishakhi Ray1 shared
- Jack W Davidson1 shared
- John C Knight1 shared
- Kevin Skadron1 shared
- Mircea R Stan1 shared
Grant awards (11)
SHF: Small: Collaborative Research: Understanding and Evolving Search-based Software Improvement$250,000
· FY2019 · CSE · contact PI
SHF: Medium: Collaborative Research: Program Analytics: Using Trace Data for Localization, Explanation and Synthesis$300,000
· FY2018 · CSE · contact PI
XPS:FULL: New Abstractions and Applications for Automata Computing$875,000
· FY2016 · CSE
TWC: Small: Automatic Techniques for Evaluating and Hardening Machine Learning Classifiers in the Presence of Adversaries$494,884
· FY2016 · CSE
CHS: Small: Translating Compilers for Visual Computing in Dynamic Languages$450,000
· FY2016 · CSE
SHF: Small: Synthesizing Human-Readable Documentation$470,955
· FY2011 · CSE · contact PI
Travel Grant to ESEC/FSE Doctoral Symposia$7,998
· FY2011 · CSE · contact PI
CAREER: Scalable and Trustworthy Automatic Program Repair$400,000
· FY2010 · CSE · contact PI
SHF: Medium: Collaborative Research: Fixing Real Bugs in Real Programs Using Evolutionary Algorithms$300,000
· FY2009 · CSE · contact PI
CT-T: Practical Formal Verification By Specification Extraction$815,998
· FY2007 · CSE
CT-ER: Automatic Identification and Protection of Security Critical Data$200,000
· FY2006 · CSE