Compiler Optimization Meets Compiler Verification COCV 2005

Program Committee

Program Co-Chairs

Jens Knoop
Vienna University of Technology, Austria
knoop at complang.tuwien.ac.at George C. Necula
University of California at Berkeley, CA, USA
necula at cs.berkeley.edu Wolf Zimmermann
Universität Halle-Wittenberg, Germany
zimmer at informatik.uni-halle.de

Program Committee

Egon Börger, Università di Pisa, Italy	Michael Franz, University of California, Irvine, CA, USA
Sabine Glesner, Universität Karlsruhe, Germany	Roy Ju, Intel, Santa Clara, CA, USA
Jens Knoop, Vienna University of Technology, Austria	Todd Millstein, University of California, Los Angeles, CA, USA
Robert Morgan, DataPower, Cambridge, MA, USA	Markus Müller-Olm, FernUniversität in Hagen, Germany
George C. Necula, University of California at Berkeley, CA, USA	Wolf Zimmermann, Universität Halle-Wittenberg, Germany
Lenore Zuck, University of Illinois, Chicago, IL, USA