J. Knoop, G. Necula, W. Zimmermann (ed.): "Perliminary Proceedings of the 3rd International Workshop on "Compiler Optimization meets Compiler Verification""; University Barcelona, Spain, 2004.