Ben Liblit - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged debugging

Better Debugging via Output Tracing and Callstack-Sensitive SlicingSusan Horwitz, Ben Liblit, Marina Polishchuk. TSE, 36(1):7-19, 2010. [doi]

Adaptive bug isolationPiramanayagam Arumuga Nainar, Ben Liblit. ICSE 2010: 255-264 [doi]

HOLMES: Effective statistical debugging via efficient path profilingTrishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani. ICSE 2009: 34-44 [doi]

Scalable temporal order analysis for large scale debuggingDong H. Ahn, Bronis R. de Supinski, Ignacio Laguna, Gregory L. Lee, Ben Liblit, Barton P. Miller, Martin Schulz. sc 2009: [doi]

Cooperative debugging with five hundred million test casesBen Liblit. ISSTA 2008: 119-120 [doi]

Lessons learned at 208K: towards debugging millions of coresGregory L. Lee, Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Matthew Legendre, Barton P. Miller, Martin Schulz, Ben Liblit. sc 2008: 26 [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]

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]

Statistical debugging using compound boolean predicatesPiramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit. ISSTA 2007: 5-15 [doi]

Dynamic heap type inference for program understanding and debuggingMarina Polishchuk, Ben Liblit, Chloë W. Schulze. POPL 2007: 39-46 [doi]

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

Path Optimization in Programs and Its Application to DebuggingAkash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit. ESOP 2006: 246-263 [doi]

Statistical debugging: simultaneous identification of multiple bugsAlice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken. icml 2006: 1105-1112 [doi]

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

Scalable statistical bug isolationBen Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan. PLDI 2005: 15-26 [doi]

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

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

Statistical Debugging of Sampled ProgramsAlice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken. nips 2004: 603-610 [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

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]

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]

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 Debugging1991.

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 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