Doctoral Dissertation Award
United States – 2000
CITATION

For his dissertation Dynamically Discovering Likely Program Invariants, nominated by the University of Washington, Seattle, Washington.