Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Foster, Jeff - Institute for Advanced Computer Studies & Department of Computer Science, University of Maryland at College Park
A Theory of Type Qualifiers Jeffrey S. Foster
Title of dissertation: Sound, precise and efficient static race detection
Type Qualifiers: Lightweight Specifications to Improve Software Quality Je#rey Scott Foster
Checking and Inferring Local NonAliasing # University of California, Berkeley
Detecting Format String Vulnerabilities with Type Qualifiers Umesh Shankar Kunal Talwar Jeffrey S. Foster David Wagner
Detecting Format String Vulnerabilities with Type Qualifiers Umesh Shankar Kunal Talwar Jeffrey S. Foster David Wagner
A Theory of Type Quali ers Je rey S. Foster
Title of dissertation: Dynamic Inference of Static Types for Ruby Jong-hoon (David) An, Master of Science, 2010
SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS 1
Title of dissertation: Combining Static and Dynamic Typing in Ruby Michael Furr
Cqual User's Guide Version 0.991
Type Qualifiers: Lightweight Specifications to Improve Software Quality Jeffrey Scott Foster
Flow-Sensitive Type Qualifiers Jeffrey S. Foster Tachio Terauchi Alex Aiken
Title of dissertation: IMPROVING PROGRAM TESTING AND UNDERSTANDING
