Robert Harper - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged debugging

FUNCTIONAL PEARL. Proof-directed debugging - CorrigendumRobert Harper. JFP, 19(2):262, 2009. [doi]

Application of redundant computation in program debuggingZakarya Alzamil. jss, 81(11):2024-2033, 2008. [doi]

Fast Bounds Checking Using Debug RegisterTzi-cker Chiueh. hipeac 2008: 99-113 [doi]

From Debugging to Authoring: Adapting Productivity Tools to Narrative Content DescriptionDavid Pizzi, Marc Cavazza. icids 2008: 285-296 [doi]

In-System Silicon Validation and DebugMiron Abramovici. dt, 25(3):216-223, 2008. [doi]

Effective silicon debug is key for time to moneyTim Cheng. dt, 25(3):204, 2008. [doi]

Statistical Debugging Using Latent Topic ModelsDavid Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu. ecml 2007: 6-17 [doi]

The Interactive Curry Observation Debugger iCODEParissa H. Sadeghi, Frank Huch. ENTCS, 177:107-122, 2007. [doi]

The good, the bad, and the ugly of silicon debugDoug Josephson. dac 2006: 3-6 [doi]

MEET : Multicast Debugging Toolkit with End-to-End Packet TraceJinyong Jo, JaiSeung Kwak, Okhwan Byeon. pcm 2005: 441-452 [doi]

Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005Clinton Jeffery, Jong-Deok Choi, Raimondas Lencevicius, editors, ACM, 2005.

Extending a traditional debugger to debug massively parallel applicationsSusanne M. Balle, Bevin R. Brett, Chih-Ping Chen, David LaFrance-Linden. jpdc, 64(5):617-628, 2004. [doi]

System Administration and Sex Therapy: The Gentle Art of DebuggingDavid N. Blank-Edelman. lisa 2004: [doi]

Debugging and Monitoring Distributed Heterogeneous SystemsV. A. Galatenko, K. A. Kostyukhin. pcs, 28(1):20-27, 2002. [doi]

A Preliminary Topological Debugger for MPI ProgramsSimon Huband, Chris McDonald. ccgrid 2001: 422-429 [doi]

Proof-Directed DebuggingRobert Harper. JFP, 9(4):463-469, 1999.

Generalising Techniques for Type DebuggingBruce J. McAdam. sfp 2000: 50-58

Portable Debugging and ProfilingMikael Pettersson. CC 1998: 279-293

Debugging Distributed Implementations of Modal Process SystemsKen Hines, Gaetano Borriello. lctrts 1998: 98-107 [doi]

Silicon Debug of Systems-on-Chipsdate 1998: 632 [doi]

Challenges in Designing an HPF DebuggerDavid LaFrance-Linden. dtj, 9(3), 1998. [doi]

FIND: Automated debugging assistant systeTakao Shimomura. scjapan, 28(4):1-11, 1997. [doi]

Debugging and the Experience of ImmediacyDavid Ungar, Henry Lieberman, Christopher Fry. CACM, 40(4):38-43, 1997.

A layered model for building debugging and monitoring toolsW. Wilson Ho, Ronald A. Olsson. jss, 34(3):211-222, 1996. [doi]

Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel ApplicationsMikhail Auguston, Peter Fritzson. ijseke, 6(4):609-640, 1996. [doi]

Decision-Theoretic Plan Failure Debugging and RepairLisa J. Burnell. AAAI 1994: 1429

Automated and Algorithmic Debugging, First International Workshop, AADEBUG 93, Linköping, Sweden, May 3-5, 1993, ProceedingsPeter Fritszon, editor, Volume 749 of Lecture Notes in Computer Science, Springer, 1993.

Using Hy:::+::: for network management and distributed debuggingMariano P. Consens, Masum Z. Hasan, Alberto O. Mendelzon. cascon 1993: 450-471 [doi]

Workshop on Parallel and Distributed Debugging1993.

Workshop on Parallel and Distributed Debugging1991.

Occurences in Debugger SpecificationsYves Bertot. PLDI 1991: 327-337

CICS/VS: A Guide to Application DebuggingEugene S. Hudders. cmg 1991: 1262-1263

A Methodology for Debugging ASIC Prototypes in the FieldDavid A. Fechser. dt, 8(4):18-23, 1991. [doi]

Workshop on Parallel and Distributed Debugging1991.

Moped (A Portable Debugger)Mohammad Pourheidari, Robert R. Kessler, Harold Carr. lisp, 3(1):39-65, 1990.

Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract)Nahid Shahmehri, Peter Fritzson. CC 1991: 226-227

Dalek: A GNU, Improved Programmable DebuggerRonald A. Olsson, Richard H. Crawford, W. Wilson Ho. usenix 1990: 221-232

Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent ProgramsMichael B. Feldman, Melinda L. Moran. TSE, 15(3):305-313, 1989. [doi]

Workshop on Parallel and Distributed Debugging1988.

Workshop on Parallel and Distributed Debugging1988.

High-Level Debugging in ParasightZiya Aral, Ilya Gertner. pdd 1988: 151-162

Workshop on Parallel and Distributed Debugging1988.

A Distributed Debugger for AmoebaI. J. P. Elshoff. pdd 1988: 1-10

Igor: A System for Program Debugging via Reversible ExecutionStuart I. Feldman, Channing B. Brown. pdd 1988: 112-123

An Interactive Debugger for a Concurrent LanguageNicoletta De Francesco, Diego Latella, Gigliola Vaglini. ICSE 1985: 320-329

A Debugger for Concurrent ProgramsJason Gait. SPE, 15(6):539-554, 1985.

The Blit debuggerThomas A. Cargill. jss, 3(4):277-284, 1983. [doi]

Mechanization of an Oracle in a Debugging SystemAnneli Edman, Sten-Åke Tärnlund. IJCAI 1983: 553-555

DISPEL: A Run-Time Debugging LanguageMark Scott Johnson. Comp. Lang., Syst. \& Struct., 6(2):79-94, 1981.

A Computer-Aided Advising System for FORTRAN Program Debugging: ADVISORYukuo Isomoto, Keiichi Yamagata, Tadashi Ishiketa. ifip 1980: 985-990

runs on WebDSL