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

  • Publications
  • Links
  • Recent Conferences/Workshops
  • Contact

[edit this]

  • Log In
  • Home Zuck Web
  • Newtopic Create New Topic
  • Index Index
  • Searchtopic Search
  • Changes Changes
  • Notify Notifications
  • Feed RSS Feed
  • Statistics Statistics
  • Wrench Preferences

 
College of EngineeringUniversity of Illinois at Chicago Powered by Computer Science

  • ABOUT US
    • Our Department
    • Recent News
    • Contact
  • ACADEMICS
    • Undergraduate
    • Graduate
    • Courses
    • CS Minor
  • RESEARCH
    • Overview
    • By Faculty
    • Labs

  • PEOPLE
    • Faculty
    • Adjuncts
    • Staff
    • Students
    • Alumni

Copyright 2013 The Board of Trustees
of the University of Illinois.webmaster@cs.uic.edu		 WISEST
Helping Women Faculty Advance
Funded by NSF