← Leaderboards
Daniel Sorin
Duke University
$3,550,053
Attributed
$4,995,053
Total exposure
13
Grants
11
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 $500K · FY2005–25$500K$375K$250K$125K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
'25
Funding mix
By agency
NSF$4,995,053 · 13
By mechanism
—$4,995,053 · 13
Top collaborators
- Alvin R Lebeck1 shared
- Arthur Calderbank1 shared
- John H Reif1 shared
- Miroslav Pajic1 shared
- Paul D Franzon1 shared
- Thomas H Labean1 shared
Grant awards (13)
Collaborative Research: FMitF : Track I: Specifying, Synthesizing, and Verifying Heterogeneous Coherence Protocols$299,631
· FY2025 · CSE · contact PI
SHF: Small: Transforming Computer Architecture Evaluation with Statistical Model Checking$500,000
· FY2021 · CSE · contact PI
SHF: Small: Automatic Generation of Cache Coherent Memory Systems for Multicore Processors$400,000
· FY2020 · CSE · contact PI
CIF:Small:High Performance Memories that Integrate Coding and Computer Architecture$470,000
· FY2017 · CSE
SHF:Small:Designing Architectures to be Formally Verifiable$348,000
· FY2014 · CSE · contact PI
SHF: Small: Shared Memory Architectures and Microarchitectures for Heterogeneous General-Purpose Chips$300,000
· FY2012 · CSE · contact PI
SHF: EAGER: FIESTA: A Sound Multi-Program Workload Methodology$134,472
· FY2012 · CSE · contact PI
SHF: Small: Commodity Processors with Mainframe Reliability$420,000
· FY2011 · CSE · contact PI
SHF: EAGER: FIESTA: A Sound Multi-Program Workload Methodology$188,528
· FY2010 · CSE · contact PI
CPA-CSA: Verification-Aware Microarchitecture$220,000
· FY2008 · CSE · contact PI
CAREER: Improving Multiprocessor Availability with Dynamic Verification and Autonomic Operation$400,000
· FY2005 · CSE · contact PI
ITR: Nanoarchitecture: Balancing Regularity, Complexity, and Defect Tolerance using DNA for Nanoelectronic Integration$1,200,000
· FY2003 · CSE
FaultFinder: Improving the Availability of Multiprocessor Servers$114,422
· FY2003 · CSE · contact PI