← Leaderboards
Yannis Smaragdakis
Georgia Tech Research Corporation
$1,457,303
Attributed
$1,527,269
Total exposure
9
Grants
8
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 $605K · FY2007–09$1M$750K$500K$250K$0
'07
'08
'09
Funding mix
By agency
NSF$1,527,269 · 9
By mechanism
—$1,527,269 · 9
Top collaborators
- Matthew Fluet2 shared
- Michal T Young1 shared
- Zena M Ariola1 shared
Grant awards (9)
CPA-CPL-T: Programming Models for Transactional Memory$330,291
· FY2009 · CSE · contact PI
SHF:Small:Collaborative Research:Dynamic Invariant Inference, Enhanced$167,000
· FY2009 · CSE · contact PI
CAREER: Infrastructure for Software Generators and Components$92,736
· FY2009 · CSE · contact PI
WORKSHOP: Theory and Practice of Language Implementation$15,000
· FY2009 · CSE
CPA-CPL-T: Programming Models for Transactional Memory$107,933
· FY2008 · CSE · contact PI
WORKSHOP: Logic and Theorem Proving in Programming Languages$12,000
· FY2008 · CSE · contact PI
CAREER: Infrastructure for Software Generators and Components$186,894
· FY2007 · CSE · contact PI
CAREER: Infrastructure for Software Generators and Components$315,781
· FY2003 · CSE · contact PI
ITR: Application Partitioning Without Programming$299,634
· FY2002 · CSE · contact PI