Links

"Beyond Safety" in Schloss Ringberg, April 2004

"Verifying Optimizing Compilers" in Schloss Dagstuhl, July 2005

The Compiler Validation Project

Formal Method Letters (FML)

Analysis of Computer SYStems group at NYU

This topic: Zuck > WebHome > Links
Topic revision: r2 - 2009-06-25 - 21:13:15 - Main.rdoma2
 
Copyright 2016 The Board of Trustees
of the University of Illinois.webmaster@cs.uic.edu		 WISEST
Helping Women Faculty Advance
Funded by NSF