Compiler Optimization Meets Compiler Verification COCV 2008

Program Committee

Program Co-Chairs

Rolf Drechsler
Universität Bremen, Germany
drechsle at informatik.uni-bremen.de          Sabine Glesner
Technische Universität Berlin, Germany
glesner at cs.tu-berlin.de
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

Roderick Bloem, Technical University of Graz, Austria	Rolf Drechsler, University of Bremen, Germany
Sabine Glesner, Technische Universität Berlin, Germany	Jens Knoop, Vienna University of Technology, Austria
Alan Hu, University of British Columbia, Vancouver, Canada	Robert Morgan, Topsfield, MA, USA
Bernhard Scholz, The University of Sydney and Sun Labs, Brisbane, Australia	Wolf Zimmermann, Universität Halle-Wittenberg, Germany
Lenore Zuck, University of Illinois, Chicago, IL, USA

Rolf Drechsler Universität Bremen, Germany drechsle at informatik.uni-bremen.de		Sabine Glesner Technische Universität Berlin, Germany glesner at cs.tu-berlin.de
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