8th International Workshop on
Compiler Optimization Meets Compiler Verification
COCV 2009
York, England, March 22, 2009
http://www.complang.tuwien.ac.at/cocv2009/cocv2009.html
In conjunction with the
12th European Joint Conferences on Theory and Practice of
Software (ETAPS 2009)
York,
England,
March 22 - 29, 2009