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: "ICSE"
  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: "PLDI"
  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: "FAST"
  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: "ISSTA"
  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: "PASTE"
  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: "sc"
  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: "OOPSLA"
  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: "OOPSLA"
  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: "ISSTA"
  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: "PLDI"
  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: "icml"
  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: "PLDI"
  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: "nips"
  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: "eclipse"
  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: "hvc"
  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: "sc"
  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: "ISSTA"
  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: "ICSE"
  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: "ICSE"
  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: "POPL"
  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: "PLDI"
  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: "chinaf"
  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: "ESOP"
  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"
  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: "ASE"
  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: "SAS"
  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: "ISSTA"
  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: "iwmm"
  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: "ASE"
  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: "ecml"
  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"
  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: "ENTCS"
  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: "comsnets"
  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: "asplos"
  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: "ISSTA"
  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: "PLDI"
  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: "TSE"
  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: "ASE"
  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: "WCRE"
  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: "SAS"
  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: "SAS"
  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: "usenix"
  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"