Prati
Jeffrey F. Lukman
Jeffrey F. Lukman
University of Chicago
Potvrđena adresa e-pošte na cs.uchicago.edu - Početna stranica
Naslov
Citirano
Citirano
Godina
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
313*2014
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
1972016
{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
1812014
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
772017
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
552019
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
222017
{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
182019
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
32015
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
12020
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
Data-Driven Prioritization and System-Level Optimization for Finding Distributed System Bugs Faster Draft–Private View Only
R Li, NA Hasabie, JF Lukman, SS Diwangkara, HS Gunawi
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–12