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
1362014
{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
1342014
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
1192016
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
542017
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
262019
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
72019
What bugs live in the cloud
HS Gunawi, T Do, A Laksono, TLM Hao, JF Lukman, RO Suminto
A Study of 3000, 289-301, 0
5
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