Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ben Liblit" ( http://dblp.L3S.de/Authors/Ben_Liblit )

URL (Homepage):  http://www.cs.wisc.edu/%7Eliblit/  Author page on DBLP  Author page in RDF  Community of Ben Liblit in ASPL-2

Publication years (Num. hits)
1998-2007 (18) 2008-2011 (16) 2012 (1)
Publication types (Num. hits)
article(3) book(1) inproceedings(29) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
PLDI(5) ISSTA(4) SAS(3) ICSE(2) POPL(2) SC(2) ASPLOS(1) COMSNETS(1) Concurrency - Practice and Exp...(1) ECML(1) Electr. Notes Theor. Comput. S...(1) ESOP(1) FAST(1) ICML(1) IEEE Trans. Software Eng.(1) NIPS(1) More (+10 of total 21)
Authors
Ben Liblit(35) Alexander Aiken(7) Alice X. Zheng(4) Cindy Rubio-González(4) Michael I. Jordan(4) Katherine A. Yelick(3) Marina Polishchuk(3) Andrea C. Arpaci-Dusseau(2) Anne Mulhern(2) Arvind Krishnamurthy(2) Atanas Rountev(2) Barton P. Miller(2) Bronis R. de Supinski(2) Carleton Miyamoto(2) David Gay(2) Dong H. Ahn(2) More (+10 of total 65)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 23 keywords
Results
Found 35 publication records. Showing 35 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Joel Sommers, Paul Barford, Ben Liblit A router primitive approach for building diverse network services. Search on Bibsonomy COMSNETS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Guoliang Jin, Linhai Song, Wei Zhang 0022, Shan Lu, Ben Liblit Automated atomicity-violation fixing. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cindy Rubio-González, Ben Liblit Defective error/pointer interactions in the Linux kernel. Search on Bibsonomy ISSTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Susan Horwitz, Ben Liblit, Marina Polishchuk Better Debugging via Output Tracing and Callstack-Sensitive Slicing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Cindy Rubio-González, Ben Liblit Expect the unexpected: error code mismatches between documentation and the real world. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF interprocedural dataflow analysis, manual pages, weighted pushdown systems, static program analysis
1Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu Instrumentation and sampling strategies for cooperative concurrency bug isolation. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Piramanayagam Arumuga Nainar, Ben Liblit Adaptive bug isolation. Search on Bibsonomy ICSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF binary instrumentation, control-dependence graphs, dynamic feedback, dyninst, heuristic search, statistical debugging
1Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau Error propagation analysis for file systems. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF copy constant propagation, interprocedural dataflow analysis, weighted pushdown systems, binary decision diagrams, static program analysis
1Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit Automatic generation of library bindings using static analysis. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
1Dong H. Ahn, Bronis R. de Supinski, Ignacio Laguna, Gregory L. Lee, Ben Liblit, Barton P. Miller, Martin Schulz Scalable temporal order analysis for large scale debugging. Search on Bibsonomy SC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani HOLMES: Effective statistical debugging via efficient path profiling. Search on Bibsonomy ICSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gregory 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. Search on Bibsonomy SC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ben Liblit Cooperative debugging with five hundred million test cases. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cooperative bug isolation, statistical debugging
1Ben Liblit, Atanas Rountev WODA 2008: the sixth international workshop on dynamic analysis. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF development of dynamic analysis tools and frameworks, efficient instrumentation techniques, fault detection and debugging, remote analysis and measurement of software systems, statistical reasoning techniques, synergies between static and dynamic analysis techniques, visualization and classification of program behavior, software testing, dynamic analysis, runtime monitoring, optimization techniques, program evolution
1Ben Liblit, Atanas Rountev (eds.) 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 Search on Bibsonomy WODA The full citation details ... 2008 DBLP  BibTeX  RDF
1Haryadi S. Gunawi, Cindy Rubio-González, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Ben Liblit EIO: Error Handling is Occasionally Correct. Search on Bibsonomy FAST The full citation details ... 2008 DBLP  BibTeX  RDF
1Ben Liblit Reflections on the Role of Static Analysis in Cooperative Bug Isolation. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ben Liblit Cooperative bug isolation. Search on Bibsonomy 2007   DOI  RDF
1Anne Mulhern, Charles Fischer, Ben Liblit Tool Support for Proof Engineering. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ben Liblit Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition). Search on Bibsonomy 2007   DOI  RDF
1Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit Statistical debugging using compound boolean predicates. Search on Bibsonomy ISSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF debugging effort metrics, dynamic feedback analysis, statistical bug isolation, three-valued logic
1Marina Polishchuk, Ben Liblit, Chloë W. Schulze Dynamic heap type inference for program understanding and debugging. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection
1David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu Statistical Debugging Using Latent Topic Models. Search on Bibsonomy ECML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michelle 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. Search on Bibsonomy ASPLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logTM, transactional memory, nesting
1Junghee Lim, Thomas W. Reps, Ben Liblit Extracting Output Formats from Executables. Search on Bibsonomy WCRE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken Statistical debugging: simultaneous identification of multiple bugs. Search on Bibsonomy ICML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit Path Optimization in Programs and Its Application to Debugging. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan Scalable statistical bug isolation. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bug isolation, feature selection, invariants, random sampling, statistical debugging
1Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan Bug isolation via remote program sampling. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF bug isolation, feature selection, logistic regression, assertions, random sampling, statistical debugging
1Ben Liblit, Alexander Aiken, Katherine A. Yelick Type Systems for Distributed Data Sharing. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alexander Aiken Statistical Debugging of Sampled Programs. Search on Bibsonomy NIPS The full citation details ... 2003 DBLP  BibTeX  RDF
1Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof Estimating the Impact of Scalable Pointer Analysis on Optimization. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Ben Liblit, Alexander Aiken Type Systems for Distributed Data Structures. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Arvind 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. Search on Bibsonomy PPSC The full citation details ... 1999 DBLP  BibTeX  RDF
1Katherine 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. Search on Bibsonomy Concurrency - Practice and Experience The full citation details ... 1998 DBLP  BibTeX  RDF
Displaying result #1 - #35 of 35 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.