Stephen N Freund

Williams College

$1,583,912

Attributed

$1,583,912

Total exposure

Grants

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. They are the sole PI on all grants (the two match).

Funding over time

peak $451K · FY2007–23

$500K$375K$250K$125K$0

'07

'08

'09

'10

'11

'12

'13

'14

'15

'16

'17

'18

'19

'20

'21

'22

'23

Funding mix

By agency

NSF$1,583,912 · 7

By mechanism

—$1,583,912 · 7

Top collaborators

No co-investigators on record.

Grant awards (7)

Collaborative Research: SHF: Small: RUI: Keystone: Modular Concurrent Software Verification$259,949

· FY2023 · CSE · contact PI

SHF: Small: Collaborative Research: RUI: Synchronicity: A Framework for Synthesizing Concurrent Software from Sequential and Cooperative Specifications$199,999

· FY2018 · CSE · contact PI

XPS: FULL: SDA: Collaborative Research: RUI: SCORE: Scalability-Oriented Optimization$252,000

· FY2014 · CSE · contact PI

SHF: Small: Collaborative Research: RUI: Fast and Precise Dynamic Race Detection: Eliminating State and Checking Redundancy$198,993

· FY2014 · CSE · contact PI

SHF: Small: Collaborative Research and RUI: Static and Dynamic Analysis for Cooperative Concurrency$134,059

· FY2011 · CSE · contact PI

CAREER: Hybrid Atomicity Checking$400,000

· FY2007 · CSE · contact PI

Checking Atomicity for Improved Multithreaded Software Reliability$138,912

· FY2003 · CSE · contact PI