← Leaderboards
Stephan A Zdancewic
University Of Pennsylvania
$7,660,619
Attributed
$14,517,826
Total exposure
19
Grants
12
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 $3.8M · FY2005–23$5M$3.8M$2.5M$1.3M$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
Funding mix
By agency
NSF$14,517,826 · 19
By mechanism
—$14,517,826 · 19
Top collaborators
- Benjamin C Pierce3 shared
- Stephanie C Weirich3 shared
- Milo Martin2 shared
- Rajeev Alur2 shared
- Andre Scedrov1 shared
- Boon Thau Loo1 shared
- David P Walker1 shared
- George Pappas1 shared
Grant awards (19)
SaTC: CORE: Medium: Secure and Formally-verified Low-level Languages$1,200,000
· FY2023 · CSE · contact PI
REU Site: Research Experience for undergraduates in Programming Languages (REPL)$337,095
· FY2023 · CSE · contact PI
Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2019 (PLMW@POPL)$15,000
· FY2018 · CSE · contact PI
NSF Student Travel Grant for 2018 Programming Languages$15,000
· FY2017 · CSE · contact PI
Collaborative Research: Expeditions in Computing: The Science of Deep Specification$3,375,811
· FY2015 · CSE
SHF: SMALL: NONSTANDARD COMPUTATIONAL MODELS OF LINEAR LOGIC$458,000
· FY2014 · CSE · contact PI
XPS: CLCCA: Improving Parallel Program Reliability Through Novel Approaches to Precise Dynamic Data Race Detection$700,000
· FY2013 · CSE
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design$3,750,000
· FY2012 · CSE
CCF: Medium: Validating Program Transformations in a Mechanized LLVM$806,961
· FY2011 · CSE · contact PI
TC: Small: WATCHDOG: Hardware-Assisted Prevention of All Use-After-Free Security Vulnerabilities$499,961
· FY2011 · CSE
SHF: SMALL: Practical Linear Types for Safe Protocols$300,000
· FY2010 · CSE · contact PI
CT-T: Collaborative Research: Manifest Security$500,000
· FY2007 · CSE
Unifying Events and Threads: Language Support for Network Services$350,000
· FY2006 · CSE · contact PI
CRI: Machine Assistance for Programming Language Research$199,999
· FY2006 · CSE
CT-T: Resource-Guided Implementation of Secure Embedded Software$1,000,000
· FY2005 · CSE · contact PI
Collaborative Research: CT-T: Flexible, Decentralized Information-flow Control for Dynamic Environments$300,000
· FY2005 · CSE · contact PI
CAREER: Language-based Distributed System Security$400,000
· FY2004 · CSE · contact PI
Software Security: Theory to Practice$10,000
· FY2004 · CSE
Dynamic Security Policies$299,999
· FY2003 · CSE · contact PI