Ben Liblit
Title
Cited by
Cited by
Year
Scalable statistical bug isolation
B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan
Acm Sigplan Notices 40 (6), 15-26, 2005
9212005
Bug isolation via remote program sampling
B Liblit, A Aiken, AX Zheng, MI Jordan
ACM Sigplan Notices 38 (5), 141-154, 2003
7052003
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
6701998
Statistical debugging: A hypothesis testing-based approach
C Liu, L Fei, X Yan, J Han, SP Midkiff
IEEE Transactions on software engineering 32 (10), 831-848, 2006
3382006
HOLMES: Effective statistical debugging via efficient path profiling
TM Chilimbi, B Liblit, K Mehra, AV Nori, K Vaswani
2009 IEEE 31st International Conference on Software Engineering, 34-44, 2009
2902009
Supporting nested transactional memory in LogTM
MJ Moravan, J Bobba, KE Moore, L Yen, MD Hill, B Liblit, MM Swift, ...
ACM SIGARCH Computer Architecture News 34 (5), 359-370, 2006
2522006
Automated atomicity-violation fixing
G Jin, L Song, W Zhang, S Lu, B Liblit
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
2172011
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
1912006
Titanium language reference manual
PN Hilfinger, D Bonachea, K Datta, D Gay, S Graham, A Kamil, B Liblit, ...
Computer Science, 2006
1702006
Automated concurrency-bug fixing
G Jin, W Zhang, D Deng
Presented as part of the 10th {USENIX} Symposium on Operating Systems Design …, 2012
1572012
Cooperative bug isolation: winning thesis of the 2005 ACM doctoral dissertation competition
B Liblit
Springer, 2007
1482007
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
1122007
Statistical debugging using latent topic models
D Andrzejewski, A Mulhern, B Liblit, X Zhu
European conference on machine learning, 6-17, 2007
1112007
Instrumentation and sampling strategies for cooperative concurrency bug isolation
G Jin, A Thakur, B Liblit, S Lu
Proceedings of the ACM international conference on Object oriented …, 2010
1102010
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
1062001
EIO: Error Handling is Occasionally Correct.
HS Gunawi, C Rubio-González, AC Arpaci-Dusseau, RH Arpaci-Dusseau, ...
FAST 8, 1-16, 2008
962008
Cognitive Perspectives on the Role of Naming in Computer Programs.
B Liblit, A Begel, E Sweetser
PPIG, 11, 2006
952006
Statistical debugging of sampled programs
AX Zheng, MI Jordan, B Liblit, A Aiken
Advances in Neural Information Processing Systems, 603-610, 2004
832004
Extracting output formats from executables
J Lim, T Reps, B Liblit
2006 13th Working Conference on Reverse Engineering, 167-178, 2006
732006
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
712010
The system can't perform the operation now. Try again later.
Articles 1–20