TVOC: A Translation Validator for Optimizing Compilers.

Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck

Browse the full CAV paper archive.