Compiler Optimization Meets Compiler Verification COCV 2009

Program Committee

Program Co-Chairs

Jens Knoop
Technische Universität Wien, Austria
knoop at complang.tuwien.ac.at Wolf Zimmermann
Universität Halle-Wittenberg, Germany
zimmer at informatik.uni-halle.de

Program Committee

Sabine Glesner, Technische Universität Berlin, Germany	David Gregg, Trinity College Dublin, Ireland

Jens Knoop, Vienna University of Technology, Austria	Sorin Lerner, University of California, San Diego, CA, USA
Bob Morgan, Topsfield, MA, USA	Markus Müller-Olm, Universität Münster, Germany
Xavier Rival, INRIA, Paris, France	Bernhard Scholz, The University of Sydney, Australia
Kurt Wallnau, Carnegie Mellon University, Pittsburgh, PA, USA	Wolf Zimmermann, Universität Halle-Wittenberg, Germany
Lenore Zuck, University of Illinois, Chicago, IL, USA