TWiki> Zuck Web>Links (2009-06-25, Main.rdoma2)EditAttach

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

Edit | Attach | Print version | History: r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r2 - 2009-06-25 - 21:13:15 - Main.rdoma2
  • Web background Zuck
  • Publications
  • Links
  • Recent Conferences/Workshops
  • Contact

[edit this]

  • Log In
  • Home Zuck Web
  • New topic Create New Topic
  • Index Index
  • Search topic Search
  • Changes Changes
  • Notify Notifications
  • RSS feed, rounded corners RSS Feed
  • Statistics Statistics
  • Wrench, tools Preferences


 
College of Engineering University of Illinois at Chicago Home - this site is powered by TWiki(R)

  • ABOUT US
    • Our Department
    • Recent News
    • Contact Us
  • ACADEMICS
    • Prospective Students
    • Undergraduate
    • CS Minor
    • Graduate
    • Courses
  • RESEARCH
    • Overview
    • By Faculty
    • Labs
  • PEOPLE
    • Faculty
    • Adjuncts
    • Staff
    • Students
    • Alumni

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