default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBen Liblit
Person information
- affiliation: University of Wisconsin-Madison, Madison, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j6]Carla Michini
, Peter Ohmann, Ben Liblit, Jeff T. Linderoth:
A Set-Covering Approach to Customized Coverage Instrumentation. INFORMS J. Comput. 36(1): 21-38 (2024)- [j5]Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang:
User-assisted code query customization and optimization. Int. J. Softw. Tools Technol. Transf. 26(5): 607-619 (2024) - 2023
- [c47]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: 584-597 - [c46]Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang:
User-Assisted Code Query Optimization. SOAP@PLDI 2023: 40-46 - 2022
- [c45]Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson:
Static Analysis for AWS Best Practices in Python Code. ECOOP 2022: 14:1-14:28 - [i5]Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson:
Static Analysis for AWS Best Practices in Python Code. CoRR abs/2205.04432 (2022) - 2020
- [i4]Zi Wang, Ben Liblit, Thomas W. Reps:
TOFU: Target-Orienter FUzzer. CoRR abs/2004.14375 (2020)
2010 – 2019
- 2019
- [i3]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Enabling Open-World Specification Mining via Unsupervised Learning. CoRR abs/1904.12098 (2019) - 2018
- [c44]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Code vectors: understanding programs through embedded abstracted symbolic traces. ESEC/SIGSOFT FSE 2018: 163-174 - [d3]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. Version v1.0.0. Zenodo, 2018 [all versions]
- [d2]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. Version v1.0.1. Zenodo, 2018 [all versions] - [d1]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. Version v1.1.1. Zenodo, 2018 [all versions] - [i2]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. CoRR abs/1803.06686 (2018) - 2017
- [j4]Peter Ohmann, Ben Liblit:
Lightweight control-flow instrumentation and postmortem analysis in support of debugging. Autom. Softw. Eng. 24(4): 865-904 (2017) - [c43]Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit:
Control-flow recovery from partial failure reports. PLDI 2017: 390-405 - [c42]David Bingham Brown, Michael Vaughn, Ben Liblit, Thomas W. Reps:
The care and feeding of wild-caught mutants. ESEC/SIGSOFT FSE 2017: 511-522 - [i1]Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps:
Source Forager: A Search Engine for Similar Source Code. CoRR abs/1706.02769 (2017) - 2016
- [c41]Peter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff T. Linderoth, Ben Liblit:
Optimizing customized program coverage. ASE 2016: 27-38 - [c40]Alisa J. Maas, Henrique Nazaré, Ben Liblit:
Array length inference for C library bindings. ASE 2016: 461-471 - 2015
- [j3]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): 1-18 (2015) - [c39]Peter Ohmann, Ben Liblit:
CSIclipse: presenting crash analysis data to developers. ETX 2015: 7-12 - [c38]Cathrin Weiss, Cindy Rubio-González, Ben Liblit:
Database-Backed Program Analysis for Scalable Error Propagation. ICSE (1) 2015: 586-597 - [c37]Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps:
Recovering execution data from incomplete observations. WODA@SPLASH 2015: 19-24 - 2013
- [c36]Tristan Ravitch, Ben Liblit:
Analyzing memory ownership patterns in C libraries. ISMM 2013: 97-108 - [c35]Peter Ohmann, Ben Liblit:
Lightweight control-flow instrumentation and postmortem analysis in support of debugging. ASE 2013: 378-388 - 2012
- [c34]Joel Sommers, Paul Barford, Ben Liblit:
A router primitive approach for building diverse network services. COMSNETS 2012: 1-10 - [c33]Zach Miller, Todd Tannenbaum, Ben Liblit:
Enforcing Murphy's Law for Advance Identification of Run-time Failures. USENIX ATC 2012: 203-208 - 2011
- [c32]Ben Liblit:
Automated Detection and Repair of Concurrency Bugs. Haifa Verification Conference 2011: 3 - [c31]Cindy Rubio-González, Ben Liblit:
Defective error/pointer interactions in the Linux kernel. ISSTA 2011: 111-121 - [c30]Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit:
Automated atomicity-violation fixing. PLDI 2011: 389-400 - 2010
- [j2]Susan Horwitz, Ben Liblit, Marina Polishchuk:
Better Debugging via Output Tracing and Callstack-Sensitive Slicing. IEEE Trans. Software Eng. 36(1): 7-19 (2010) - [c29]Piramanayagam Arumuga Nainar, Ben Liblit:
Adaptive bug isolation. ICSE (1) 2010: 255-264 - [c28]Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu:
Instrumentation and sampling strategies for cooperative concurrency bug isolation. OOPSLA 2010: 241-255 - [c27]Cindy Rubio-González, Ben Liblit:
Expect the unexpected: error code mismatches between documentation and the real world. PASTE 2010: 73-80
2000 – 2009
- 2009
- [c26]Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani:
HOLMES: Effective statistical debugging via efficient path profiling. ICSE 2009: 34-44 - [c25]Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu:
Cooperative crug isolation. WODA 2009: 35-41 - [c24]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: 270-280 - [c23]Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit:
Automatic generation of library bindings using static analysis. PLDI 2009: 352-362 - [c22]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 - [e2]Ben Liblit, Andy Podgurski:
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, 2009. 2009, ISBN 978-1-60558-656-4 [contents] - 2008
- [c21]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: 207-222 - [c20]Ben Liblit:
Cooperative debugging with five hundred million test cases. ISSTA 2008: 119-120 - [c19]Ben Liblit, Atanas Rountev:
WODA 2008: the sixth international workshop on dynamic analysis. ISSTA 2008: 313-314 - [c18]Ben Liblit:
Reflections on the Role of Static Analysis in Cooperative Bug Isolation. SAS 2008: 18-31 - [c17]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: 26 - [e1]Ben Liblit, Atanas Rountev:
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, 2008. ACM 2008, ISBN 978-1-60558-054-8 [contents] - 2007
- [b1]Ben Liblit:
Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition). University of California, Berkeley, CA, USA, Lecture Notes in Computer Science 4440, Springer 2007, ISBN 978-3-540-71877-2 - [c16]David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu:
Statistical Debugging Using Latent Topic Models. ECML 2007: 6-17 - [c15]Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit:
Statistical debugging using compound boolean predicates. ISSTA 2007: 5-15 - [c14]Marina Polishchuk, Ben Liblit, Chloë W. Schulze:
Dynamic heap type inference for program understanding and debugging. POPL 2007: 39-46 - 2006
- [c13]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: 359-370 - [c12]Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit:
Path Optimization in Programs and Its Application to Debugging. ESOP 2006: 246-263 - [c11]Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken:
Statistical debugging: simultaneous identification of multiple bugs. ICML 2006: 1105-1112 - [c10]Ben Liblit, Andrew Begel, Eve Sweetser:
Cognitive Perspectives on the Role of Naming in Computer Programs. PPIG 2006: 11 - [c9]Junghee Lim, Thomas W. Reps, Ben Liblit:
Extracting Output Formats from Executables. WCRE 2006: 167-178 - [c8]Anne Mulhern, Charles N. Fischer, Ben Liblit:
Tool Support for Proof Engineering. UITP@FLoC 2006: 75-86 - 2005
- [c7]Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan:
Scalable statistical bug isolation. PLDI 2005: 15-26 - 2003
- [c6]Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alex Aiken:
Statistical Debugging of Sampled Programs. NIPS 2003: 603-610 - [c5]Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan:
Bug isolation via remote program sampling. PLDI 2003: 141-154 - [c4]Ben Liblit, Alex Aiken, Katherine A. Yelick:
Type Systems for Distributed Data Sharing. SAS 2003: 273-294 - 2001
- [c3]Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof:
Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS 2001: 260-278 - 2000
- [c2]Ben Liblit, Alexander Aiken:
Type Systems for Distributed Data Structures. POPL 2000: 199-213
1990 – 1999
- 1999
- [c1]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. PP 1999 - 1998
- [j1]Katherine A. Yelick, Luigi Semenzato, Geoff Pike, Carleton Miyamoto, Ben Liblit, Arvind Krishnamurthy, Paul N. Hilfinger, Susan L. Graham, David Gay, Phillip Colella, Alex Aiken:
Titanium: A High-performance Java Dialect. Concurr. Pract. Exp. 10(11-13): 825-836 (1998)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
