@inproceedings{NainarL10,
  title = {Adaptive bug isolation},
  author = {Piramanayagam Arumuga Nainar and Ben Liblit},
  year = {2010},
  doi = {10.1145/1806799.1806839},
  url = {http://doi.acm.org/10.1145/1806799.1806839},
  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},
}

@inproceedings{LiblitAZJ03,
  title = {Bug isolation via remote program sampling},
  author = {Ben Liblit and Alexander Aiken and Alice X. Zheng and Michael I. Jordan},
  year = {2003},
  doi = {10.1145/781131.781148},
  url = {http://doi.acm.org/10.1145/781131.781148},
  researchr = {https://researchr.org/publication/LiblitAZJ03},
  cites = {0},
  citedby = {0},
  pages = {141-154},
  booktitle = {PLDI},
}

@inproceedings{GunawiRAAL08,
  title = {EIO: Error Handling is Occasionally Correct},
  author = {Haryadi S. Gunawi and Cindy Rubio-González and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau and Ben Liblit},
  year = {2008},
  url = {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},
}

@inproceedings{ThakurSLL09,
  title = {Cooperative crug isolation},
  author = {Aditya V. Thakur and Rathijit Sen and Ben Liblit and Shan Lu},
  year = {2009},
  doi = {10.1145/2134243.2134252},
  url = {http://doi.acm.org/10.1145/2134243.2134252},
  researchr = {https://researchr.org/publication/ThakurSLL09},
  cites = {0},
  citedby = {0},
  pages = {35-41},
  booktitle = {ISSTA},
}

@inproceedings{Rubio-GonzalezL10,
  title = {Expect the unexpected: error code mismatches between documentation and the real world},
  author = {Cindy Rubio-González and Ben Liblit},
  year = {2010},
  doi = {10.1145/1806672.1806687},
  url = {http://doi.acm.org/10.1145/1806672.1806687},
  researchr = {https://researchr.org/publication/Rubio-GonzalezL10},
  cites = {0},
  citedby = {0},
  pages = {73-80},
  booktitle = {PASTE},
}

@inproceedings{AhnSLLLMS09,
  title = {Scalable temporal order analysis for large scale debugging},
  author = {Dong H. Ahn and Bronis R. de Supinski and Ignacio Laguna and Gregory L. Lee and Ben Liblit and Barton P. Miller and Martin Schulz},
  year = {2009},
  doi = {10.1145/1654059.1654104},
  url = {http://doi.acm.org/10.1145/1654059.1654104},
  tags = {analysis, debugging},
  researchr = {https://researchr.org/publication/AhnSLLLMS09},
  cites = {0},
  citedby = {0},
  booktitle = {sc},
}

@inproceedings{JinTLL10,
  title = {Instrumentation and sampling strategies for cooperative concurrency bug isolation},
  author = {Guoliang Jin and Aditya V. Thakur and Ben Liblit and Shan Lu},
  year = {2010},
  doi = {10.1145/1869459.1869481},
  url = {http://doi.acm.org/10.1145/1869459.1869481},
  researchr = {https://researchr.org/publication/JinTLL10},
  cites = {0},
  citedby = {0},
  pages = {241-255},
  booktitle = {OOPSLA},
}

@inproceedings{OhmannBLR15,
  title = {Recovering execution data from incomplete observations},
  author = {Peter Ohmann and David Bingham Brown and Ben Liblit and Thomas W. Reps},
  year = {2015},
  doi = {10.1145/2823363.2823368},
  url = {http://doi.acm.org/10.1145/2823363.2823368},
  researchr = {https://researchr.org/publication/OhmannBLR15},
  cites = {0},
  citedby = {0},
  pages = {19-24},
  booktitle = {OOPSLA},
}

@inproceedings{LiblitA00,
  title = {Type Systems for Distributed Data Structures},
  author = {Ben Liblit and Alexander Aiken},
  year = {2000},
  doi = {10.1145/325694.325717},
  url = {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},
}

@inproceedings{NainarCRL07,
  title = {Statistical debugging using compound boolean predicates},
  author = {Piramanayagam Arumuga Nainar and Ting Chen and Jake Rosin and Ben Liblit},
  year = {2007},
  doi = {10.1145/1273463.1273467},
  url = {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},
}

@inproceedings{JinSZLL11,
  title = {Automated atomicity-violation fixing},
  author = {Guoliang Jin and Linhai Song and Wei Zhang and Shan Lu and Ben Liblit},
  year = {2011},
  doi = {10.1145/1993498.1993544},
  url = {http://doi.acm.org/10.1145/1993498.1993544},
  researchr = {https://researchr.org/publication/JinSZLL11},
  cites = {0},
  citedby = {0},
  pages = {389-400},
  booktitle = {PLDI},
}

@inproceedings{ZhengJLNA06,
  title = {Statistical debugging: simultaneous identification of multiple bugs},
  author = {Alice X. Zheng and Michael I. Jordan and Ben Liblit and Mayur Naik and Alex Aiken},
  year = {2006},
  doi = {10.1145/1143844.1143983},
  url = {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},
}

@book{Liblit2007,
  title = {Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition)},
  author = {Ben 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},
}

@inproceedings{Rubio-GonzalezGLAA09,
  title = {Error propagation analysis for file systems},
  author = {Cindy Rubio-González and Haryadi S. Gunawi and Ben Liblit and Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau},
  year = {2009},
  doi = {10.1145/1542476.1542506},
  url = {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},
}

@inproceedings{ZhengJLA03,
  title = {Statistical Debugging of Sampled Programs},
  author = {Alice X. Zheng and Michael I. Jordan and Ben Liblit and Alexander Aiken},
  year = {2003},
  url = {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},
}

@inproceedings{OhmannL15,
  title = {CSIclipse: presenting crash analysis data to developers},
  author = {Peter Ohmann and Ben Liblit},
  year = {2015},
  doi = {10.1145/2846650.2846651},
  url = {http://doi.acm.org/10.1145/2846650.2846651},
  researchr = {https://researchr.org/publication/OhmannL15},
  cites = {0},
  citedby = {0},
  pages = {7-12},
  booktitle = {eclipse},
}

@inproceedings{Liblit11,
  title = {Automated Detection and Repair of Concurrency Bugs},
  author = {Ben Liblit},
  year = {2011},
  doi = {10.1007/978-3-642-34188-5_3},
  url = {http://dx.doi.org/10.1007/978-3-642-34188-5_3},
  researchr = {https://researchr.org/publication/Liblit11},
  cites = {0},
  citedby = {0},
  pages = {3},
  booktitle = {hvc},
}

@inproceedings{LeeAASLMSL08,
  title = {Lessons learned at 208K: towards debugging millions of cores},
  author = {Gregory L. Lee and Dong H. Ahn and Dorian C. Arnold and Bronis R. de Supinski and Matthew Legendre and Barton P. Miller and Martin Schulz and Ben Liblit},
  year = {2008},
  doi = {10.1145/1413370.1413397},
  url = {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},
}

@inproceedings{Rubio-GonzalezL11,
  title = {Defective error/pointer interactions in the Linux kernel},
  author = {Cindy Rubio-González and Ben Liblit},
  year = {2011},
  doi = {10.1145/2001420.2001434},
  url = {http://doi.acm.org/10.1145/2001420.2001434},
  researchr = {https://researchr.org/publication/Rubio-GonzalezL11},
  cites = {0},
  citedby = {0},
  pages = {111-121},
  booktitle = {ISSTA},
}

@inproceedings{ChilimbiLMNV09,
  title = {HOLMES: Effective statistical debugging via efficient path profiling},
  author = {Trishul M. Chilimbi and Ben Liblit and Krishna K. Mehra and Aditya V. Nori and Kapil Vaswani},
  year = {2009},
  doi = {10.1109/ICSE.2009.5070506},
  url = {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},
}

@inproceedings{WeissRL15,
  title = {Database-Backed Program Analysis for Scalable Error Propagation},
  author = {Cathrin Weiss and Cindy Rubio-González and Ben Liblit},
  year = {2015},
  doi = {10.1109/ICSE.2015.75},
  url = {http://dx.doi.org/10.1109/ICSE.2015.75},
  researchr = {https://researchr.org/publication/WeissRL15},
  cites = {0},
  citedby = {0},
  pages = {586-597},
  booktitle = {ICSE},
}

@inproceedings{PolishchukLS07,
  title = {Dynamic heap type inference for program understanding and debugging},
  author = {Marina Polishchuk and Ben Liblit and Chloë W. Schulze},
  year = {2007},
  doi = {10.1145/1190216.1190225},
  url = {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},
}

@inproceedings{RavitchJAL09,
  title = {Automatic generation of library bindings using static analysis},
  author = {Tristan Ravitch and Steve Jackson and Eric Aderhold and Ben Liblit},
  year = {2009},
  doi = {10.1145/1542476.1542516},
  url = {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},
}

@article{DengJKLLLQRSSWZ15,
  title = {Fixing, preventing, and recovering from concurrency bugs},
  author = {Dongdong Deng and Guoliang Jin and Marc de Kruijf and Ang Li and Ben Liblit and Shan Lu and Shanxiang Qi and Jinglei Ren and Karthikeyan Sankaralingam and Linhai Song and Yongwei Wu and Mingxing Zhang and Wei Zhang 0022 and Weimin Zheng},
  year = {2015},
  doi = {10.1007/s11432-015-5315-9},
  url = {http://dx.doi.org/10.1007/s11432-015-5315-9},
  researchr = {https://researchr.org/publication/DengJKLLLQRSSWZ15},
  cites = {0},
  citedby = {0},
  journal = {chinaf},
  volume = {58},
  number = {5},
  pages = {1-18},
}

@inproceedings{LalLPL06,
  title = {Path Optimization in Programs and Its Application to Debugging},
  author = {Akash Lal and Junghee Lim and Marina Polishchuk and Ben Liblit},
  year = {2006},
  doi = {10.1007/11693024_17},
  url = {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},
}

@article{YelickSPMLKHGGCA98,
  title = {Titanium: A High-performance Java Dialect},
  author = {Katherine A. Yelick and Luigi Semenzato and Geoff Pike and Carleton Miyamoto and Ben Liblit and Arvind Krishnamurthy and Paul N. Hilfinger and Susan L. Graham and David Gay and Phillip Colella and 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},
}

@inproceedings{MaasNL16,
  title = {Array length inference for C library bindings},
  author = {Alisa J. Maas and Henrique Nazaré and Ben Liblit},
  year = {2016},
  doi = {10.1145/2970276.2970310},
  url = {http://doi.acm.org/10.1145/2970276.2970310},
  researchr = {https://researchr.org/publication/MaasNL16},
  cites = {0},
  citedby = {0},
  pages = {461-471},
  booktitle = {ASE},
}

@inproceedings{Liblit08:0,
  title = {Reflections on the Role of Static Analysis in Cooperative Bug Isolation},
  author = {Ben Liblit},
  year = {2008},
  doi = {10.1007/978-3-540-69166-2_2},
  url = {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},
}

@inproceedings{LiblitR08,
  title = {WODA 2008: the sixth international workshop on dynamic analysis},
  author = {Ben Liblit and Atanas Rountev},
  year = {2008},
  doi = {10.1145/1390630.1390671},
  url = {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},
}

@inproceedings{RavitchL13,
  title = {Analyzing memory ownership patterns in C libraries},
  author = {Tristan Ravitch and Ben Liblit},
  year = {2013},
  doi = {10.1145/2464157.2464162},
  url = {http://doi.acm.org/10.1145/2464157.2464162},
  researchr = {https://researchr.org/publication/RavitchL13},
  cites = {0},
  citedby = {0},
  pages = {97-108},
  booktitle = {iwmm},
}

@inproceedings{OhmannL13,
  title = {Lightweight control-flow instrumentation and postmortem analysis in support of debugging},
  author = {Peter Ohmann and Ben Liblit},
  year = {2013},
  doi = {10.1109/ASE.2013.6693096},
  url = {http://dx.doi.org/10.1109/ASE.2013.6693096},
  researchr = {https://researchr.org/publication/OhmannL13},
  cites = {0},
  citedby = {0},
  pages = {378-388},
  booktitle = {ASE},
}

@inproceedings{AndrzejewskiMLZ07,
  title = {Statistical Debugging Using Latent Topic Models},
  author = {David Andrzejewski and Anne Mulhern and Ben Liblit and Xiaojin Zhu},
  year = {2007},
  doi = {10.1007/978-3-540-74958-5_5},
  url = {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},
}

@phdthesis{us-3,
  title = {Cooperative bug isolation},
  author = {Ben Liblit},
  year = {2007},
  doi = {10.1007/978-3-540-71878-9},
  url = {http://dx.doi.org/10.1007/978-3-540-71878-9},
  note = {http://d-nb.info/985363576},
  researchr = {https://researchr.org/publication/us-3},
  cites = {0},
  citedby = {0},
  school = {University of California, Berkeley},
}

@article{MulhernFL07,
  title = {Tool Support for Proof Engineering},
  author = {Anne Mulhern and Charles Fischer and Ben Liblit},
  year = {2007},
  doi = {10.1016/j.entcs.2006.09.023},
  url = {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},
}

@inproceedings{SommersBL12,
  title = {A router primitive approach for building diverse network services},
  author = {Joel Sommers and Paul Barford and Ben Liblit},
  year = {2012},
  doi = {10.1109/COMSNETS.2012.6151319},
  url = {http://dx.doi.org/10.1109/COMSNETS.2012.6151319},
  researchr = {https://researchr.org/publication/SommersBL12},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {comsnets},
}

@inproceedings{MoravanBMYHLSW06,
  title = {Supporting nested transactional memory in logTM},
  author = {Michelle J. Moravan and Jayaram Bobba and Kevin E. Moore and Luke Yen and Mark D. Hill and Ben Liblit and Michael M. Swift and David A. Wood},
  year = {2006},
  doi = {10.1145/1168857.1168902},
  url = {http://doi.acm.org/10.1145/1168857.1168902},
  researchr = {https://researchr.org/publication/MoravanBMYHLSW06},
  cites = {0},
  citedby = {0},
  pages = {359-370},
  booktitle = {asplos},
}

@inproceedings{KrishnamurthyACGGHLMPSY99,
  title = {Titanium: A High Performance Java Dialect},
  author = {Arvind Krishnamurthy and Alexander Aiken and Phillip Colella and David Gay and Susan L. Graham and Paul N. Hilfinger and Ben Liblit and Carleton Miyamoto and Geoff Pike and Luigi Semenzato and Katherine A. Yelick},
  year = {1999},
  tags = {Java},
  researchr = {https://researchr.org/publication/KrishnamurthyACGGHLMPSY99},
  cites = {0},
  citedby = {0},
  booktitle = {ppsc},
}

@inproceedings{Liblit08,
  title = {Cooperative debugging with five hundred million test cases},
  author = {Ben Liblit},
  year = {2008},
  doi = {10.1145/1390630.1390632},
  url = {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},
}

@inproceedings{LiblitNZAJ05,
  title = {Scalable statistical bug isolation},
  author = {Ben Liblit and Mayur Naik and Alice X. Zheng and Alexander Aiken and Michael I. Jordan},
  year = {2005},
  doi = {10.1145/1065010.1065014},
  url = {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},
}

@article{HorwitzLP10,
  title = {Better Debugging via Output Tracing and Callstack-Sensitive Slicing},
  author = {Susan Horwitz and Ben Liblit and Marina Polishchuk},
  year = {2010},
  doi = {10.1109/TSE.2009.66},
  url = {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},
}

@inproceedings{OhmannBNLL16,
  title = {Optimizing customized program coverage},
  author = {Peter Ohmann and David Bingham Brown and Naveen Neelakandan and Jeff Linderoth and Ben Liblit},
  year = {2016},
  doi = {10.1145/2970276.2970351},
  url = {http://doi.acm.org/10.1145/2970276.2970351},
  researchr = {https://researchr.org/publication/OhmannBNLL16},
  cites = {0},
  citedby = {0},
  pages = {27-38},
  booktitle = {ASE},
}

@inproceedings{LimRL06,
  title = {Extracting Output Formats from Executables},
  author = {Junghee Lim and Thomas W. Reps and Ben Liblit},
  year = {2006},
  doi = {10.1109/WCRE.2006.29},
  url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2006.29},
  researchr = {https://researchr.org/publication/LimRL06},
  cites = {0},
  citedby = {0},
  pages = {167-178},
  booktitle = {WCRE},
}

@inproceedings{DasLFR01,
  title = {Estimating the Impact of Scalable Pointer Analysis on Optimization},
  author = {Manuvir Das and Ben Liblit and Manuel Fähndrich and Jakob Rehof},
  year = {2001},
  url = {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},
}

@inproceedings{LiblitAY03,
  title = {Type Systems for Distributed Data Sharing},
  author = {Ben Liblit and Alexander Aiken and Katherine A. Yelick},
  year = {2003},
  url = {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},
}

@inproceedings{MillerTL12,
  title = {Enforcing Murphy's Law for Advance Identification of Run-time Failures},
  author = {Zach Miller and Todd Tannenbaum and Ben Liblit},
  year = {2012},
  url = {https://www.usenix.org/conference/atc12/technical-sessions/presentation/miller},
  researchr = {https://researchr.org/publication/MillerTL12},
  cites = {0},
  citedby = {0},
  pages = {203-208},
  booktitle = {usenix},
}
@proceedings{issta-2009w,
  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},
  url = {http://dl.acm.org/citation.cfm?id=2134243},
  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 = {Ben Liblit and Andy Podgurski},
  isbn = {978-1-60558-656-4},
}

@proceedings{issta:2008w,
  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 = {Ben Liblit and Atanas Rountev},
  publisher = {ACM},
  isbn = {978-1-60558-054-8},
}