Conferences Recent Conferences/Workshop on PC, co chair, chair, SC, etc. `05 Tools and Algorithms for the Construction and Analysis of Systems (Edinburgh, April...

Contact Mailing Address: Lenore Zuck Associate Professor Department of Computer Science 851 S. Morgan (M/C 152) Room 1120 SEO Chicago, IL 60607 7053 Office...

Links `Beyond Safety` in Schloss Ringberg, April 2004 `Verifying Optimizing Compilers` in Schloss Dagstuhl, July 2005 Compiler Validation Project Method Letters...

Publications Translation Validation of Optimizing Compilers, L. Zuck, A. Pnueli, and R. Leviahtan. Weizmann Institute of Science Technical Report MCS01 12, August...

Research A little bit about my research.

Teaching A few words about the courses I teach.

TWiki`s Zuck web The 1 web of TWiki. TWiki is a Web Based Collaboration Platform for the Enterprise.

Research Professor Lenore Zuck Please see my new page.

Publications Links Recent Conferences/Workshops Contact edit this 1 Web Create New Topic Index Search Changes...

This is a subscription service to be automatically notified by e mail when topics change in this 1 web. This is a convenient service, so you do not have to come...

Zuck Web Preferences The following settings are web preferences of the Zuck web. These preferences overwrite the site level preferences in . and...

/Zuck The 1 web of TWiki. TWiki is a Web Based Collaboration Platform for the Enterprise.

Statistics for Zuck Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and...