6 Grants
2019
SHF:Small: Collaborative research: Language-Integrated Verification for Deterministic Parallelism
Newton, Ryan
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Division of Computing and Communication Foundations (ID: 1909862), $250,000USD, 10/01/2019 -- 09/30/2022
2017
SPX: Collaborative Research: Eat your Wheaties: Multi-Grain Compilers for Parallel Builds at Every Scale
Newton, Ryan and Tobin Hochstadt, Sam
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Division of Computing and Communication Foundations (ID: 1725679), $400,000USD, 08/15/2017 -- 07/31/2021
2015
CAREER: Towards Practical Deterministic Parallel Languages
Newton, Ryan
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Div Of Computer & Communication Foundati (ID: 1453508), $199,057USD, 02/15/2015 -- 01/31/2020
2013
NeTS: Small: Flange: A Domain Specific Language for Network
Swany, Douglas and Newton, Ryan
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Network Systems (ID: 1320659), $298,292USD, 09/01/2013 -- 08/31/2016
 
XPS: DSD: Adaptive Stream-Processing Compilers for a Messy World
Swany, Douglas and Newton, Ryan
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 1337242), $745,594USD, 09/15/2013 -- 08/31/2016
2012
SHF: Small: Generalizing Monotonic Data Structures for Expressive, Deterministic Parallel Programming
Newton, Ryan
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computing and Communication Foundations (ID: 1218375), $377,315USD, 08/01/2012 -- 07/31/2015