J. Knoop, G. Necula, W. Zimmermann (ed.): "Fifth International Workshop on Compiler Optimization Meets Compiler Verification"; TU Wien, EAPLS, EASST und EATCS, 2006.