TVOC: A translation validator for optimizing compilers

Lecture Notes in Computer Science

Volumn 3576, Issue , 2005, Pages 291-295

  Barrett, Clark ^a   Fang, Yi ^a   Goldberg, Benjamin ^a   Hu, Ying ^a   Pnueli, Amir ^b   Zuck, Lenore ^a,b  

^a NEW YORK UNIVERSITY   (United States)

^b UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED LANGUAGE TRANSLATION; COMPUTER PROGRAMMING; OPTIMIZATION; THEOREM PROVING;

SOURCE CODES; TARGET CODES; TVOC; VERIFICATION PROGRAMS;

PROGRAM COMPILERS;

EID: 26444608451     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11513988_29     Document Type: Conference Paper

References (10)

1. A. Aho, R. Sethi, and J. Ullman. Compilers Principles, Techniques, and Tools. Addison Wesley, 1988.
2. R. Allen and K. Kennedy. Optimizing Compilers for Modern Architectures. Morgan Kaufmann, 2002.
3. C. Barrett and S. Berezin. CVC Lite: A new implementation of the cooperating validity checker. In CAV, July 2004.
4. R. Floyd. Assigning meanings to programs. In Symposia in Applied Mathematics, volume 19:19-32, 1967.
5. B. Goldberg, L. Zuck, and C. Barrett. Into the loops: Practical issues in translation validation for optimizing compilers. In COCV, Apr. 2004.
6. Y. Hu, C. Barrett, B. Goldberg, and A. Pnueli. Validating more loop optimizations. In COCV, Apr. 2005.
7. G. Necula. Translation validation of an optimizing compiler. In PLDI, 2000.
8. A. Pnueli, M. Siegel, and E. Singerman. Translation validation. In TACAS'98, pages 151-166, 1998.
9. S. C. R.D.-C. Ju and C. Wu. Open research compiler (ore) for the itanium processor family. In Micro 34, 2001.
10. L. Zuck, A. Pnueli, B. Goldberg, C. Barrett, Y. Fang, and Y. Hu. Translation and run-time validation of loop transformations. FMSD, 2005.