Ben Liblit

Affiliations:
  • University of Wisconsin-Madison, Madison, USA


According to our database1, Ben Liblit authored at least 51 papers between 1998 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Static Analysis for AWS Best Practices in Python Code.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020
TOFU: Target-Orienter FUzzer.
CoRR, 2020

2019
Enabling Open-World Specification Mining via Unsupervised Learning.
CoRR, 2019

2018
Code vectors: understanding programs through embedded abstracted symbolic traces.
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.
CoRR, 2017

Lightweight control-flow instrumentation and postmortem analysis in support of debugging.
Autom. Softw. Eng., 2017

The care and feeding of wild-caught mutants.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Control-flow recovery from partial failure reports.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016
Optimizing customized program coverage.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Array length inference for C library bindings.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015
Fixing, preventing, and recovering from concurrency bugs.
Sci. China Inf. Sci., 2015

Recovering execution data from incomplete observations.
Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

Database-Backed Program Analysis for Scalable Error Propagation.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

CSIclipse: presenting crash analysis data to developers.
Proceedings of the 2015 Workshop on Eclipse Technology eXchange, 2015

2013
Analyzing memory ownership patterns in C libraries.
Proceedings of the International Symposium on Memory Management, 2013

2012
Enforcing Murphy's Law for Advance Identification of Run-time Failures.
Proceedings of the 2012 USENIX Annual Technical Conference, 2012

A router primitive approach for building diverse network services.
Proceedings of the Fourth International Conference on Communication Systems and Networks, 2012

2011
Automated atomicity-violation fixing.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Defective error/pointer interactions in the Linux kernel.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Automated Detection and Repair of Concurrency Bugs.
Proceedings of the Hardware and Software: Verification and Testing, 2011

2010
Better Debugging via Output Tracing and Callstack-Sensitive Slicing.
IEEE Trans. Software Eng., 2010

Expect the unexpected: error code mismatches between documentation and the real world.
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.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Adaptive bug isolation.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Scalable temporal order analysis for large scale debugging.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2009

Error propagation analysis for file systems.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Automatic generation of library bindings using static analysis.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Cooperative crug isolation.
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.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Lessons learned at 208K: towards debugging millions of cores.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008

Reflections on the Role of Static Analysis in Cooperative Bug Isolation.
Proceedings of the Static Analysis, 15th International Symposium, 2008

WODA 2008: the sixth international workshop on dynamic analysis.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Cooperative debugging with five hundred million test cases.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

EIO: Error Handling is Occasionally Correct.
Proceedings of the 6th USENIX Conference on File and Storage Technologies, 2008

2007
Tool Support for Proof Engineering.
Electron. Notes Theor. Comput. Sci., 2007

Dynamic heap type inference for program understanding and debugging.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Statistical debugging using compound boolean predicates.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Statistical Debugging Using Latent Topic Models.
Proceedings of the Machine Learning: ECML 2007, 2007

Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition).
Lecture Notes in Computer Science 4440, Springer, ISBN: 978-3-540-71877-2, 2007

2006
Extracting Output Formats from Executables.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

Cognitive Perspectives on the Role of Naming in Computer Programs.
Proceedings of the 18th Annual Workshop of the Psychology of Programming Interest Group, 2006

Statistical debugging: simultaneous identification of multiple bugs.
Proceedings of the Machine Learning, 2006

Path Optimization in Programs and Its Application to Debugging.
Proceedings of the Programming Languages and Systems, 2006

Supporting nested transactional memory in logTM.
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005
Scalable statistical bug isolation.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

2003
Type Systems for Distributed Data Sharing.
Proceedings of the Static Analysis, 10th International Symposium, 2003

Bug isolation via remote program sampling.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Statistical Debugging of Sampled Programs.
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.
Proceedings of the Static Analysis, 8th International Symposium, 2001

2000
Type Systems for Distributed Data Structures.
Proceedings of the POPL 2000, 2000

1998
Titanium: A High-performance Java Dialect.
Concurr. Pract. Exp., 1998


  Loading...