A portable virtual machine for program debugging and directing

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2004, Pages 1524-1530

  Demetrescu, Camil ^a   Finocchi, Irene ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITY OF ROME TOR VERGATA   (Italy)

Author keywords

Debugging; Directors; Reversible computing; Virtual machines

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; ELECTRONIC COMMUNITIES; FILE EDITORS; MONITORING; PROGRAM COMPILERS; STORAGE ALLOCATION (COMPUTER);

DEBUGGING; DIRECTORS; REVERSIBLE COMPUTING; VIRTUAL MACHINES;

PROGRAM DEBUGGING;

EID: 2442516459     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/967900.968205     Document Type: Conference Paper

References (28)

1. H. Agrawal, R. DeMillo, and E. Spafford. An execution-backtracking approach to debugging. IEEE Software, 21-26, 1991.
2. M. Brown. Exploring algorithms using Balsa-II. Computer, 21(5):14-36, 1988.
3. S. Chen, K. Fuchs, and J. Chung. Reversible debugging using program instrumentation. IEEE Trans, on Software Engineering, 27(8):715-727, 2001.
4. J. Choi and H. Srinivasan. Deterministic replay of Java multithreaded applications. In Proc. ACM SIGMETRICS Symp. on Parallel and Distributed Tools (SPDT'98), 48-59, 1998.
5. M. Corp. http://www.microsoft.com/net/.
6. P. Crescenzi, C. Demetrescu, I. Finocchi, and R. Petreschi. Reversible execution and visualization of programs with Leonardo. Journal of Visual Languages and Computing, 11(2):125-150, 2000. Home page: http://wwv.dis. uniromal.it/~demetres/Leonardo/.
7. M. Golan and D. Hanson. DUEL: a very high-level debugging language. In Proc. Winter USENIX Technical Conference, 107-117, 1993.
8. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison Wesley, Reading MA, 1997.
9. K. Gough. Stacking them up: a comparison of Virtual Machines. In Proc. 6th Austr. Comp. Systems Architecture Conf., 55-61. IEEE CS Press, 2001.
10. K. Gough and D. Corney. Evaluating the Java Virtual Machine as a target for languages other than Java. In Proc. Joint Modula Languages Conference, LNCS 1897, 2000.
11. S. Graham, P. Kessler, and M. McKusick. Gprof: a call graph execution profiler. STGPLAN Notices, 17(6):120-126, 1982.
12. D. Hanson. Event association in SNOBOL4 for program debugging. Software - Practice and Experience, 8(2): 115-129, 1978.
13. C. Jeffery and R. Griswold. A framework for execution monitoring in Icon. Software - Practice and Experience, 24(11):1025-1049, 1994.
14. J. Larus and T. Ball. Rewriting executables files to measure program behavior. Software - Practice and Experience, 24(2):197-218, 1994.
15. T. Leblanc and J. Mellor-Crummey. Debugging parallel programs with Instant Replay. IEEE Trans. on Computers, 36(4):471-481, 1987.
16. H. Lieberman. The Debugging Scandal and What to Do About It. Comm. of the ACM, 40:27-29, 1997.
17. H. Lieberman and C. Pry. ZStep95: A Reversible, Animated Source Code Stepper. In [24]: 277-292.
18. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison Wesley, Reading MA, 1997.
19. T. Moher. PROVIDE: a process visualization and debugging environment. IEEE Trans. on Software Engineering, 14(6):849-857, 1988.
20. B. Myers. Incense: a system for displaying data structures. Computer graphics, 17(3):115-125, 1983.
21. R. Sosič. The Dynascope directing server: design and implementation. Comp. Systems, 8(2):107-134, 1995.
22. A. Srivastava and A. Eustace. ATOM: a system for building customized program analysis tools. In Proc. ACM Symp. on Programming Languages Design and Implementation (PLDI'94), 196-205, 1994.
23. J. Stasko. TANGO: A Framework and System for Algorithm Animation. IEEE Comp., 23:27-39, 1990.
24. J. Stasko, J. Domingue, M. Brown, and B. Price, editors. Software Visualization: Programming as a Multimedia Experience. MIT Press, 1997.
25. The Leonardo Computing Environment. WWW site: http://www.leonardo~vm.org.
26. A. Tolmach and A. Appel. A debugger for standard ML. J. Functional Programming, 5(2):155-200, 1995.
27. J. Vitter. US&R: a new framework for redoing. In Proc. ACM SIGSOFT/SIGPLAN Software Engineering Symp. (Practical Software Development Evironments), 168-176, 1984.
28. M. Zelkowitz. Reversible execution. CACM, 16, 1973.