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
1172014
{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
1092014
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
922016
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
392017
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
162019
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
52019
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
PQDT-Global, 2020
2020
THE UNIVERSITY OF CHICAGO
JF LUKMAN
2017
The system can't perform the operation now. Try again later.
Articles 1–11