Follow
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
1812014
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
1792016
{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 (OSDI …, 2014
1622014
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
752017
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
482019
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
202017
{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
162019
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
22015
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
The system can't perform the operation now. Try again later.
Articles 1–11