← Leaderboards
Rastislav Bodik
University Of Wisconsin-Madison
$3,927,732
Attributed
$7,228,042
Total exposure
17
Grants
14
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.6M · 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$7,228,042 · 17
By mechanism
—$7,228,042 · 17
Top collaborators
- Aditya Virendra Thakur1 shared
- Adriana Schulz1 shared
- Alvin Cheung1 shared
- Amy J Ko1 shared
- David Wagner1 shared
- Emina Torlak1 shared
- George C Necula1 shared
- Kyle D Crowder1 shared
Grant awards (17)
Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis$499,987
· FY2022 · CSE · contact PI
FMitF: Track I: End-User Programming with Synthesis-Guided Interaction Models$801,739
· FY2021 · CSE · contact PI
RAPID: Collecting Reliable COVID-19 Datasets in Crisis Conditions$69,998
· FY2020 · TIP · contact PI
Convergence Accelerator Phase I (RAISE): Linking the Open Knowledge Network to the Web with End-User Programming$994,710
· FY2019 · TIP · contact PI
NRI: INT: COLLAB: Program Verification and Synthesis for Collaborative Robots$540,894
· FY2019 · CSE
FMitF: Track II: Programming by Demonstration for the Browser with Applications in Data Science$98,929
· FY2019 · CSE · contact PI
CAPA: Collaborative Research: ARION: Taming Heterogeneity with DSLs, Approximation, and Synthesis$850,000
· FY2017 · CSE · contact PI
SI2-SSE: Algorithms and Tools for Data-Driven Executable Biology$515,784
· FY2015 · CSE · contact PI
Student travel support for POPL 2016$15,000
· FY2015 · CSE · contact PI
Student travel support for POPL 2016$15,000
· FY2015 · CSE · contact PI
SHF: Small: Programming Abstractions for Algorithmic Software Synthesis$500,000
· FY2009 · CSE · contact PI
SoD-TEAM: Programming by Sketching$200,000
· FY2006 · CSE · contact PI
CT-ISG: Implementing Provably Correct High-Performance Ciphers with Sketching$450,000
· FY2005 · CSE · contact PI
ITR/Language-Based Software Security$900,000
· FY2003 · CSE
CAREER: Scalable Compiler Optimizations for New Software$253,515
· FY2002 · CSE · contact PI
Exploiting the Critical Path in the Design and Performance Analysis of Modern Processors$422,507
· FY2001 · CSE
CAREER: Scalable Compiler Optimizations for New Software$99,979
· FY2001 · CSE · contact PI