← Leaderboards
Gabriel Dos Reis
Texas A&M Engineering Experiment Station
$826,891
Attributed
$1,615,278
Total exposure
6
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 $583.2K · FY2007–14$1M$750K$500K$250K$0
'07
'08
'09
'10
'11
'12
'13
'14
Funding mix
By agency
NSF$1,615,278 · 6
By mechanism
—$1,615,278 · 6
Top collaborators
- Bjarne Stroustrup2 shared
- Alexander Sprintson1 shared
- Lawrence Rauchwerger1 shared
Grant awards (6)
NeTS: Small: Collaborative Research: Tools for Design and Analysis of Provably Correct Networking Systems$351,441
· FY2014 · CSE
SI2-SSE: Supporting Generic Programming in C++ for Modular and Reliable Large-Scale Software$499,999
· FY2012 · CSE · contact PI
CAREER: Compilers for Dependable Computational Mathematics$83,200
· FY2012 · CSE · contact PI
EAGER: Exploration in Type Systems With User-Defined Axioms$116,638
· FY2010 · CSE · contact PI
Planning Visits: Building a Coalition for Provably Correct C++ Program Translation$20,000
· FY2010 · O/D · contact PI
Collaborative Research: Next Generation Compilers for Emerging Multicore Systems$544,000
· FY2007 · CSE