Dynamic currency determination in optimized programs

ACM Transactions on Programming Languages and Systems

Volumn 20, Issue 6, 1998, Pages 1111-1130

  Dhamdhere, D M ^a   Sankaranarayanan, K V ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY BOMBAY   (India)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA FLOW ANALYSIS; OPTIMIZATION; PROGRAM COMPILERS; PROGRAMMING THEORY;

DYNAMIC CONCURRENCY DETERMINATION;

PROGRAM DEBUGGING;

EID: 0032255186     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/295656.295657     Document Type: Article

References (17)

1. ADL-TABATABAI, A. 1996. Source-Level Debugging of Globally Optimized Code. Ph.D. thesis, School of Computer Science, Carnegie Mellon University.
2. ADL-TABATABAI, A. AND GROSS, T. 1993a. Detection and Recovery of Endangered Variables Caused by Instruction Scheduling. In Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation. SIGPLAN Not. 28, 6, 13-25.
3. ADL-TABATABAI, A. AND GROSS, T. 1993b. Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging. In Proceedings of the 20th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. ACM, New York, 371-383.
4. ADL-TABATABAI, A. AND GROSS, T. 1996. Source-Level Debugging of Globally Optimized Code. In Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation. SIGPLAN Not. 31, 5, 13-25.
5. AGRAWAL, H., DEMILLO, R. A., AND SPAFFORD, E. H. 1993. Debugging with dynamic slicing and backtracking. Softw. Pract. Exper. 23, 6, 589-616.
6. AHO, A., SETHI, R., AND ULLMAN, J. 1986. Compilers - Principles, Techniques and Tools. Addison Wesley.
7. COPPERMAN, M. 1993. Debugging Optimized Code Without Being Misled. Ph.D. thesis, Computer and Information Sciences, University of California at Santa Cruz, Santa Cruz, California.
8. COPPERMAN, M. 1994. Debugging Optimized Code Without Being Misled. ACM Trans. Program. Lang. Syst. 16, 3, 387-427.
9. COPPERMAN, M. AND THOMAS, J. 1995. Poor Man's Watchpoints. SIGPLAN Not. 30, 1, 37-44.
10. DHAMDHERE, D. M., ROSEN, B. K., AND ZADECK, F. K. 1992. How to Analyze Large Programs Efficiently and Informatively. In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation. SIGPLAN Not. 27, 7, 212-223.
11. HECHT, M. S. 1977. Flow Analysis of Computer Programs. Elsevier North-Holland, Inc.
12. HENNESSY, J. 1982. Symbolic Debugging of Optimized Code. ACM Trans. Program. Lang. Syst. 4, 3, 323-344.
13. KHEDKER, U. P. AND DHAMDHERE, D. M. 1994. A Generalized Theory of Bit Vector Data Flow Analysis. ACM Trans. Program. Lang. Syst. 16, 5, 1472-1511.
14. KOREL, B. AND LASKI, J. 1988. Dynamic program slicing. Inf. Process. Lett. 29, 155-163.
15. MUCHNICK, S. 1997. Advanced Compiler Design and Implementation. Morgan Kaufmann.
16. WISMÜLLER, R. 1994. Debugging of Globally Optimized Programs Using Data Flow Analysis. SIGPLAN Not. 29, 6, 278-289.
17. ZELLWEGER, P. T. 1983. An Interactive High-Level Debugger for Control-Flow Optimized Programs. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging. SIGPLAN Not. 18, 8, 159-172.