Ben Liblit - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 47 from 47

2016

Array length inference for C library bindingsAlisa J. Maas, Henrique Nazaré, Ben Liblit. ASE 2016: 461-471 [doi]

Optimizing customized program coveragePeter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff Linderoth, Ben Liblit. ASE 2016: 27-38 [doi]

2015

2013

Lightweight control-flow instrumentation and postmortem analysis in support of debuggingPeter Ohmann, Ben Liblit. ASE 2013: 378-388 [doi]

Analyzing memory ownership patterns in C librariesTristan Ravitch, Ben Liblit. iwmm 2013: 97-108 [doi]

2012

Enforcing Murphy's Law for Advance Identification of Run-time FailuresZach Miller, Todd Tannenbaum, Ben Liblit. usenix 2012: 203-208 [doi]

A router primitive approach for building diverse network servicesJoel Sommers, Paul Barford, Ben Liblit. comsnets 2012: 1-10 [doi]

2011

Automated atomicity-violation fixingGuoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit. PLDI 2011: 389-400 [doi]

Automated Detection and Repair of Concurrency BugsBen Liblit. hvc 2012: 3 [doi]

Defective error/pointer interactions in the Linux kernelCindy Rubio-González, Ben Liblit. ISSTA 2011: 111-121 [doi]

2010

2009

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]

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]

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), WODA 2009, Chicago, IL, USA, July, 2009Ben Liblit, Andy Podgurski, editors, 2009. [doi]

Automatic generation of library bindings using static analysisTristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit. PLDI 2009: 352-362 [doi]

Error propagation analysis for file systemsCindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau. PLDI 2009: 270-280 [doi]

Cooperative crug isolationAditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu. ISSTA 2009: 35-41 [doi]

2008

EIO: Error Handling is Occasionally CorrectHaryadi S. Gunawi, Cindy Rubio-González, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Ben Liblit. FAST 2008: 207-222 [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]

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

Reflections on the Role of Static Analysis in Cooperative Bug IsolationBen Liblit. SAS 2008: 18-31 [doi]

WODA 2008: the sixth international workshop on dynamic analysisBen Liblit, Atanas Rountev. ISSTA 2008: 313-314 [doi]

Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008Ben Liblit, Atanas Rountev, editors, ACM, 2008.

2007

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

Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition)Ben Liblit. Volume 4440 of Lecture Notes in Computer Science, Springer, 2007.

Cooperative bug isolationBen Liblit. PhD thesis, University of California, Berkeley, 2007. [doi]

Tool Support for Proof EngineeringAnne Mulhern, Charles Fischer, Ben Liblit. ENTCS, 174(2):75-86, 2007. [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]

2006

2005

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

2003

2001

Estimating the Impact of Scalable Pointer Analysis on OptimizationManuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof. SAS 2001: 260-278 [doi]

2000

Type Systems for Distributed Data StructuresBen Liblit, Alexander Aiken. POPL 2000: 199-213 [doi]

1999

Titanium: A High Performance Java DialectArvind Krishnamurthy, Alexander Aiken, Phillip Colella, David Gay, Susan L. Graham, Paul N. Hilfinger, Ben Liblit, Carleton Miyamoto, Geoff Pike, Luigi Semenzato, Katherine A. Yelick. ppsc 1999:

1998

Titanium: A High-performance Java DialectKatherine A. Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul N. Hilfinger, Susan L. Graham, David Gay, Phillip Colella, Alexander Aiken. concurrency, 10(11-13):825-836, 1998.

Sign in or sign up to see more results.

runs on WebDSL