Debugging
Any concern for a programmer's needs must take into account tools for debugging. Directly or indirectly, most of my work on programming environments, type systems and verification is related to debugging. I have also investigated debugging in the traditional sense. We have studied the question of applying potential invariants to identifying the location of a program's fault with, however, mixed results. More fruitfully, we have studied the design of a programming language for scripting a debugger; this is a showcase for our work on language research for interactive software.
Topic status: Active
Research Areas
People
| Steven Reiss |
Publications
Marceau, G., Cooper, G. H., Spiro, J. P., Krishnamurthi, S., and Reiss, S. P. The Design and Implementation of a Dataflow Language for Scriptable Debugging. Automated Software Engineering Journal (2006). [ home ]
Marceau, G., Cooper, G. H., Krishnamurthi, S., and Reiss, S. P. A dataflow language for scriptable debugging. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Sept. 2004), pp. 218-227. [ home ]
Pytlik, B., Renieris, M., Krishnamurthi, S., and Reiss, S. P. Automated Fault Localization Using Potential Invariants. In Proceedings of the Workshop on Automated and Algorithmic Debugging (AADEBUG 2003) (2003), pp. 273-276. [ home ]
Flanagan, C., Flatt, M., Krishnamurthi, S., Weirich, S., and Felleisen, M. Catching Bugs in the Web of Program Invariants. In Proceedings of the ACM Special Interest Group for Programming Languages (SIGPLAN) Conference on Programming Language Design and Implementation (May 1996), pp. 23-32. [ home ]
| Page Owner: Webmaster | Last Modified: Mon Oct 23 15:23:37 2006 |