Jeffrey F Lukman

University of Chicago - Chicago / United States

Engineering & Technology / Electrical & Electronic Engineering

AD Scientific Index ID: 1772645

Registration, Add Profile,
Premium Membership

Print Your Certificate

Jeffrey F Lukman's MOST POPULAR ARTICLES

1-) What bugs live in the cloud? a study of 3000+ issues in cloud systemsHS Gunawi, M Hao, T Leesatapornwongsa, T Patana-Anake, T Do, ...Proceedings of the ACM symposium on cloud computing, 1-14, 20141812014

2-) TaxDC: A taxonomy of non-deterministic concurrency bugs in datacenter distributed systemsT Leesatapornwongsa, JF Lukman, S Lu, HS GunawiProceedings of the twenty-first international conference on architectural …, 20161772016

3-) {SAMC}:{Semantic-Aware} model checking for fast discovery of deep bugs in cloud systemsT Leesatapornwongsa, M Hao, P Joshi, JF Lukman, HS Gunawi11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 20141812014

4-) Dcatch: Automatically detecting distributed concurrency bugs in cloud systemsH Liu, G Li, JF Lukman, J Li, S Lu, HS Gunawi, C TianACM SIGARCH Computer Architecture News 45 (1), 677-691, 2017772017

5-) Flymc: Highly scalable testing of complex interleavings in distributed systemsJF Lukman, H Ke, CA Stuardo, RO Suminto, DH Kurniawan, D Simon, ...Proceedings of the Fourteenth EuroSys Conference 2019, 1-16, 2019552019

ARTICLES

Add your articles