Travelled to:1 × Austria
1 × Ireland
1 × South Africa
1 × Spain
1 × United Kingdom
11 × USA
2 × France
2 × Italy
3 × Canada
Collaborated with:C.Rubio-González A.Aiken ∅ P.Ohmann T.W.Reps T.Ravitch P.A.Nainar A.X.Zheng M.I.Jordan M.Polishchuk J.Lim G.Jin S.Lu D.B.Brown M.Naik C.Weiß C.W.Schulze K.A.Yelick A.J.Maas H.Nazaré A.V.Thakur S.Jackson E.Aderhold T.Chen J.Rosin A.Lal M.Das M.Fähndrich J.Rehof M.Vaughn J.Henkel S.K.Lahiri Alexander Brooks L.D'Antoni L.Song W.Zhang T.M.Chilimbi K.K.Mehra A.V.Nori K.Vaswani H.S.Gunawi R.H.Arpaci-Dusseau A.C.Arpaci-Dusseau A.Aiken N.Neelakandan J.Linderoth M.J.Moravan J.Bobba K.E.Moore L.Yen M.D.Hill M.M.Swift D.A.Wood
Talks about:debug (7) program (6) analysi (6) bug (6) isol (5) statist (4) error (4) scalabl (3) librari (3) system (3)
♂ Person: Ben Liblit
DBLP: Liblit:Ben
Facilitated 1 volumes:
PrCoContributed to:
2015
2013
2013
2011
20112010
2010
2010200920092008
20082007
2007
2006
2006
2006
2006200520032003200120002016
201720182017Wrote 29 papers:
- ICSE-v1-2015-WeissRL #fault #program analysis #scalability
- Database-Backed Program Analysis for Scalable Error Propagation (CW, CRG, BL), pp. 586–597.
- ASE-2013-OhmannL #analysis #control flow #debugging #lightweight
- Lightweight control-flow instrumentation and postmortem analysis in support of debugging (PO, BL), pp. 378–388.
- ISMM-2013-RavitchL #c #library #memory management
- Analyzing memory ownership patterns in C libraries (TR, BL), pp. 97–108.
- ISSTA-2011-Rubio-GonzalezL #fault #interactive #kernel #linux #pointer
- Defective error/pointer interactions in the Linux kernel (CRG, BL), pp. 111–121.
- PLDI-2011-JinSZLL #automation
- Automated atomicity-violation fixing (GJ, LS, WZ, SL, BL), pp. 389–400.
- ICSE-2010-NainarL #adaptation #debugging
- Adaptive bug isolation (PAN, BL), pp. 255–264.
- OOPSLA-2010-JinTLL #concurrent #debugging
- Instrumentation and sampling strategies for cooperative concurrency bug isolation (GJ, AVT, BL, SL), pp. 241–255.
- PASTE-2010-Rubio-GonzalezL #documentation #fault
- Expect the unexpected: error code mismatches between documentation and the real world (CRG, BL), pp. 73–80.
- ICSE-2009-ChilimbiLMNV #debugging #effectiveness #named #performance #profiling #statistics
- HOLMES: Effective statistical debugging via efficient path profiling (TMC, BL, KKM, AVN, KV), pp. 34–44.
- PLDI-2009-RavitchJAL #automation #generative #library #static analysis #using
- Automatic generation of library bindings using static analysis (TR, SJ, EA, BL), pp. 352–362.
- PLDI-2009-Rubio-GonzalezGLAA #analysis #fault #file system
- Error propagation analysis for file systems (CRG, HSG, BL, RHAD, ACAD), pp. 270–280.
- ISSTA-2008-Liblit #debugging #testing
- Cooperative debugging with five hundred million test cases (BL), pp. 119–120.
- SAS-2008-Liblit #debugging #static analysis
- Reflections on the Role of Static Analysis in Cooperative Bug Isolation (BL), pp. 18–31.
- ISSTA-2007-NainarCRL #debugging #statistics #using
- Statistical debugging using compound boolean predicates (PAN, TC, JR, BL), pp. 5–15.
- POPL-2007-PolishchukLS #comprehension #debugging #type inference
- Dynamic heap type inference for program understanding and debugging (MP, BL, CWS), pp. 39–46.
- ASPLOS-2006-MoravanBMYHLSW #memory management #transaction
- Supporting nested transactional memory in logTM (MJM, JB, KEM, LY, MDH, BL, MMS, DAW), pp. 359–370.
- ESOP-2006-LalLPL #debugging #optimisation #source code
- Path Optimization in Programs and Its Application to Debugging (AL, JL, MP, BL), pp. 246–263.
- ICML-2006-ZhengJLNA #debugging #identification #multi #statistics
- Statistical debugging: simultaneous identification of multiple bugs (AXZ, MIJ, BL, MN, AA), pp. 1105–1112.
- WCRE-2006-LimRL #bytecode
- Extracting Output Formats from Executables (JL, TWR, BL), pp. 167–178.
- PLDI-2005-LiblitNZAJ #debugging #scalability #statistics
- Scalable statistical bug isolation (BL, MN, AXZ, AA, MIJ), pp. 15–26.
- PLDI-2003-LiblitAZJ #debugging
- Bug isolation via remote program sampling (BL, AA, AXZ, MIJ), pp. 141–154.
- SAS-2003-LiblitAY #distributed #type system
- Type Systems for Distributed Data Sharing (BL, AA, KAY), pp. 273–294.
- SAS-2001-DasLFR #impact analysis #optimisation #pointer #scalability
- Estimating the Impact of Scalable Pointer Analysis on Optimization (MD, BL, MF, JR), pp. 260–278.
- POPL-2000-LiblitA #data type #distributed #type system
- Type Systems for Distributed Data Structures (BL, AA), pp. 199–213.
- ASE-2016-MaasNL #array #c #library
- Array length inference for C library bindings (AJM, HN, BL), pp. 461–471.
- ASE-2016-OhmannBNLL #optimisation
- Optimizing customized program coverage (PO, DBB, NN, JL, BL), pp. 27–38.
- ESEC-FSE-2017-BrownVLR
- The care and feeding of wild-caught mutants (DBB, MV, BL, TWR), pp. 511–522.
- ESEC-FSE-2018-HenkelLLR #comprehension #embedded #source code
- Code vectors: understanding programs through embedded abstracted symbolic traces (JH, SKL, BL, TWR), pp. 163–174.
- PLDI-2017-OhmannBDL #control flow
- Control-flow recovery from partial failure reports (PO, AB, LD, BL), pp. 390–405.