Ben Liblit

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 15

Top Topics

Unsupervised Learning

Top Venues

ESEC/SIGSOFT FSE

Autom. Softw. Eng.

Publications

Carla Michini, Peter Ohmann, Ben Liblit, Jeff T. Linderoth
A Set-Covering Approach to Customized Coverage Instrumentation. INFORMS J. Comput. 36 (1) (2024)
Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser
Shifting Left for Early Detection of Machine-Learning Bugs. FM (2023)
Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang
User-Assisted Code Query Optimization. SOAP@PLDI (2023)
Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson
Static Analysis for AWS Best Practices in Python Code. ECOOP (2022)
Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson
Static Analysis for AWS Best Practices in Python Code. CoRR (2022)
Zi Wang, Ben Liblit, Thomas W. Reps
TOFU: Target-Orienter FUzzer. CoRR (2020)
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
Enabling Open-World Specification Mining via Unsupervised Learning. CoRR (2019)
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
Code vectors: understanding programs through embedded abstracted symbolic traces. ESEC/SIGSOFT FSE (2018)
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. CoRR (2018)
Peter Ohmann, Ben Liblit
Lightweight control-flow instrumentation and postmortem analysis in support of debugging. Autom. Softw. Eng. 24 (4) (2017)
Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps
Source Forager: A Search Engine for Similar Source Code. CoRR (2017)
David Bingham Brown, Michael Vaughn, Ben Liblit, Thomas W. Reps
The care and feeding of wild-caught mutants. ESEC/SIGSOFT FSE (2017)
Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit
Control-flow recovery from partial failure reports. PLDI (2017)
Peter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff T. Linderoth, Ben Liblit
Optimizing customized program coverage. ASE (2016)
Alisa J. Maas, Henrique Nazaré, Ben Liblit
Array length inference for C library bindings. ASE (2016)
Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps
Recovering execution data from incomplete observations. WODA@SPLASH (2015)
Peter Ohmann, Ben Liblit
CSIclipse: presenting crash analysis data to developers. ETX (2015)
Dongdong Deng, Guoliang Jin, Marc de Kruijf, Ang Li, Ben Liblit, Shan Lu, Shanxiang Qi, Jinglei Ren, Karthikeyan Sankaralingam, Linhai Song, Yongwei Wu, Mingxing Zhang, Wei Zhang, Weimin Zheng
Fixing, preventing, and recovering from concurrency bugs. Sci. China Inf. Sci. 58 (5) (2015)
Cathrin Weiss, Cindy Rubio-González, Ben Liblit
Database-Backed Program Analysis for Scalable Error Propagation. ICSE (1) (2015)
Peter Ohmann, Ben Liblit
Lightweight control-flow instrumentation and postmortem analysis in support of debugging. ASE (2013)
Tristan Ravitch, Ben Liblit
Analyzing memory ownership patterns in C libraries. ISMM (2013)
Zach Miller, Todd Tannenbaum, Ben Liblit
Enforcing Murphy's Law for Advance Identification of Run-time Failures. USENIX Annual Technical Conference (2012)
Joel Sommers, Paul Barford, Ben Liblit
A router primitive approach for building diverse network services. COMSNETS (2012)
Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
Automated atomicity-violation fixing. PLDI (2011)
Ben Liblit
Automated Detection and Repair of Concurrency Bugs. Haifa Verification Conference (2011)
Cindy Rubio-González, Ben Liblit
Defective error/pointer interactions in the Linux kernel. ISSTA (2011)
Susan Horwitz, Ben Liblit, Marina Polishchuk
Better Debugging via Output Tracing and Callstack-Sensitive Slicing. IEEE Trans. Software Eng. 36 (1) (2010)
Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu
Instrumentation and sampling strategies for cooperative concurrency bug isolation. OOPSLA (2010)
Cindy Rubio-González, Ben Liblit
Expect the unexpected: error code mismatches between documentation and the real world. PASTE (2010)
Piramanayagam Arumuga Nainar, Ben Liblit
Adaptive bug isolation. ICSE (1) (2010)
Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau
Error propagation analysis for file systems. PLDI (2009)
Dong H. Ahn, Bronis R. de Supinski, Ignacio Laguna, Gregory L. Lee, Ben Liblit, Barton P. Miller, Martin Schulz
Scalable temporal order analysis for large scale debugging. SC (2009)
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit
Automatic generation of library bindings using static analysis. PLDI (2009)
Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani
HOLMES: Effective statistical debugging via efficient path profiling. ICSE (2009)
Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu
Cooperative crug isolation. WODA (2009)
Gregory L. Lee, Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Matthew P. LeGendre, Barton P. Miller, Martin Schulz, Ben Liblit
Lessons learned at 208K: towards debugging millions of cores. SC (2008)
Ben Liblit
Cooperative debugging with five hundred million test cases. ISSTA (2008)
Ben Liblit
Reflections on the Role of Static Analysis in Cooperative Bug Isolation. SAS (2008)
Haryadi S. Gunawi, Cindy Rubio-González, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Ben Liblit
EIO: Error Handling is Occasionally Correct. FAST (2008)
Ben Liblit, Atanas Rountev
WODA 2008: the sixth international workshop on dynamic analysis. ISSTA (2008)
Marina Polishchuk, Ben Liblit, Chloë W. Schulze
Dynamic heap type inference for program understanding and debugging. POPL (2007)
Anne Mulhern, Charles Fischer, Ben Liblit
Tool Support for Proof Engineering. Electron. Notes Theor. Comput. Sci. 174 (2) (2007)
David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu
Statistical Debugging Using Latent Topic Models. ECML (2007)
Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit
Statistical debugging using compound boolean predicates. ISSTA (2007)
Junghee Lim, Thomas W. Reps, Ben Liblit
Extracting Output Formats from Executables. WCRE (2006)
Ben Liblit, Andrew Begel, Eve Sweetser
Cognitive Perspectives on the Role of Naming in Computer Programs. PPIG (2006)
Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit
Path Optimization in Programs and Its Application to Debugging. ESOP (2006)
Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken
Statistical debugging: simultaneous identification of multiple bugs. ICML (2006)
Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift, David A. Wood
Supporting nested transactional memory in logTM. ASPLOS (2006)
Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan
Scalable statistical bug isolation. PLDI (2005)
Ben Liblit, Alexander Aiken, Katherine A. Yelick
Type Systems for Distributed Data Sharing. SAS (2003)
Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan
Bug isolation via remote program sampling. PLDI (2003)
Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken
Statistical Debugging of Sampled Programs. NIPS (2003)
Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof
Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS (2001)
Ben Liblit, Alexander Aiken
Type Systems for Distributed Data Structures. POPL (2000)
Arvind Krishnamurthy, Alexander Aiken, Phillip Colella, David Gay, Susan L. Graham, Paul N. Hilfinger, Ben Liblit, Carleton Miyamoto, Geoff Pike, Luigi Semenzato, Katherine A. Yelick
Titanium: A High Performance Java Dialect. PPSC (1999)
Katherine A. Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul N. Hilfinger, Susan L. Graham, David Gay, Phillip Colella, Alexander Aiken
Titanium: A High-performance Java Dialect. Concurr. Pract. Exp. 10 (11-13) (1998)