← Leaderboards
Thomas W Reps
University Of Wisconsin-Madison
$2,147,517
Attributed
$2,994,174
Total exposure
7
Grants
5
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.1M · FY2005–22$2M$1.5M$1M$500K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
Funding mix
By agency
NSF$2,994,174 · 7
By mechanism
—$2,994,174 · 7
Top collaborators
- Benjamin R Liblit1 shared
- Loris Dantoni1 shared
- Somesh Jha1 shared
- Xiaojin Zhu1 shared
Grant awards (7)
SHF: Medium: Compositional Semantics-Guided Synthesis$900,000
· FY2022 · CSE
Collaborative Research: SHF: Medium: Semantics-Aware Neural Models of Code$209,190
· FY2022 · CSE · contact PI
SHF: Small: Transforming Natural Language to Programming Languages$249,985
· FY2014 · CSE
SHF: Medium: MACANTOK -- a MAchine-Code-ANalysis TOol Kit -- and its Applications$600,000
· FY2009 · CSE · contact PI
Advanced Methods for Performing Static Analysis of Machine Code$299,999
· FY2008 · CSE · contact PI
Collaborative Research: Advanced Static-Analysis Techniques for Ensuring Reliable Software$275,000
· FY2006 · CSE · contact PI
CT-ISG: Advanced Methods for Checking Information-Security Properties$460,000
· FY2005 · CSE · contact PI