Ben Liblit
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
15
Active years
2000–2023
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FM | Shifting Left for Early Detection of Machine-Learning Bugs. | Ben Liblit, Linghui Luo, Alejandro Molina, Rajdeep Mukherjee, Zachary Patterson, Goran Piskachev, Martin Schf, Omer Tripp, Willem Visser |
| 2023 | PLDI | User-Assisted Code Query Optimization. | Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang |
| 2022 | ECOOP | Static Analysis for AWS Best Practices in Python Code. | Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson |
| 2017 | PLDI | Control-flow recovery from partial failure reports. | Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit |
| 2015 | ICSE | Database-Backed Program Analysis for Scalable Error Propagation. | Cathrin Weiss, Cindy Rubio-Gonzlez, Ben Liblit |
| 2015 | OOPSLA | Recovering execution data from incomplete observations. | Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps |
| 2012 | COMSNETS | A router primitive approach for building diverse network services. | Joel Sommers, Paul Barford, Ben Liblit |
| 2012 | USENIX | Enforcing Murphy's Law for Advance Identification of Run-time Failures. | Zach Miller, Todd Tannenbaum, Ben Liblit |
| 2011 | ISSTA | Defective error/pointer interactions in the Linux kernel. | Cindy Rubio-Gonzlez, Ben Liblit |
| 2011 | PLDI | Automated atomicity-violation fixing. | Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit |
| 2010 | ICSE | Adaptive bug isolation. | Piramanayagam Arumuga Nainar, Ben Liblit |
| 2010 | OOPSLA | Instrumentation and sampling strategies for cooperative concurrency bug isolation. | Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu |
| 2009 | ICSE | HOLMES: Effective statistical debugging via efficient path profiling. | Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani |
| 2009 | ISSTA | Cooperative crug isolation. | Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu |
| 2009 | PLDI | Automatic generation of library bindings using static analysis. | Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit |
| 2009 | PLDI | Error propagation analysis for file systems. | Cindy Rubio-Gonzlez, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau |
| 2009 | SC | 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 |
| 2008 | FAST | EIO: Error Handling is Occasionally Correct. | Haryadi S. Gunawi, Cindy Rubio-Gonzlez, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Ben Liblit |
| 2008 | ISSTA | Cooperative debugging with five hundred million test cases. | Ben Liblit |
| 2008 | ISSTA | WODA 2008: the sixth international workshop on dynamic analysis. | Ben Liblit, Atanas Rountev |
| 2008 | SC | 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 |
| 2008 | SAS | Reflections on the Role of Static Analysis in Cooperative Bug Isolation. | Ben Liblit |
| 2007 | ISSTA | Statistical debugging using compound boolean predicates. | Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit |
| 2007 | POPL | Dynamic heap type inference for program understanding and debugging. | Marina Polishchuk, Ben Liblit, Chlo W. Schulze |
| 2006 | ASPLOS | 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 |
| 2006 | ESOP | Path Optimization in Programs and Its Application to Debugging. | Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit |
| 2006 | ICML | Statistical debugging: simultaneous identification of multiple bugs. | Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken |
| 2005 | PLDI | Scalable statistical bug isolation. | Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan |
| 2003 | PLDI | Bug isolation via remote program sampling. | Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan |
| 2003 | SAS | Type Systems for Distributed Data Sharing. | Ben Liblit, Alex Aiken, Katherine A. Yelick |
| 2001 | SAS | Estimating the Impact of Scalable Pointer Analysis on Optimization. | Manuvir Das, Ben Liblit, Manuel Fhndrich, Jakob Rehof |
| 2000 | POPL | Type Systems for Distributed Data Structures. | Ben Liblit, Alexander Aiken |