Speakers
	Thomas Ball     Microsoft Research Counterexample-driven Refinement Manuel Fähndrich     Microsoft Research Specifying and checking stateful software interfaces Robby Findler     University of Chicago Checking Software Properties with Contracts Kathleen Fisher     AT&T Research Domain-Specific Languages: For Fun and Profit Jeff Foster     University of Maryland Improving Software Quality with Type Qualifiers Stephen Freund     Williams College Lightweight Analyses for Reliable Concurrency Robert Harper     Carnegie Mellon University Type Systems: A Foundation for Reliable Computing Ranjit Jhala     University of California at San Diego Program Verification by Lazy Abstraction Orna Kupferman     Hebrew University, Jerusalem An Introduction to Model Checking Uday S. Reddy     University of Birmingham Logics for Dynamic Data Structures
	This page is the property of the University of Oregon