Ben Liblit

According to our database, Ben Liblit authored at least 53 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

User-Assisted Code Query Optimization.

Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

Shifting Left for Early Detection of Machine-Learning Bugs.

Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schäf, Omer Tripp, Willem Visser

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Static Analysis for AWS Best Practices in Python Code.

Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020

TOFU: Target-Orienter FUzzer.

Zi Wang, Ben Liblit, Thomas W. Reps

CoRR, 2020

2019

Enabling Open-World Specification Mining via Unsupervised Learning.

Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps

CoRR, 2019

2018

Code vectors: understanding programs through embedded abstracted symbolic traces.

Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017

Source Forager: A Search Engine for Similar Source Code.

Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps

CoRR, 2017

Lightweight control-flow instrumentation and postmortem analysis in support of debugging.

Peter Ohmann, Ben Liblit

Autom. Softw. Eng., 2017

The care and feeding of wild-caught mutants.

David Bingham Brown, Michael Vaughn, Ben Liblit, Thomas W. Reps

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Control-flow recovery from partial failure reports.

Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Optimizing customized program coverage.

Peter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff T. Linderoth, Ben Liblit

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Array length inference for C library bindings.

Alisa J. Maas, Henrique Nazaré, Ben Liblit

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Fixing, preventing, and recovering from concurrency bugs.

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

Sci. China Inf. Sci., 2015

Recovering execution data from incomplete observations.

Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps

Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

Database-Backed Program Analysis for Scalable Error Propagation.

Cathrin Weiss, Cindy Rubio-González, Ben Liblit

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

CSIclipse: presenting crash analysis data to developers.

Peter Ohmann, Ben Liblit

Proceedings of the 2015 Workshop on Eclipse Technology eXchange, 2015

2013

Analyzing memory ownership patterns in C libraries.

Tristan Ravitch, Ben Liblit

Proceedings of the International Symposium on Memory Management, 2013

2012

Enforcing Murphy's Law for Advance Identification of Run-time Failures.

Zach Miller, Todd Tannenbaum, Ben Liblit

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

A router primitive approach for building diverse network services.

Joel Sommers, Paul Barford, Ben Liblit

Proceedings of the Fourth International Conference on Communication Systems and Networks, 2012

2011

Automated atomicity-violation fixing.

Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Defective error/pointer interactions in the Linux kernel.

Cindy Rubio-González, Ben Liblit

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Automated Detection and Repair of Concurrency Bugs.

Ben Liblit

Proceedings of the Hardware and Software: Verification and Testing, 2011

2010

Better Debugging via Output Tracing and Callstack-Sensitive Slicing.

Susan Horwitz, Ben Liblit, Marina Polishchuk

IEEE Trans. Software Eng., 2010

Expect the unexpected: error code mismatches between documentation and the real world.

Cindy Rubio-González, Ben Liblit

Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

Instrumentation and sampling strategies for cooperative concurrency bug isolation.

Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Adaptive bug isolation.

Piramanayagam Arumuga Nainar, Ben Liblit

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Scalable temporal order analysis for large scale debugging.

Dong H. Ahn, Bronis R. de Supinski, Ignacio Laguna, Gregory L. Lee, Ben Liblit, Barton P. Miller, Martin Schulz

Proceedings of the ACM/IEEE Conference on High Performance Computing, 2009

Error propagation analysis for file systems.

Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Automatic generation of library bindings using static analysis.

Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Cooperative crug isolation.

Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), 2009

HOLMES: Effective statistical debugging via efficient path profiling.

Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Lessons learned at 208K: towards debugging millions of cores.

Gregory L. Lee, Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Matthew P. LeGendre, Barton P. Miller, Martin Schulz, Ben Liblit

Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008

Reflections on the Role of Static Analysis in Cooperative Bug Isolation.

Ben Liblit

Proceedings of the Static Analysis, 15th International Symposium, 2008

WODA 2008: the sixth international workshop on dynamic analysis.

Ben Liblit, Atanas Rountev

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Cooperative debugging with five hundred million test cases.

Ben Liblit

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

EIO: Error Handling is Occasionally Correct.

Haryadi S. Gunawi, Cindy Rubio-González, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Ben Liblit

Proceedings of the 6th USENIX Conference on File and Storage Technologies, 2008

2007

Dynamic heap type inference for program understanding and debugging.

Marina Polishchuk, Ben Liblit, Chloë W. Schulze

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Statistical debugging using compound boolean predicates.

Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Statistical Debugging Using Latent Topic Models.

David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu

Proceedings of the Machine Learning: ECML 2007, 2007

Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition).

Ben Liblit

Lecture Notes in Computer Science 4440, Springer, ISBN: 978-3-540-71877-2, 2007

2006

Tool Support for Proof Engineering.

Anne Mulhern, Charles N. Fischer, Ben Liblit

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

Extracting Output Formats from Executables.

Junghee Lim, Thomas W. Reps, Ben Liblit

Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

Cognitive Perspectives on the Role of Naming in Computer Programs.

Ben Liblit, Andrew Begel, Eve Sweetser

Proceedings of the 18th Annual Workshop of the Psychology of Programming Interest Group, 2006

Statistical debugging: simultaneous identification of multiple bugs.

Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken

Proceedings of the Machine Learning, 2006

Path Optimization in Programs and Its Application to Debugging.

Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit

Proceedings of the Programming Languages and Systems, 2006

Supporting nested transactional memory in logTM.

Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift, David A. Wood

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005

Scalable statistical bug isolation.

Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan

Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

2003

Type Systems for Distributed Data Sharing.

Ben Liblit, Alexander Aiken, Katherine A. Yelick

Proceedings of the Static Analysis, 10th International Symposium, 2003

Bug isolation via remote program sampling.

Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Statistical Debugging of Sampled Programs.

Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken

Proceedings of the Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, 2003

2001

Estimating the Impact of Scalable Pointer Analysis on Optimization.

Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof

Proceedings of the Static Analysis, 8th International Symposium, 2001

2000

Type Systems for Distributed Data Structures.

Ben Liblit, Alexander Aiken

Proceedings of the POPL 2000, 2000

1998

Titanium: A High-performance Java Dialect.

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

Concurr. Pract. Exp., 1998