← Leaderboards
Stephen F Siegel
University Of Massachusetts Amherst
$2,500,075
Attributed
$3,136,508
Total exposure
9
Grants
9
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 $772K · FY2006–25$1M$750K$500K$250K$0
'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$3,136,508 · 9
By mechanism
—$3,136,508 · 9
Top collaborators
- Anshu Dubey1 shared
- George S Avrunin1 shared
- Jan C Hueckelheim1 shared
- Junchao Zhang1 shared
- Matthew B Dwyer1 shared
Grant awards (9)
CS2: Modular Verification of Scientific Software using Model Checking, Symbolic Execution, and Abstraction$400,000
· FY2025 · CSE · contact PI
Collaborative Research: DOE/NSF Workshop on Correctness in Scientific Computing$15,000
· FY2023 · CSE · contact PI
Collaborative Research: SHF: Medium: Practical and Rigorous Correctness Checking and Correctness Preservation for Irregular Parallel Programs$466,450
· FY2020 · CSE · contact PI
FMitF: Track II: Usability, Robustness, and Performance Improvements for CIVL$100,000
· FY2020 · CSE · contact PI
SHF: Small: Contracts for Message-Passing Parallel Programs$463,999
· FY2013 · CSE · contact PI
CIVL: A Concurrency Intermediate Verification Language$308,000
· FY2013 · CSE · contact PI
CAREER: Ensuring the Accuracy of Scientific Software: A Formal Approach$527,022
· FY2010 · CSE · contact PI
Collaborative Research: Finite-State Verification for High-Performance Computing$491,171
· FY2007 · CSE · contact PI
Collaborative Research: Finite-State Verification for High-Performance Computing$364,866
· FY2006 · CSE · contact PI