publications:
- title: "Adaptive bug isolation"
  author:
  - name: "Piramanayagam Arumuga Nainar"
    link: "https://researchr.org/alias/piramanayagam-arumuga-nainar"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1806799.1806839"
  abstract: "Statistical debugging uses lightweight instrumentation and statistical models to identify program behaviors that are strongly predictive of failure. However, most software is mostly correct; nearly all monitored behaviors are poor predictors of failure. We propose an adaptive monitoring strategy that mitigates the overhead associated with monitoring poor failure predictors. We begin by monitoring a small portion of the program, then automatically refine instrumentation over time to zero in on bugs. We formulate this approach as a search on the control-dependence graph of the program. We present and evaluate various heuristics that can be used for this search. We also discuss the construction of a binary instrumentor for incorporating the feedback loop into post-deployment monitoring. Performance measurements show that adaptive bug isolation yields an average performance overhead of 1% for a class of large applications, as opposed to 87% for realistic sampling-based instrumentation and 300% for complete binary instrumentation. "
  links:
    doi: "http://doi.acm.org/10.1145/1806799.1806839"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/NainarL10"
  tags:
  - "rule-based"
  - "deployment"
  - "completeness"
  - "meta programming"
  - "meta-model"
  - "graph-rewriting"
  - "debugging"
  - "Meta-Environment"
  - "rewriting"
  - "search"
  - "systematic-approach"
  - "rewriting strategies"
  researchr: "https://researchr.org/publication/NainarL10"
  cites: 0
  citedby: 0
  pages: "255-264"
  booktitle: "Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010"
  editor:
  - name: "Jeff Kramer"
    link: "https://researchr.org/alias/jeff-kramer"
  - name: "Judith Bishop"
    link: "https://researchr.org/alias/judith-bishop"
  - name: "Premkumar T. Devanbu"
    link: "https://researchr.org/alias/premkumar-t.-devanbu"
  - name: "Sebastián Uchitel"
    link: "https://researchr.org/alias/sebasti%C3%A1n-uchitel"
  publisher: "ACM"
  isbn: "978-1-60558-719-6"
  kind: "inproceedings"
  key: "NainarL10"
- title: "Bug isolation via remote program sampling"
  author:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Alexander Aiken"
    link: "https://researchr.org/alias/alexander-aiken"
  - name: "Alice X. Zheng"
    link: "https://researchr.org/alias/alice-x.-zheng"
  - name: "Michael I. Jordan"
    link: "https://researchr.org/alias/michael-i.-jordan"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/781131.781148"
  links:
    doi: "http://doi.acm.org/10.1145/781131.781148"
  researchr: "https://researchr.org/publication/LiblitAZJ03"
  cites: 0
  citedby: 0
  pages: "141-154"
  booktitle: "Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003"
  publisher: "ACM"
  isbn: "1-58113-662-5"
  kind: "inproceedings"
  key: "LiblitAZJ03"
- title: "EIO: Error Handling is Occasionally Correct"
  author:
  - name: "Haryadi S. Gunawi"
    link: "https://researchr.org/alias/haryadi-s.-gunawi"
  - name: "Cindy Rubio-González"
    link: "https://researchr.org/alias/cindy-rubio-gonz%C3%A1lez"
  - name: "Andrea C. Arpaci-Dusseau"
    link: "https://researchr.org/alias/andrea-c.-arpaci-dusseau"
  - name: "Remzi H. Arpaci-Dusseau"
    link: "https://researchr.org/alias/remzi-h.-arpaci-dusseau"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2008"
  doi: "http://www.usenix.org/events/fast08/tech/gunawi.html"
  links:
    doi: "http://www.usenix.org/events/fast08/tech/gunawi.html"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/GunawiRAAL08"
  cites: 0
  citedby: 0
  pages: "207-222"
  booktitle: "6th USENIX Conference on File and Storage Technologies, FAST 2008, February 26-29, 2008, San Jose, CA, USA"
  editor:
  - name: "Mary Baker"
    link: "https://researchr.org/alias/mary-baker"
  - name: "Erik Riedel"
    link: "https://researchr.org/alias/erik-riedel"
  publisher: "USENIX"
  isbn: "978-1-931971-56-0"
  kind: "inproceedings"
  key: "GunawiRAAL08"
- title: "Cooperative crug isolation"
  author:
  - name: "Aditya V. Thakur"
    link: "https://researchr.org/alias/aditya-v.-thakur"
  - name: "Rathijit Sen"
    link: "https://researchr.org/alias/rathijit-sen"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Shan Lu"
    link: "https://researchr.org/alias/shan-lu"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/2134243.2134252"
  links:
    doi: "http://doi.acm.org/10.1145/2134243.2134252"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/issta/ThakurSLL09"
  researchr: "https://researchr.org/publication/ThakurSLL09"
  cites: 0
  citedby: 0
  pages: "35-41"
  booktitle: "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"
  editor:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Andy Podgurski"
    link: "https://researchr.org/alias/andy-podgurski"
  isbn: "978-1-60558-656-4"
  kind: "inproceedings"
  key: "ThakurSLL09"
- title: "Expect the unexpected: error code mismatches between documentation and the real world"
  author:
  - name: "Cindy Rubio-González"
    link: "https://researchr.org/alias/cindy-rubio-gonz%C3%A1lez"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1806672.1806687"
  links:
    doi: "http://doi.acm.org/10.1145/1806672.1806687"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/paste/Rubio-GonzalezL10"
  researchr: "https://researchr.org/publication/Rubio-GonzalezL10"
  cites: 0
  citedby: 0
  pages: "73-80"
  booktitle: "Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 10, Toronto, Ontario, Canada, June 5-6, 2010"
  editor:
  - name: "Sorin Lerner"
    link: "http://cseweb.ucsd.edu/~lerner/"
  - name: "Atanas Rountev"
    link: "https://researchr.org/alias/atanas-rountev"
  publisher: "ACM"
  isbn: "978-1-4503-0082-7"
  kind: "inproceedings"
  key: "Rubio-GonzalezL10"
- title: "Scalable temporal order analysis for large scale debugging"
  author:
  - name: "Dong H. Ahn"
    link: "https://researchr.org/alias/dong-h.-ahn"
  - name: "Bronis R. de Supinski"
    link: "https://researchr.org/alias/bronis-r.-de-supinski"
  - name: "Ignacio Laguna"
    link: "https://researchr.org/alias/ignacio-laguna"
  - name: "Gregory L. Lee"
    link: "https://researchr.org/alias/gregory-l.-lee"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Barton P. Miller"
    link: "https://researchr.org/alias/barton-p.-miller"
  - name: "Martin Schulz"
    link: "https://researchr.org/alias/martin-schulz"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1654059.1654104"
  links:
    doi: "http://doi.acm.org/10.1145/1654059.1654104"
  tags:
  - "analysis"
  - "debugging"
  researchr: "https://researchr.org/publication/AhnSLLLMS09"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the ACM/IEEE Conference on High Performance Computing, SC 2009, November 14-20, 2009, Portland, Oregon, USA"
  publisher: "ACM"
  isbn: "978-1-60558-744-8"
  kind: "inproceedings"
  key: "AhnSLLLMS09"
- title: "Instrumentation and sampling strategies for cooperative concurrency bug isolation"
  author:
  - name: "Guoliang Jin"
    link: "https://researchr.org/alias/guoliang-jin"
  - name: "Aditya V. Thakur"
    link: "https://researchr.org/alias/aditya-v.-thakur"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Shan Lu"
    link: "https://researchr.org/alias/shan-lu"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1869459.1869481"
  links:
    doi: "http://doi.acm.org/10.1145/1869459.1869481"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/JinTLL10"
  researchr: "https://researchr.org/publication/JinTLL10"
  cites: 0
  citedby: 0
  pages: "241-255"
  booktitle: "Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA"
  editor:
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  - name: "Siobhán Clarke"
    link: "https://www.cs.tcd.ie/Siobhan.Clarke/"
  - name: "Martin C. Rinard"
    link: "https://researchr.org/alias/martin-c.-rinard"
  address: "Reno/Tahoe, Nevada"
  publisher: "ACM"
  isbn: "978-1-4503-0203-6"
  kind: "inproceedings"
  key: "JinTLL10"
- title: "Recovering execution data from incomplete observations"
  author:
  - name: "Peter Ohmann"
    link: "https://researchr.org/alias/peter-ohmann"
  - name: "David Bingham Brown"
    link: "https://researchr.org/alias/david-bingham-brown"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Thomas W. Reps"
    link: "https://researchr.org/alias/thomas-w.-reps"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2823363.2823368"
  links:
    doi: "http://doi.acm.org/10.1145/2823363.2823368"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/OhmannBLR15"
  researchr: "https://researchr.org/publication/OhmannBLR15"
  cites: 0
  citedby: 0
  pages: "19-24"
  booktitle: "Proceedings of the 13th International Workshop on Dynamic Analysis, WODA 2015, Pittsburgh, PA, USA, October 26, 2015"
  editor:
  - name: "Harry Xu"
    link: "https://researchr.org/alias/harry-xu"
  - name: "Walter Binder"
    link: "https://researchr.org/alias/walter-binder"
  publisher: "ACM"
  isbn: "978-1-4503-3909-4"
  kind: "inproceedings"
  key: "OhmannBLR15"
- title: "Type Systems for Distributed Data Structures"
  author:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Alexander Aiken"
    link: "https://researchr.org/alias/alexander-aiken"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/325694.325717"
  links:
    doi: "http://doi.acm.org/10.1145/325694.325717"
  tags:
  - "type system"
  - "data-flow"
  researchr: "https://researchr.org/publication/LiblitA00"
  cites: 0
  citedby: 0
  pages: "199-213"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "LiblitA00"
- title: "Statistical debugging using compound boolean predicates"
  author:
  - name: "Piramanayagam Arumuga Nainar"
    link: "https://researchr.org/alias/piramanayagam-arumuga-nainar"
  - name: "Ting Chen"
    link: "https://researchr.org/alias/ting-chen"
  - name: "Jake Rosin"
    link: "https://researchr.org/alias/jake-rosin"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1273463.1273467"
  links:
    doi: "http://doi.acm.org/10.1145/1273463.1273467"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/NainarCRL07"
  cites: 0
  citedby: 0
  pages: "5-15"
  booktitle: "Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007"
  editor:
  - name: "David S. Rosenblum"
    link: "https://researchr.org/alias/david-s.-rosenblum"
  - name: "Sebastian G. Elbaum"
    link: "https://researchr.org/alias/sebastian-g.-elbaum"
  publisher: "ACM"
  isbn: "978-1-59593-734-6"
  kind: "inproceedings"
  key: "NainarCRL07"
- title: "Automated atomicity-violation fixing"
  author:
  - name: "Guoliang Jin"
    link: "https://researchr.org/alias/guoliang-jin"
  - name: "Linhai Song"
    link: "https://researchr.org/alias/linhai-song"
  - name: "Wei Zhang"
    link: "https://researchr.org/alias/wei-zhang"
  - name: "Shan Lu"
    link: "https://researchr.org/alias/shan-lu"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1993498.1993544"
  links:
    doi: "http://doi.acm.org/10.1145/1993498.1993544"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/JinSZLL11"
  researchr: "https://researchr.org/publication/JinSZLL11"
  cites: 0
  citedby: 0
  pages: "389-400"
  booktitle: "Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011"
  editor:
  - name: "Mary W. Hall"
    link: "https://researchr.org/alias/mary-w.-hall"
  - name: "David A. Padua"
    link: "https://researchr.org/alias/david-a.-padua"
  publisher: "ACM"
  isbn: "978-1-4503-0663-8"
  kind: "inproceedings"
  key: "JinSZLL11"
- title: "Statistical debugging: simultaneous identification of multiple bugs"
  author:
  - name: "Alice X. Zheng"
    link: "https://researchr.org/alias/alice-x.-zheng"
  - name: "Michael I. Jordan"
    link: "https://researchr.org/alias/michael-i.-jordan"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Mayur Naik"
    link: "https://researchr.org/alias/mayur-naik"
  - name: "Alex Aiken"
    link: "https://researchr.org/alias/alex-aiken"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1143844.1143983"
  abstract: "We describe a statistical approach to software debugging in the presence of multiple bugs. Due to sparse sampling issues and complex interaction between program predicates, many generic off-the-shelf algorithms fail to select useful bug predictors. Taking inspiration from bi-clustering algorithms, we propose an iterative collective voting scheme for the program runs and predicates. We demonstrate successful debugging results on several real world programs and a large debugging benchmark suite. "
  links:
    doi: "http://doi.acm.org/10.1145/1143844.1143983"
  tags:
  - "generic programming"
  - "debugging"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/ZhengJLNA06"
  cites: 0
  citedby: 0
  pages: "1105-1112"
  booktitle: "Machine Learning, Proceedings of the Twenty-Third International Conference (ICML 2006), Pittsburgh, Pennsylvania, USA, June 25-29, 2006"
  editor:
  - name: "William W. Cohen"
    link: "https://researchr.org/alias/william-w.-cohen"
  - name: "Andrew Moore"
    link: "https://researchr.org/alias/andrew-moore"
  volume: "148"
  series: "ACM International Conference Proceeding Series"
  publisher: "ACM"
  isbn: "1-59593-383-2"
  kind: "inproceedings"
  key: "ZhengJLNA06"
- title: "Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition)"
  author:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2007"
  researchr: "https://researchr.org/publication/Liblit2007"
  cites: 0
  citedby: 0
  volume: "4440"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71877-2"
  kind: "book"
  key: "Liblit2007"
- title: "Error propagation analysis for file systems"
  author:
  - name: "Cindy Rubio-González"
    link: "https://researchr.org/alias/cindy-rubio-gonz%C3%A1lez"
  - name: "Haryadi S. Gunawi"
    link: "https://researchr.org/alias/haryadi-s.-gunawi"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Remzi H. Arpaci-Dusseau"
    link: "https://researchr.org/alias/remzi-h.-arpaci-dusseau"
  - name: "Andrea C. Arpaci-Dusseau"
    link: "https://researchr.org/alias/andrea-c.-arpaci-dusseau"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1542476.1542506"
  links:
    doi: "http://doi.acm.org/10.1145/1542476.1542506"
  tags:
  - "analysis"
  - "C++"
  researchr: "https://researchr.org/publication/Rubio-GonzalezGLAA09"
  cites: 0
  citedby: 0
  pages: "270-280"
  booktitle: "Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009"
  editor:
  - name: "Michael Hind"
    link: "https://researchr.org/alias/michael-hind"
  - name: "Amer Diwan"
    link: "https://researchr.org/alias/amer-diwan"
  publisher: "ACM"
  isbn: "978-1-60558-392-1"
  kind: "inproceedings"
  key: "Rubio-GonzalezGLAA09"
- title: "Statistical Debugging of Sampled Programs"
  author:
  - name: "Alice X. Zheng"
    link: "https://researchr.org/alias/alice-x.-zheng"
  - name: "Michael I. Jordan"
    link: "https://researchr.org/alias/michael-i.-jordan"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Alexander Aiken"
    link: "https://researchr.org/alias/alexander-aiken"
  year: "2003"
  doi: "http://books.nips.cc/papers/files/nips16/NIPS2003_AP05.pdf"
  links:
    doi: "http://books.nips.cc/papers/files/nips16/NIPS2003_AP05.pdf"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/ZhengJLA03"
  cites: 0
  citedby: 0
  pages: "603-610"
  booktitle: "Advances in Neural Information Processing Systems 16 [Neural Information Processing Systems, NIPS 2003, December 8-13, 2003, Vancouver and Whistler, British Columbia, Canada]"
  editor:
  - name: "Sebastian Thrun"
    link: "https://researchr.org/alias/sebastian-thrun"
  - name: "Lawrence K. Saul"
    link: "https://researchr.org/alias/lawrence-k.-saul"
  - name: "Bernhard Schölkopf"
    link: "https://researchr.org/alias/bernhard-sch%C3%B6lkopf"
  publisher: "MIT Press"
  isbn: "0-262-20152-6"
  kind: "inproceedings"
  key: "ZhengJLA03"
- title: "CSIclipse: presenting crash analysis data to developers"
  author:
  - name: "Peter Ohmann"
    link: "https://researchr.org/alias/peter-ohmann"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2846650.2846651"
  links:
    doi: "http://doi.acm.org/10.1145/2846650.2846651"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/eclipse/OhmannL15"
  researchr: "https://researchr.org/publication/OhmannL15"
  cites: 0
  citedby: 0
  pages: "7-12"
  booktitle: "Proceedings of the 2015 Workshop on Eclipse Technology eXchange, ETX 2015, Pittsburgh, PA, USA, October 27, 2015"
  editor:
  - name: "Michael G. Burke"
    link: "https://researchr.org/alias/michael-g.-burke"
  - name: "Tim Verbelen"
    link: "https://researchr.org/alias/tim-verbelen"
  publisher: "ACM"
  isbn: "978-1-4503-3904-9"
  kind: "inproceedings"
  key: "OhmannL15"
- title: "Automated Detection and Repair of Concurrency Bugs"
  author:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-34188-5_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-34188-5_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/hvc/Liblit11"
  researchr: "https://researchr.org/publication/Liblit11"
  cites: 0
  citedby: 0
  pages: "3"
  booktitle: "Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers"
  editor:
  - name: "Kerstin Eder"
    link: "https://researchr.org/alias/kerstin-eder"
  - name: "João Lourenço"
    link: "https://researchr.org/alias/jo%C3%A3o-louren%C3%A7o"
  - name: "Onn Shehory"
    link: "https://researchr.org/alias/onn-shehory"
  volume: "7261"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-34187-8"
  kind: "inproceedings"
  key: "Liblit11"
- title: "Lessons learned at 208K: towards debugging millions of cores"
  author:
  - name: "Gregory L. Lee"
    link: "https://researchr.org/alias/gregory-l.-lee"
  - name: "Dong H. Ahn"
    link: "https://researchr.org/alias/dong-h.-ahn"
  - name: "Dorian C. Arnold"
    link: "https://researchr.org/alias/dorian-c.-arnold"
  - name: "Bronis R. de Supinski"
    link: "https://researchr.org/alias/bronis-r.-de-supinski"
  - name: "Matthew Legendre"
    link: "https://researchr.org/alias/matthew-legendre"
  - name: "Barton P. Miller"
    link: "https://researchr.org/alias/barton-p.-miller"
  - name: "Martin Schulz"
    link: "https://researchr.org/alias/martin-schulz"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1413370.1413397"
  links:
    doi: "http://doi.acm.org/10.1145/1413370.1413397"
  tags:
  - "C++"
  - "debugging"
  researchr: "https://researchr.org/publication/LeeAASLMSL08"
  cites: 0
  citedby: 0
  pages: "26"
  booktitle: "Proceedings of the ACM/IEEE Conference on High Performance Computing, SC 2008, November 15-21, 2008, Austin, Texas, USA"
  publisher: "IEEE/ACM"
  isbn: "978-1-4244-2835-9"
  kind: "inproceedings"
  key: "LeeAASLMSL08"
- title: "Defective error/pointer interactions in the Linux kernel"
  author:
  - name: "Cindy Rubio-González"
    link: "https://researchr.org/alias/cindy-rubio-gonz%C3%A1lez"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2001420.2001434"
  links:
    doi: "http://doi.acm.org/10.1145/2001420.2001434"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/issta/Rubio-GonzalezL11"
  researchr: "https://researchr.org/publication/Rubio-GonzalezL11"
  cites: 0
  citedby: 0
  pages: "111-121"
  booktitle: "Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011"
  editor:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Frank Tip"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.index.html"
  publisher: "ACM"
  isbn: "978-1-4503-0562-4"
  kind: "inproceedings"
  key: "Rubio-GonzalezL11"
- title: "HOLMES: Effective statistical debugging via efficient path profiling"
  author:
  - name: "Trishul M. Chilimbi"
    link: "https://researchr.org/alias/trishul-m.-chilimbi"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Krishna K. Mehra"
    link: "https://researchr.org/alias/krishna-k.-mehra"
  - name: "Aditya V. Nori"
    link: "https://researchr.org/alias/aditya-v.-nori"
  - name: "Kapil Vaswani"
    link: "https://researchr.org/alias/kapil-vaswani"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE.2009.5070506"
  links:
    doi: "http://dx.doi.org/10.1109/ICSE.2009.5070506"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/ChilimbiLMNV09"
  cites: 0
  citedby: 0
  pages: "34-44"
  booktitle: "31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings"
  publisher: "IEEE"
  isbn: "978-1-4244-3452-7"
  kind: "inproceedings"
  key: "ChilimbiLMNV09"
- title: "Database-Backed Program Analysis for Scalable Error Propagation"
  author:
  - name: "Cathrin Weiss"
    link: "https://researchr.org/alias/cathrin-weiss"
  - name: "Cindy Rubio-González"
    link: "https://researchr.org/alias/cindy-rubio-gonz%C3%A1lez"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2015"
  doi: "http://dx.doi.org/10.1109/ICSE.2015.75"
  links:
    doi: "http://dx.doi.org/10.1109/ICSE.2015.75"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/WeissRL15"
  researchr: "https://researchr.org/publication/WeissRL15"
  cites: 0
  citedby: 0
  pages: "586-597"
  booktitle: "37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1"
  publisher: "IEEE"
  isbn: "978-1-4799-1934-5"
  kind: "inproceedings"
  key: "WeissRL15"
- title: "Dynamic heap type inference for program understanding and debugging"
  author:
  - name: "Marina Polishchuk"
    link: "https://researchr.org/alias/marina-polishchuk"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Chloë W. Schulze"
    link: "https://researchr.org/alias/chlo%C3%AB-w.-schulze"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1190216.1190225"
  links:
    doi: "http://doi.acm.org/10.1145/1190216.1190225"
  tags:
  - "type inference"
  - "debugging"
  researchr: "https://researchr.org/publication/PolishchukLS07"
  cites: 0
  citedby: 0
  pages: "39-46"
  booktitle: "Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007"
  editor:
  - name: "Martin Hofmann"
    link: "https://researchr.org/alias/martin-hofmann"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  publisher: "ACM"
  isbn: "1-59593-575-4"
  kind: "inproceedings"
  key: "PolishchukLS07"
- title: "Automatic generation of library bindings using static analysis"
  author:
  - name: "Tristan Ravitch"
    link: "https://researchr.org/alias/tristan-ravitch"
  - name: "Steve Jackson"
    link: "https://researchr.org/alias/steve-jackson"
  - name: "Eric Aderhold"
    link: "https://researchr.org/alias/eric-aderhold"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1542476.1542516"
  links:
    doi: "http://doi.acm.org/10.1145/1542476.1542516"
  tags:
  - "analysis"
  - "static analysis"
  researchr: "https://researchr.org/publication/RavitchJAL09"
  cites: 0
  citedby: 0
  pages: "352-362"
  booktitle: "Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009"
  editor:
  - name: "Michael Hind"
    link: "https://researchr.org/alias/michael-hind"
  - name: "Amer Diwan"
    link: "https://researchr.org/alias/amer-diwan"
  publisher: "ACM"
  isbn: "978-1-60558-392-1"
  kind: "inproceedings"
  key: "RavitchJAL09"
- title: "Fixing, preventing, and recovering from concurrency bugs"
  author:
  - name: "Dongdong Deng"
    link: "https://researchr.org/alias/dongdong-deng"
  - name: "Guoliang Jin"
    link: "https://researchr.org/alias/guoliang-jin"
  - name: "Marc de Kruijf"
    link: "https://researchr.org/alias/marc-de-kruijf"
  - name: "Ang Li"
    link: "https://researchr.org/alias/ang-li"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Shan Lu"
    link: "https://researchr.org/alias/shan-lu"
  - name: "Shanxiang Qi"
    link: "https://researchr.org/alias/shanxiang-qi"
  - name: "Jinglei Ren"
    link: "https://researchr.org/alias/jinglei-ren"
  - name: "Karthikeyan Sankaralingam"
    link: "https://researchr.org/alias/karthikeyan-sankaralingam"
  - name: "Linhai Song"
    link: "https://researchr.org/alias/linhai-song"
  - name: "Yongwei Wu"
    link: "https://researchr.org/alias/yongwei-wu"
  - name: "Mingxing Zhang"
    link: "https://researchr.org/alias/mingxing-zhang"
  - name: "Wei Zhang 0022"
    link: "https://researchr.org/alias/wei-zhang-0022"
  - name: "Weimin Zheng"
    link: "https://researchr.org/alias/weimin-zheng"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/s11432-015-5315-9"
  links:
    doi: "http://dx.doi.org/10.1007/s11432-015-5315-9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/chinaf/DengJKLLLQRSSWZ15"
  researchr: "https://researchr.org/publication/DengJKLLLQRSSWZ15"
  cites: 0
  citedby: 0
  journal: "Science in China Series F: Information Sciences"
  volume: "58"
  number: "5"
  pages: "1-18"
  kind: "article"
  key: "DengJKLLLQRSSWZ15"
- title: "Path Optimization in Programs and Its Application to Debugging"
  author:
  - name: "Akash Lal"
    link: "https://researchr.org/alias/akash-lal"
  - name: "Junghee Lim"
    link: "https://researchr.org/alias/junghee-lim"
  - name: "Marina Polishchuk"
    link: "https://researchr.org/alias/marina-polishchuk"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11693024_17"
  links:
    doi: "http://dx.doi.org/10.1007/11693024_17"
  tags:
  - "optimization"
  - "debugging"
  - "program optimization"
  researchr: "https://researchr.org/publication/LalLPL06"
  cites: 0
  citedby: 0
  pages: "246-263"
  booktitle: "Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings"
  editor:
  - name: "Peter Sestoft"
    link: "https://researchr.org/alias/peter-sestoft"
  volume: "3924"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33095-X"
  kind: "inproceedings"
  key: "LalLPL06"
- title: "Titanium: A High-performance Java Dialect"
  author:
  - name: "Katherine A. Yelick"
    link: "https://researchr.org/alias/katherine-a.-yelick"
  - name: "Luigi Semenzato"
    link: "https://researchr.org/alias/luigi-semenzato"
  - name: "Geoff Pike"
    link: "https://researchr.org/alias/geoff-pike"
  - name: "Carleton Miyamoto"
    link: "https://researchr.org/alias/carleton-miyamoto"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Arvind Krishnamurthy"
    link: "https://researchr.org/alias/arvind-krishnamurthy"
  - name: "Paul N. Hilfinger"
    link: "https://researchr.org/alias/paul-n.-hilfinger"
  - name: "Susan L. Graham"
    link: "https://researchr.org/alias/susan-l.-graham"
  - name: "David Gay"
    link: "https://researchr.org/alias/david-gay"
  - name: "Phillip Colella"
    link: "https://researchr.org/alias/phillip-colella"
  - name: "Alexander Aiken"
    link: "https://researchr.org/alias/alexander-aiken"
  year: "1998"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/YelickSPMLKHGGCA98"
  cites: 0
  citedby: 0
  journal: "Concurrency - Practice and Experience"
  volume: "10"
  number: "11-13"
  pages: "825-836"
  kind: "article"
  key: "YelickSPMLKHGGCA98"
- title: "Array length inference for C library bindings"
  author:
  - name: "Alisa J. Maas"
    link: "https://researchr.org/alias/alisa-j.-maas"
  - name: "Henrique Nazaré"
    link: "https://researchr.org/alias/henrique-nazar%C3%A9"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2970276.2970310"
  links:
    doi: "http://doi.acm.org/10.1145/2970276.2970310"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/MaasNL16"
  researchr: "https://researchr.org/publication/MaasNL16"
  cites: 0
  citedby: 0
  pages: "461-471"
  booktitle: "Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering"
  editor:
  - name: "David Lo"
    link: "https://researchr.org/alias/david-lo"
  - name: "Sven Apel"
    link: "https://researchr.org/alias/sven-apel"
  - name: "Sarfraz Khurshid"
    link: "https://researchr.org/alias/sarfraz-khurshid"
  publisher: "ACM"
  isbn: "978-1-4503-3845-5"
  kind: "inproceedings"
  key: "MaasNL16"
- title: "Reflections on the Role of Static Analysis in Cooperative Bug Isolation"
  author:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69166-2_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69166-2_2"
  tags:
  - "analysis"
  - "static analysis"
  - "reflection"
  researchr: "https://researchr.org/publication/Liblit08%3A0"
  cites: 0
  citedby: 0
  pages: "18-31"
  booktitle: "Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings"
  editor:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  volume: "5079"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69163-1"
  kind: "inproceedings"
  key: "Liblit08:0"
- title: "WODA 2008: the sixth international workshop on dynamic analysis"
  author:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Atanas Rountev"
    link: "https://researchr.org/alias/atanas-rountev"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1390630.1390671"
  links:
    doi: "http://doi.acm.org/10.1145/1390630.1390671"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/LiblitR08"
  cites: 0
  citedby: 0
  pages: "313-314"
  booktitle: "Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008"
  editor:
  - name: "Barbara G. Ryder"
    link: "https://researchr.org/alias/barbara-g.-ryder"
  - name: "Andreas Zeller"
    link: "https://researchr.org/alias/andreas-zeller"
  publisher: "ACM"
  isbn: "978-1-60558-050-0"
  kind: "inproceedings"
  key: "LiblitR08"
- title: "Analyzing memory ownership patterns in C libraries"
  author:
  - name: "Tristan Ravitch"
    link: "https://researchr.org/alias/tristan-ravitch"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2464157.2464162"
  links:
    doi: "http://doi.acm.org/10.1145/2464157.2464162"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iwmm/RavitchL13"
  researchr: "https://researchr.org/publication/RavitchL13"
  cites: 0
  citedby: 0
  pages: "97-108"
  booktitle: "International Symposium on Memory Management, ISMM '13, Seattle, WA, USA - June 20 - 20, 2013"
  editor:
  - name: "Perry Cheng"
    link: "https://researchr.org/alias/perry-cheng"
  - name: "Erez Petrank"
    link: "https://researchr.org/alias/erez-petrank"
  publisher: "ACM"
  isbn: "978-1-4503-2100-6"
  kind: "inproceedings"
  key: "RavitchL13"
- title: "Lightweight control-flow instrumentation and postmortem analysis in support of debugging"
  author:
  - name: "Peter Ohmann"
    link: "https://researchr.org/alias/peter-ohmann"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/ASE.2013.6693096"
  links:
    doi: "http://dx.doi.org/10.1109/ASE.2013.6693096"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/OhmannL13"
  researchr: "https://researchr.org/publication/OhmannL13"
  cites: 0
  citedby: 0
  pages: "378-388"
  booktitle: "2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "OhmannL13"
- title: "Statistical Debugging Using Latent Topic Models"
  author:
  - name: "David Andrzejewski"
    link: "https://researchr.org/alias/david-andrzejewski"
  - name: "Anne Mulhern"
    link: "https://researchr.org/alias/anne-mulhern"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Xiaojin Zhu"
    link: "https://researchr.org/alias/xiaojin-zhu"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74958-5_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74958-5_5"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/AndrzejewskiMLZ07"
  cites: 0
  citedby: 0
  pages: "6-17"
  booktitle: "Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings"
  editor:
  - name: "Joost N. Kok"
    link: "https://researchr.org/alias/joost-n.-kok"
  - name: "Jacek Koronacki"
    link: "https://researchr.org/alias/jacek-koronacki"
  - name: "Ramon López de Mántaras"
    link: "https://researchr.org/alias/ramon-l%C3%B3pez-de-m%C3%A1ntaras"
  - name: "Stan Matwin"
    link: "https://researchr.org/alias/stan-matwin"
  - name: "Dunja Mladenic"
    link: "https://researchr.org/alias/dunja-mladenic"
  - name: "Andrzej Skowron"
    link: "https://researchr.org/alias/andrzej-skowron"
  volume: "4701"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74957-8"
  kind: "inproceedings"
  key: "AndrzejewskiMLZ07"
- title: "Cooperative bug isolation"
  author:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71878-9"
  note: "http://d-nb.info/985363576"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-71878-9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/phd/us/Liblit2007"
  researchr: "https://researchr.org/publication/us-3"
  cites: 0
  citedby: 0
  school: "University of California, Berkeley"
  kind: "phdthesis"
  key: "us-3"
- title: "Tool Support for Proof Engineering"
  author:
  - name: "Anne Mulhern"
    link: "https://researchr.org/alias/anne-mulhern"
  - name: "Charles Fischer"
    link: "https://researchr.org/alias/charles-fischer"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.09.023"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.09.023"
  researchr: "https://researchr.org/publication/MulhernFL07"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "174"
  number: "2"
  pages: "75-86"
  kind: "article"
  key: "MulhernFL07"
- title: "A router primitive approach for building diverse network services"
  author:
  - name: "Joel Sommers"
    link: "https://researchr.org/alias/joel-sommers"
  - name: "Paul Barford"
    link: "https://researchr.org/alias/paul-barford"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2012"
  doi: "http://dx.doi.org/10.1109/COMSNETS.2012.6151319"
  links:
    doi: "http://dx.doi.org/10.1109/COMSNETS.2012.6151319"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/comsnets/SommersBL12"
  researchr: "https://researchr.org/publication/SommersBL12"
  cites: 0
  citedby: 0
  pages: "1-10"
  booktitle: "Fourth International Conference on Communication Systems and Networks, COMSNETS 2012, Bangalore, India, January 3-7, 2012"
  editor:
  - name: "K. K. Ramakrishnan"
    link: "https://researchr.org/alias/k.-k.-ramakrishnan"
  - name: "Rajeev Shorey"
    link: "https://researchr.org/alias/rajeev-shorey"
  - name: "Donald F. Towsley"
    link: "https://researchr.org/alias/donald-f.-towsley"
  publisher: "IEEE"
  isbn: "978-1-4673-0296-8"
  kind: "inproceedings"
  key: "SommersBL12"
- title: "Supporting nested transactional memory in logTM"
  author:
  - name: "Michelle J. Moravan"
    link: "https://researchr.org/alias/michelle-j.-moravan"
  - name: "Jayaram Bobba"
    link: "https://researchr.org/alias/jayaram-bobba"
  - name: "Kevin E. Moore"
    link: "https://researchr.org/alias/kevin-e.-moore"
  - name: "Luke Yen"
    link: "https://researchr.org/alias/luke-yen"
  - name: "Mark D. Hill"
    link: "https://researchr.org/alias/mark-d.-hill"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Michael M. Swift"
    link: "https://researchr.org/alias/michael-m.-swift"
  - name: "David A. Wood"
    link: "https://researchr.org/alias/david-a.-wood"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1168857.1168902"
  links:
    doi: "http://doi.acm.org/10.1145/1168857.1168902"
  researchr: "https://researchr.org/publication/MoravanBMYHLSW06"
  cites: 0
  citedby: 0
  pages: "359-370"
  booktitle: "Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006"
  editor:
  - name: "John Paul Shen"
    link: "https://researchr.org/alias/john-paul-shen"
  - name: "Margaret Martonosi"
    link: "https://researchr.org/alias/margaret-martonosi"
  publisher: "ACM"
  isbn: "1-59593-451-0"
  kind: "inproceedings"
  key: "MoravanBMYHLSW06"
- title: "Titanium: A High Performance Java Dialect"
  author:
  - name: "Arvind Krishnamurthy"
    link: "https://researchr.org/alias/arvind-krishnamurthy"
  - name: "Alexander Aiken"
    link: "https://researchr.org/alias/alexander-aiken"
  - name: "Phillip Colella"
    link: "https://researchr.org/alias/phillip-colella"
  - name: "David Gay"
    link: "https://researchr.org/alias/david-gay"
  - name: "Susan L. Graham"
    link: "https://researchr.org/alias/susan-l.-graham"
  - name: "Paul N. Hilfinger"
    link: "https://researchr.org/alias/paul-n.-hilfinger"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Carleton Miyamoto"
    link: "https://researchr.org/alias/carleton-miyamoto"
  - name: "Geoff Pike"
    link: "https://researchr.org/alias/geoff-pike"
  - name: "Luigi Semenzato"
    link: "https://researchr.org/alias/luigi-semenzato"
  - name: "Katherine A. Yelick"
    link: "https://researchr.org/alias/katherine-a.-yelick"
  year: "1999"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/KrishnamurthyACGGHLMPSY99"
  cites: 0
  citedby: 0
  booktitle: "PPSC"
  kind: "inproceedings"
  key: "KrishnamurthyACGGHLMPSY99"
- title: "Cooperative debugging with five hundred million test cases"
  author:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1390630.1390632"
  links:
    doi: "http://doi.acm.org/10.1145/1390630.1390632"
  tags:
  - "testing"
  - "debugging"
  researchr: "https://researchr.org/publication/Liblit08"
  cites: 0
  citedby: 0
  pages: "119-120"
  booktitle: "Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008"
  editor:
  - name: "Barbara G. Ryder"
    link: "https://researchr.org/alias/barbara-g.-ryder"
  - name: "Andreas Zeller"
    link: "https://researchr.org/alias/andreas-zeller"
  publisher: "ACM"
  isbn: "978-1-60558-050-0"
  kind: "inproceedings"
  key: "Liblit08"
- title: "Scalable statistical bug isolation"
  author:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Mayur Naik"
    link: "https://researchr.org/alias/mayur-naik"
  - name: "Alice X. Zheng"
    link: "https://researchr.org/alias/alice-x.-zheng"
  - name: "Alexander Aiken"
    link: "https://researchr.org/alias/alexander-aiken"
  - name: "Michael I. Jordan"
    link: "https://researchr.org/alias/michael-i.-jordan"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1065010.1065014"
  abstract: "We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying predictors that correlate with program failure perform poorly when there are multiple bugs. Our new technique separates the effects of different bugs and identifies predictors that are associated with individual bugs. These predictors reveal both the circumstances under which bugs occur as well as the frequencies of failure modes, making it easier to prioritize debugging efforts. Our algorithm is validated using several case studies, including examples in which the algorithm identified previously unknown, significant crashing bugs in widely used systems. "
  links:
    doi: "http://doi.acm.org/10.1145/1065010.1065014"
  tags:
  - "case study"
  - "debugging"
  researchr: "https://researchr.org/publication/LiblitNZAJ05"
  cites: 0
  citedby: 0
  pages: "15-26"
  booktitle: "Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005"
  editor:
  - name: "Vivek Sarkar"
    link: "https://researchr.org/alias/vivek-sarkar"
  - name: "Mary W. Hall"
    link: "https://researchr.org/alias/mary-w.-hall"
  publisher: "ACM"
  isbn: "1-59593-056-6"
  kind: "inproceedings"
  key: "LiblitNZAJ05"
- title: "Better Debugging via Output Tracing and Callstack-Sensitive Slicing"
  author:
  - name: "Susan Horwitz"
    link: "https://researchr.org/alias/susan-horwitz"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Marina Polishchuk"
    link: "https://researchr.org/alias/marina-polishchuk"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2009.66"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2009.66"
  tags:
  - "slicing"
  - "debugging"
  researchr: "https://researchr.org/publication/HorwitzLP10"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "36"
  number: "1"
  pages: "7-19"
  kind: "article"
  key: "HorwitzLP10"
- title: "Optimizing customized program coverage"
  author:
  - name: "Peter Ohmann"
    link: "https://researchr.org/alias/peter-ohmann"
  - name: "David Bingham Brown"
    link: "https://researchr.org/alias/david-bingham-brown"
  - name: "Naveen Neelakandan"
    link: "https://researchr.org/alias/naveen-neelakandan"
  - name: "Jeff Linderoth"
    link: "https://researchr.org/alias/jeff-linderoth"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2970276.2970351"
  links:
    doi: "http://doi.acm.org/10.1145/2970276.2970351"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/OhmannBNLL16"
  researchr: "https://researchr.org/publication/OhmannBNLL16"
  cites: 0
  citedby: 0
  pages: "27-38"
  booktitle: "Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering"
  editor:
  - name: "David Lo"
    link: "https://researchr.org/alias/david-lo"
  - name: "Sven Apel"
    link: "https://researchr.org/alias/sven-apel"
  - name: "Sarfraz Khurshid"
    link: "https://researchr.org/alias/sarfraz-khurshid"
  publisher: "ACM"
  isbn: "978-1-4503-3845-5"
  kind: "inproceedings"
  key: "OhmannBNLL16"
- title: "Extracting Output Formats from Executables"
  author:
  - name: "Junghee Lim"
    link: "https://researchr.org/alias/junghee-lim"
  - name: "Thomas W. Reps"
    link: "http://pages.cs.wisc.edu/~reps/"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.29"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.29"
  researchr: "https://researchr.org/publication/LimRL06"
  cites: 0
  citedby: 0
  pages: "167-178"
  booktitle: "13th Working Conference on Reverse Engineering (WCRE 2006), 23-27 October 2006, Benevento, Italy"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2719-1"
  kind: "inproceedings"
  key: "LimRL06"
- title: "Estimating the Impact of Scalable Pointer Analysis on Optimization"
  author:
  - name: "Manuvir Das"
    link: "https://researchr.org/alias/manuvir-das"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Manuel Fähndrich"
    link: "https://researchr.org/alias/manuel-f%C3%A4hndrich"
  - name: "Jakob Rehof"
    link: "https://researchr.org/alias/jakob-rehof"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2126/21260260.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2126/21260260.htm"
  tags:
  - "optimization"
  - "analysis"
  researchr: "https://researchr.org/publication/DasLFR01"
  cites: 0
  citedby: 0
  pages: "260-278"
  booktitle: "Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings"
  editor:
  - name: "Patrick Cousot"
    link: "https://researchr.org/alias/patrick-cousot"
  volume: "2126"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42314-1"
  kind: "inproceedings"
  key: "DasLFR01"
- title: "Type Systems for Distributed Data Sharing"
  author:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Alexander Aiken"
    link: "https://researchr.org/alias/alexander-aiken"
  - name: "Katherine A. Yelick"
    link: "https://researchr.org/alias/katherine-a.-yelick"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2694/26940273.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2694/26940273.htm"
  tags:
  - "type system"
  - "data-flow"
  researchr: "https://researchr.org/publication/LiblitAY03"
  cites: 0
  citedby: 0
  pages: "273-294"
  booktitle: "Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings"
  editor:
  - name: "Radhia Cousot"
    link: "https://researchr.org/alias/radhia-cousot"
  volume: "2694"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40325-6"
  kind: "inproceedings"
  key: "LiblitAY03"
- title: "Enforcing Murphy's Law for Advance Identification of Run-time Failures"
  author:
  - name: "Zach Miller"
    link: "https://researchr.org/alias/zach-miller"
  - name: "Todd Tannenbaum"
    link: "https://researchr.org/alias/todd-tannenbaum"
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  year: "2012"
  doi: "https://www.usenix.org/conference/atc12/technical-sessions/presentation/miller"
  links:
    doi: "https://www.usenix.org/conference/atc12/technical-sessions/presentation/miller"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/usenix/MillerTL12"
  researchr: "https://researchr.org/publication/MillerTL12"
  cites: 0
  citedby: 0
  pages: "203-208"
  booktitle: "2012 USENIX Annual Technical Conference, Boston, MA, USA, June 13-15, 2012"
  editor:
  - name: "Gernot Heiser"
    link: "https://researchr.org/alias/gernot-heiser"
  - name: "Wilson C. Hsieh"
    link: "https://researchr.org/alias/wilson-c.-hsieh"
  publisher: "USENIX Association"
  kind: "inproceedings"
  key: "MillerTL12"
- title: "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"
  year: "2009"
  doi: "http://dl.acm.org/citation.cfm?id=2134243"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=2134243"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/issta/2009w"
  researchr: "https://researchr.org/publication/issta-2009w"
  cites: 0
  citedby: 0
  booktitle: "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"
  conference: "ISSTA"
  editor:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Andy Podgurski"
    link: "https://researchr.org/alias/andy-podgurski"
  isbn: "978-1-60558-656-4"
  kind: "proceedings"
  key: "issta-2009w"
- title: "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"
  year: "2008"
  tags:
  - "testing"
  - "analysis"
  researchr: "https://researchr.org/publication/issta%3A2008w"
  cites: 0
  citedby: 0
  booktitle: "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"
  conference: "ISSTA"
  editor:
  - name: "Ben Liblit"
    link: "http://pages.cs.wisc.edu/~liblit/"
  - name: "Atanas Rountev"
    link: "https://researchr.org/alias/atanas-rountev"
  publisher: "ACM"
  isbn: "978-1-60558-054-8"
  kind: "proceedings"
  key: "issta:2008w"