Scalable omniscient debugging

ACM SIGPLAN Notices

Volumn 42, Issue 10, 2007, Pages 535-551

  Pothier, Guillaume ^a   Tanter, Éric ^a   Piquer, José ^a  

^a UNIVERSITY OF CHILE   (Chile)

Author keywords

Execution traces; Interface components; Omniscient debugging; Partial traces; Scalability; Specialized distributed database

Indexed keywords

APPLICATION PROGRAMS; DISTRIBUTED DATABASE SYSTEMS; QUERY PROCESSING; SCALABILITY;

COMPLEX APPLICATIONS; DEVELOPMENT ENVIRONMENT; DISTRIBUTED DATABASE; EXECUTION TRACE; OMNISCIENT DEBUGGING; PARTIAL TRACES; PROGRAM EXECUTION; SCALABLE STORAGE;

PROGRAM DEBUGGING;

EID: 67650067310     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1297105.1297067     Document Type: Article

References (28)

1. M. Blasgen and K. Eswaran. Storage and access in relational databases. IBM Systems Journal, 16(4):363, 1977.
2. Bob Boothe. Efficient algorithms for bidirectional debugging. In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, pages 299-310, New York, NY, USA, 2000. ACM Press.
3. Éric Bruneton, Romain Lenglet, and Thierry Coupaye. ASM: a code manipulation tool to implement adaptable systems. In Proceedings of the ASF (ACM SIGOPS France) Journées Composants 2002: Adaptable and extensible component systems, November 2002.
4. Mariano P. Consens, Masum Z. Hasan, and Alberto O. Mendelzon. Visualizing and querying distributed event traces with Hy+. In Proceedings of the International Conference on Application of Databases, volume 819, pages 123-141. LNCS, 1994.
5. Jim des Rivir̀res and John Wiegand. Eclipse: A platform for integrating development tools. IBM Systems Journal, 43(2):371-383, 2004.
6. Mireille Ducassé. Coca: an automated debugger for c. In ICSE '99: Proceedings of the 21st international conference on Software engineering, pages 504-513, Los Alamitos, CA, USA, 1999. IEEE Computer Society Press.
7. Mireille Ducassé. Opium: An extendable trace analyzer for prolog. Journal of Logic Programming, 39(1-3):177-223, 1999.
8. Stuart I. Feldman and Channing B. Brown. Igor: a system for program debugging via reversible execution. In PADD '88: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging, pages 112-123, New York, NY, USA, 1988. ACM Press.
9. Abdelwahab Hamou-Lhadj and Timothy C. Lethbridge. Compression techniques to simplify the analysis of large execution traces. In IWPC '02: Proceedings of the 10th International Workshop on Program Comprehension, page 159, Washington, DC, USA, 2002. IEEE Computer Society.
10. Charles R. Hill. A real-time microprocessor debugging technique. In SIGSOFT '83: Proceedings of the symposium on High-level debugging, pages 145-148, New York, NY, USA, 1983. ACM Press.
11. Christoph Hofer, Marcus Denker, and Stéphane Ducasse. Implementing a backward-in-time debugger. In Proceedings of NODe'06, volume P-88, pages 17-32. Lecture Notes in Informatics, 2006.
12. Dean F. Jerding and John T. Stasko. The information mural: A technique for displaying and navigating large information spaces. IEEE Trans. Vis. Comput. Graph., 4(3):257-271, 1998.
13. Andrew J. Ko and Brad A. Myers. Designing the whyline: a debugging interface for asking questions about program behavior. In Elizabeth Dykstra-Erickson and Manfred Tscheligi, editors, CHI, pages 151-158. ACM, 2004.
14. Carol H. LeDoux and D. Stott Parker, Jr. Saving traces for ada debugging. In Ada in Use, Proceedings of the Ada International Conference, pages 97-108, September 1985. Published as ACM Ada Letters, volume 5, number 2.
15. Bil Lewis. Debugging backwards in time. In M. Ronsse and K. De Bosschere, editors, Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG 2003), Ghent, Belgium, 2003.
16. Henry Lieberman. Reversible object-oriented interpreters. In Jean Bézivin, Jean-Marie Hullot, Pierre Cointe, and Henry Lieberman, editors, ECOOP, volume 276 of Lecture Notes in Computer Science, pages 11-19. Springer, 1987.
17. Henry Lieberman and Christoper Fry. ZStep 95: A reversible, animated source code stepper. In John Stasko, John Domingue, Marc H. Brown, and Blaine A. Price, editors, Software Visualization - Programming as a Multimedia Experience, pages 277-292, Cambridge, MA-London, 1998. The MIT Press.
18. Ian MacLarty, Zoltan Somogyi, and Mark Brown. Divide-and-query and subterm dependency tracking in the mercury declarative debugger. In AADEBUG'05: Proceedings of the sixth international symposium on Automated analysis-driven debugging, pages 59-68, New York, NY, USA, 2005. ACM Press.
19. Michael Martin, Benjamin Livshits, and Monica S. Lam. Finding application errors and security flaws using PQL: a program query language. ACM SIGPLAN Notices, 40(10):365-383, October 2005.
20. O. Y. Nickolayev, P. C. Roth, and D. A. Reed. Realtime statistical clustering for event trace reduction. The International Journal of Supercomputer Applications and High Performance Computing, 11(2):144-159, Summer 1997.
21. OmniCore. Codeguide back-in-time debugger.
22. Guillaume Pothier. Benchmarks of COTS database management systems. Technical Report TR/DCC-2006-16, University of Chile, October 2006.
23. Yasushi Saito. Jockey: a user-space library for record-replay debugging. In Proceedings of the sixth international symposium on Automated analysis-driven debugging (AADEBUG 2005), pages 69-76, New York, NY, USA, 2005. ACM Press.
24. Praveen Seshadri, Miron Livny, and Raghu Ramakrishnan. Sequence query processing. SIGMOD Record (ACM Special Interest Group on Management of Data), 23(2):430-441, June 1994.
25. Richard Snodgrass. Monitoring in a software development environment: A relational approach. SIGPLAN Not., 19(5):124-131, 1984.
26. Michael Stonebraker, Chuck Bear, Ugur Çetintemel, Mitch Cherniack, Tingjian Ge, Nabil Hachem, Stavros Harizopoulos, John Lifter, Jennie Rogers, and Stanley B. Zdonik. One size fits all? part 2: Benchmarking studies. In Conference on Innovative Data Systems Research (CIDR 2007), pages 173-184. www.crdrdb.org, 2007.
27. Éric Tanter, Jacques Noyé, Denis Caromel, and Pierre Cointe. Partial behavioral reflection: Spatial and temporal selection of reification. In Ron Crocker and Guy L. Steele, Jr., editors, Proceedings of the 18th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2003), pages 27-46, Anaheim, CA, USA, October 2003. ACM Press. ACM SIGPLAN Notices, 38(11).
28. Andy Zaidman and Serge Demeyer. Managing trace data volume through a heuristical clustering process based on event execution frequency. In CSMR '04: Proceedings of the Eighth Euromicro Working Conference on Software Maintenance and Reengineering (CSMR'04), page 329, Washington, DC, USA, 2004. IEEE Computer Society.