Ben Liblit
TitleCited byYear
Scalable statistical bug isolation
B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan
Acm Sigplan Notices 40 (6), 15-26, 2005
8702005
Bug isolation via remote program sampling
B Liblit, A Aiken, AX Zheng, MI Jordan
ACM Sigplan Notices 38 (5), 141-154, 2003
6792003
Titanium: a high‐performance Java dialect
K Yelick, L Semenzato, G Pike, C Miyamoto, B Liblit, A Krishnamurthy, ...
Concurrency and Computation: Practice and Experience 10 (11‐13), 825-836, 1998
6521998
HOLMES: Effective statistical debugging via efficient path profiling
TM Chilimbi, B Liblit, K Mehra, AV Nori, K Vaswani
Proceedings of the 31st International Conference on Software Engineering, 34-44, 2009
2802009
Supporting nested transactional memory in LogTM
MJ Moravan, J Bobba, KE Moore, L Yen, MD Hill, B Liblit, MM Swift, ...
ACM Sigplan Notices 41 (11), 359-370, 2006
2422006
Automated atomicity-violation fixing
G Jin, L Song, W Zhang, S Lu, B Liblit
ACM Sigplan Notices 46 (6), 389-400, 2011
2022011
Statistical debugging: simultaneous identification of multiple bugs
AX Zheng, MI Jordan, B Liblit, M Naik, A Aiken
Proceedings of the 23rd international conference on Machine learning, 1105-1112, 2006
1792006
Titanium language reference manual
PN Hilfinger, D Bonachea, K Datta, D Gay, S Graham, A Kamil, B Liblit, ...
Computer Science, 2006
1652006
Cooperative bug isolation: winning thesis of the 2005 ACM doctoral dissertation competition
B Liblit
Springer, 2007
1502007
Automated concurrency-bug fixing
G Jin, W Zhang, D Deng
Presented as part of the 10th {USENIX} Symposium on Operating Systems Design …, 2012
1492012
Statistical debugging using latent topic models
D Andrzejewski, A Mulhern, B Liblit, X Zhu
European conference on machine learning, 6-17, 2007
1052007
Statistical debugging using compound boolean predicates
P Arumuga Nainar, T Chen, J Rosin, B Liblit
Proceedings of the 2007 international symposium on Software testing and …, 2007
1052007
Instrumentation and sampling strategies for cooperative concurrency bug isolation
G Jin, A Thakur, B Liblit, S Lu
ACM Sigplan Notices 45 (10), 241-255, 2010
1022010
Estimating the impact of scalable pointer analysis on optimization
M Das, B Liblit, M Fähndrich, J Rehof
International Static Analysis Symposium, 260-278, 2001
982001
EIO: Error Handling is Occasionally Correct.
HS Gunawi, C Rubio-González, AC Arpaci-Dusseau, RH Arpaci-Dusseau, ...
FAST 8, 1-16, 2008
872008
Cognitive Perspectives on the Role of Naming in Computer Programs.
B Liblit, A Begel, E Sweetser
PPIG, 11, 2006
822006
Statistical debugging of sampled programs
AX Zheng, MI Jordan, B Liblit, A Aiken
Advances in Neural Information Processing Systems, 603-610, 2004
762004
Directed proof generation for machine code
A Thakur, J Lim, A Lal, A Burton, E Driscoll, M Elder, T Andersen, T Reps
International Conference on Computer Aided Verification, 288-305, 2010
702010
Extracting output formats from executables
J Lim, T Reps, B Liblit
2006 13th Working Conference on Reverse Engineering, 167-178, 2006
672006
Adaptive bug isolation
PA Nainar, B Liblit
2010 ACM/IEEE 32nd International Conference on Software Engineering 1, 255-264, 2010
662010
The system can't perform the operation now. Try again later.
Articles 1–20