COCV 2002: Int'l Workshop on Compiler Optimization meets Compiler Verification