6 Grants
2009
Abstract Parsing: Static analysis of dynamically generated string output
Schmidt, David
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Network Systems (ID: 0939431), $299,327USD, 08/01/2009 -- 07/31/2012
1999
Static Analysis Based on Model Checking
Schmidt, David
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 9970679), $105,000USD, 09/01/1999 -- 08/31/2002
1996
Logical Support for High-Assurance Software Evolution
Schmidt, David⋅Howard, Brian⋅Stoughton, Alley and Dwyer, Matthew
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 9633388), $200,000USD, 09/01/1996 -- 02/29/2000
1993
Analysis and Classification of Programming Languages
Schmidt, David and Stoughton, Alley
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 9302962), $221,000USD, 09/01/1993 -- 08/31/1997
1991
Action Semantics and Partial Evaluation
Schmidt, David and Danvy, Olivier
National Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computer and Communication Foundations (ID: 9102625), $157,373USD, 06/01/1991 -- 11/30/1993
 
US-France (INRIA) Cooperative Research: Semantics Driven Compiler Synthesis
Schmidt, David
National Science Foundation (NSF), OFFICE OF THE DIRECTOR, Office of International Science and Engineering (ID: 9014042), $14,570USD, 02/01/1991 -- 01/31/1995