The Compiler Validation Project:
Developing tools for proving the correctness of compilation.

Amir Pnueli

NYU and Weizmann Institute of Science

Lenore Zuck

NYU and the Mitre Corporation

Benjamin Goldberg

NYU



STUDENTS

Yi Fang

NYU

Ying Hu

NYU