Valgrind: A Program Supervision Framework

[1]  Alan Mycroft,et al.  Redux: A Dynamic Dataflow Tracer , 2003, RV@CAV.

[2]  Michael Burrows,et al.  Run-Time Type Checking for Binary Programs , 2003, CC.

[3]  Mary Lou Soffa,et al.  Retargetable and reconfigurable software dynamic translation , 2003, International Symposium on Code Generation and Optimization, 2003. CGO 2003..

[4]  Derek Bruening,et al.  An infrastructure for adaptive dynamic optimization , 2003, International Symposium on Code Generation and Optimization, 2003. CGO 2003..

[5]  Susan Horwitz,et al.  Reducing the Overhead of Dynamic Analysis , 2002, Electron. Notes Theor. Comput. Sci..

[6]  Paolo Faraboschi,et al.  DELI: a new run-time control point , 2002, 35th Annual IEEE/ACM International Symposium on Microarchitecture, 2002. (MICRO-35). Proceedings..

[7]  Timothy L. Harris.  Dependable software needs pervasive debugging , 2002, EW 10.

[8]  M. Lam,et al.  Tracking down software bugs using automatic anomaly detection , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[9]  Dawson R. Engler,et al.  A system and language for building system-specific, static analyses , 2002, PLDI '02.

[10]  Cristina Cifuentes,et al.  Walkabout: a retargetable dynamic binary translation framework , 2002 .

[11]  Koen De Bosschere,et al.  DIOTA: Dynamic Instrumentation, Optimization and Transformation of Applications , 2002, PACT 2002.

[12]  Kevin Skadron,et al.  Low-overhead Software Dynamic Translation , 2001 .

[13]  Susan Horwitz,et al.  Debugging via Run-Time Type Checking , 2001, FASE.

[14]  Jeffrey K. Hollingsworth,et al.  An API for Runtime Code Patching , 2000, Int. J. High Perform. Comput. Appl..

[15]  Dawson R. Engler,et al.  Checking system rules using system-specific, programmer-written compiler extensions , 2000, OSDI.

[16]  Jerry J. Harrow.  Runtime Checking of Multithreaded Applications with Visual Threads , 2000, SPIN.

[17]  Cristina Cifuentes,et al.  Dynamic Binary Translation , 2000 .

[18]  William G. Griswold,et al.  Dynamically discovering likely program invariants to support program evolution , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[19]  Michael D. Smith,et al.  Quality and speed in linear-scan register allocation , 1998, PLDI.

[20]  Michael Burrows,et al.  Eraser: a dynamic data race detector for multi-threaded programs , 1997, TOCS.

[21]  Barton P. Miller,et al.  The Paradyn Parallel Performance Measurement Tool , 1995, Computer.

[22]  A. Eustace,et al.  ATOM: a system for building customized program analysis tools , 1994, PLDI '94.

[23]  Barton P. Miller,et al.  Dynamic program instrumentation for scalable performance tools , 1994, Proceedings of IEEE Scalable High Performance Computing Conference.

[24]  David Keppel,et al.  Shade: a fast instruction-set simulator for execution profiling , 1994, SIGMETRICS.

[25]  Murray Hill,et al.  Lint, a C Program Checker , 1978 .