LiblitBen

Scalable statistical bug isolation

I JordanMichael, LiblitBen, NaikMayur, 2005 .

Error propagation analysis for file systems

S GunawiHaryadi, C Arpaci-DusseauAndrea, H Arpaci-DusseauRemzi, 2009 .

Supporting nested transactional memory in logTM

M SwiftMichael, LiblitBen, D HillMark, 2006 .

Dynamic heap type inference for program understanding and debugging

LiblitBen, PolishchukMarina, W SchulzeChloë, 2007 .

Instrumentation and sampling strategies for cooperative concurrency bug isolation

LiblitBen, LuShan, JinGuoliang, 2010 .

Tool Support for Proof Engineering

LiblitBen, FischerCharles, MulhernAnne, 2007 .