Jeffrey F. Lukman
Title
Cited by
Cited by
Year
What bugs live in the cloud? a study of 3000+ issues in cloud systems
HS Gunawi, M Hao, T Leesatapornwongsa, T Patana-anake, T Do, ...
Proceedings of the ACM Symposium on Cloud Computing, 1-14, 2014
1032014
{SAMC}: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
T Leesatapornwongsa, M Hao, P Joshi, JF Lukman, HS Gunawi
11th {USENIX} Symposium on Operating Systems Design and Implementation …, 2014
1002014
TaxDC: A taxonomy of non-deterministic concurrency bugs in datacenter distributed systems
T Leesatapornwongsa, JF Lukman, S Lu, HS Gunawi
Proceedings of the Twenty-First International Conference on Architectural …, 2016
852016
DCatch: Automatically detecting distributed concurrency bugs in cloud systems
H Liu, G Li, JF Lukman, J Li, S Lu, HS Gunawi, C Tian
ACM SIGARCH Computer Architecture News 45 (1), 677-691, 2017
312017
Flymc: Highly scalable testing of complex interleavings in distributed systems
JF Lukman, H Ke, CA Stuardo, RO Suminto, DH Kurniawan, D Simon, ...
Proceedings of the Fourteenth EuroSys Conference 2019, 1-16, 2019
112019
Scalability bugs: When 100-node testing is not enough
T Leesatapornwongsa, CA Stuardo, RO Suminto, H Ke, JF Lukman, ...
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 24-29, 2017
112017
Scalecheck: a single-machine approach for discovering scalability bugs in large distributed systems
CA Stuardo, T Leesatapornwongsa, RO Suminto, H Ke, JF Lukman, ...
17th {USENIX} Conference on File and Storage Technologies ({FAST} 19), 359-373, 2019
32019
Model checker for finding distributed concurrency bugs
J Lukman, H Ke, H Gunawi, F Ye, C Tian, SC Chen
US Patent 10,599,552, 2020
2020
Algorithmic, Heuristic, and Systematic Approaches for Software Model Checking of Distributed Systems
JF Lukman
The University of Chicago, 2020
2020
THE UNIVERSITY OF CHICAGO
JF LUKMAN
2017
What bugs live in the cloud?: a study of issues in scalable distributed systems
H Gunawi, T Do, A Laksono, M Hao, T Leesatapornwongsa, JF Lukman, ...
; login:: the magazine of USENIX & SAGE 40 (4), 33-39, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–11