2008 |
23 | | Ben Liblit,
Atanas Rountev:
Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008
ACM 2008 |
22 | EE | Haryadi S. Gunawi,
Cindy Rubio-González,
Andrea C. Arpaci-Dusseau,
Remzi H. Arpaci-Dusseau,
Ben Liblit:
EIO: Error Handling is Occasionally Correct.
FAST 2008: 207-222 |
21 | EE | Ben Liblit:
Cooperative debugging with five hundred million test cases.
ISSTA 2008: 119-120 |
20 | EE | Ben Liblit,
Atanas Rountev:
WODA 2008: the sixth international workshop on dynamic analysis.
ISSTA 2008: 313-314 |
19 | EE | Ben Liblit:
Reflections on the Role of Static Analysis in Cooperative Bug Isolation.
SAS 2008: 18-31 |
18 | EE | Gregory L. Lee,
Dong H. Ahn,
Dorian C. Arnold,
Bronis R. de Supinski,
Matthew Legendre,
Barton P. Miller,
Martin Schulz,
Ben Liblit:
Lessons learned at 208K: towards debugging millions of cores.
SC 2008: 26 |
2007 |
17 | | Ben Liblit:
Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition).
Springer 2007 |
16 | EE | David Andrzejewski,
Anne Mulhern,
Ben Liblit,
Xiaojin Zhu:
Statistical Debugging Using Latent Topic Models.
ECML 2007: 6-17 |
15 | EE | Piramanayagam Arumuga Nainar,
Ting Chen,
Jake Rosin,
Ben Liblit:
Statistical debugging using compound boolean predicates.
ISSTA 2007: 5-15 |
14 | EE | Marina Polishchuk,
Ben Liblit,
Chloë W. Schulze:
Dynamic heap type inference for program understanding and debugging.
POPL 2007: 39-46 |
13 | EE | Anne Mulhern,
Charles Fischer,
Ben Liblit:
Tool Support for Proof Engineering.
Electr. Notes Theor. Comput. Sci. 174(2): 75-86 (2007) |
2006 |
12 | EE | Michelle J. Moravan,
Jayaram Bobba,
Kevin E. Moore,
Luke Yen,
Mark D. Hill,
Ben Liblit,
Michael M. Swift,
David A. Wood:
Supporting nested transactional memory in logTM.
ASPLOS 2006: 359-370 |
11 | EE | Akash Lal,
Junghee Lim,
Marina Polishchuk,
Ben Liblit:
Path Optimization in Programs and Its Application to Debugging.
ESOP 2006: 246-263 |
10 | EE | Alice X. Zheng,
Michael I. Jordan,
Ben Liblit,
Mayur Naik,
Alex Aiken:
Statistical debugging: simultaneous identification of multiple bugs.
ICML 2006: 1105-1112 |
9 | EE | Junghee Lim,
Thomas W. Reps,
Ben Liblit:
Extracting Output Formats from Executables.
WCRE 2006: 167-178 |
2005 |
8 | EE | Ben Liblit,
Mayur Naik,
Alice X. Zheng,
Alexander Aiken,
Michael I. Jordan:
Scalable statistical bug isolation.
PLDI 2005: 15-26 |
2003 |
7 | EE | Alice X. Zheng,
Michael I. Jordan,
Ben Liblit,
Alexander Aiken:
Statistical Debugging of Sampled Programs.
NIPS 2003 |
6 | EE | Ben Liblit,
Alexander Aiken,
Alice X. Zheng,
Michael I. Jordan:
Bug isolation via remote program sampling.
PLDI 2003: 141-154 |
5 | EE | Ben Liblit,
Alexander Aiken,
Katherine A. Yelick:
Type Systems for Distributed Data Sharing.
SAS 2003: 273-294 |
2001 |
4 | EE | Manuvir Das,
Ben Liblit,
Manuel Fähndrich,
Jakob Rehof:
Estimating the Impact of Scalable Pointer Analysis on Optimization.
SAS 2001: 260-278 |
2000 |
3 | EE | Ben Liblit,
Alexander Aiken:
Type Systems for Distributed Data Structures.
POPL 2000: 199-213 |
1999 |
2 | | Arvind Krishnamurthy,
Alexander Aiken,
Phillip Colella,
David Gay,
Susan L. Graham,
Paul N. Hilfinger,
Ben Liblit,
Carleton Miyamoto,
Geoff Pike,
Luigi Semenzato,
Katherine A. Yelick:
Titanium: A High Performance Java Dialect.
PPSC 1999 |
1998 |
1 | | Katherine A. Yelick,
Luigi Semenzato,
Geoff Pike,
Carleton Miyamoto,
Ben Liblit,
Arvind Krishnamurthy,
Paul N. Hilfinger,
Susan L. Graham,
David Gay,
Phillip Colella,
Alexander Aiken:
Titanium: A High-performance Java Dialect.
Concurrency - Practice and Experience 10(11-13): 825-836 (1998) |