Ben Liblit
Ben Liblit
Amazon Web Services
Verified email at amazon.com - Homepage
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
10142005
Bug isolation via remote program sampling
B Liblit, A Aiken, AX Zheng, MI Jordan
ACM Sigplan Notices 38 (5), 141-154, 2003
7392003
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
7101998
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
3682006
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
3092009
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
2652006
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
2502011
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
2142006
Automated concurrency-bug fixing
G Jin, W Zhang, D Deng
10th {USENIX} Symposium on Operating Systems Design and Implementation …, 2012
1792012
Titanium language reference manual
PN Hilfinger, D Bonachea, K Datta, D Gay, S Graham, A Kamil, B Liblit, ...
Computer Science, 2006
1722006
Cooperative bug isolation: winning thesis of the 2005 ACM doctoral dissertation competition
B Liblit
Springer, 2007
1532007
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
1192010
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
1182007
Statistical debugging using latent topic models
D Andrzejewski, A Mulhern, B Liblit, X Zhu
European conference on machine learning, 6-17, 2007
1162007
Cognitive Perspectives on the Role of Naming in Computer Programs.
B Liblit, A Begel, E Sweetser
PPIG, 11, 2006
1072006
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
1042008
Statistical Debugging of Sampled Programs.
AX Zheng, MI Jordan, B Liblit, A Aiken
NIPS 16, 2003
882003
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
782010
Error propagation analysis for file systems
C Rubio-González, HS Gunawi, B Liblit, RH Arpaci-Dusseau, ...
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
772009
The system can't perform the operation now. Try again later.
Articles 1–20