Debugging and testing optimizers through comparison checking

Electronic Notes in Theoretical Computer Science

Volumn 65, Issue 2, 2002, Pages 83-99

  Jaramillo, Clara ^a   Gupta, Rajiv ^b   Soffa, Mary Lou ^c  

^a Chatam College   (United States)

^b University of Arizona   (United States)

^c Learning Research and Development Ctr   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER SIMULATION; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; OPTIMIZATION; SEMANTICS;

COMPARISON CHECKING; HIGH LEVEL LOOP TRANSFORMATION; INTERMEDIATE CODE STATEMENTS; OPTIMIZER WRITERS;

PROGRAM DEBUGGING;

EID: 18044375469     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80398-0     Document Type: Conference Paper

References (11)

1. Caron J.M., Darnell P.A. Bugfind: A Tool for Debugging Optimizing Compilers. Sigplan Notices. 25:(1):January 1990;17-22
2. Boyd, M.R. and Whalley, D.B. Isolation and Analysis of Optimization Errors. In Proceedings ACM SIGPLAN'93 Conf. on Programming Languages Design and Implementation, pages 26-35, June 1993.
3. Necula G. Translation Validation for an Optimizing Compiler. In Proceedings ACM SIGPLAN'99 Conf. on Programming Languages Design and Implementation, pages 83-94, June 2000.
4. Pneuli A., Rodeh Y., Shtrichman O., and Siegel M. In Proceedings 11th International Conference on Computer Aided Verification, LNCS 1633, Springer-Verlag, pages 455-469, 1999.
5. Wu L. Interactive Source-Level Debugging of Optimized Code. PhD dissertation, University of Illinois, Urbana-Champaign, 2000.
6. Dhamdhere D.M., Sankaranarayanan K.V. Dynamic Currency Determination in Optimized Programs. ACM Transactions on Programming Languages and Systems. 20:(6):November1998;1111-1130
7. Fraser C., Hanson D. A Retargetable C Compiler: Design and Implementation. 1995;Benjamin/Cummings
8. Jaramillo C., Gupta R., and Soffa, M.L. Capturing the Effects of Code Improving Transformations. In Proceedings of International Conference on Parallel Architectures and Compilation Techniques, pages 118-123, October 1998.
9. Kessler P. Fast Breakpoints: Design and Implementation. In Proceedings ACM SIGPLAN'90 Conf. on Programming Languages Design and Implementation, pages 78-84, 1990.
10. Sosic R., Abramson D.A. Guard: A Relative Debugger. Software Practice and Experience. 27:(2):February 1997;185-206
11. Wu L., Mirani R., Patil H., Olsen B., and Hwu, W.W. A New Framework for Debugging Globally Optimized Code. In Proceedings ACM SIGPLAN'99 Conf. on Programming Languages Design and Implementation, pages 181-191, 1999.