2 Grants
2015
SHF: Small: Behavioral Software Contract Verification
Tobin Hochstadt, Sam
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Div Of Computer & Communication Foundati (ID: 1540276), $342,229USD, 01/01/2015 -- 08/31/2015
2014
SHF: SMALL: COLLABORATIVE RESEARCH: Compiler Coaching
Tobin Hochstadt, Sam
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 1421652), $136,247USD, 07/01/2014 -- 06/30/2017