Jeffrey F. Lukman

Cited by

	All	Since 2019
Citations	744	545
h-index	7	7
i10-index	7	7

120

201420152016201720182019202020212022202320245 19 34 49 78 103 99 71 69 111 87

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Haryadi S. GunawiAssociate Professor of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Tanakorn LeesatapornwongsaUniversity of ChicagoVerified email at cs.uchicago.edu
Shan LuProfessor of Computer Science, University of ChicagoVerified email at uchicago.edu
Mingzhe HaoUniversity of ChicagoVerified email at uchicago.edu
Riza O. SumintoUniversity of ChicagoVerified email at cs.uchicago.edu
Thanh DoCelonisVerified email at celonis.com
Agung LaksonoBina Nusantara UniversityVerified email at binus.ac.id
Tiratat Patana-anakeThe University of ChicagoVerified email at uchicago.edu
Anang D SatriaSoftware Engineer and researcherVerified email at surya.ac.id
Vincentius MartinSt. Jude Children's Research HospitalVerified email at stjude.org
Pallavi JoshiSoftware Engineer, ClouderaVerified email at cloudera.com
Guangpu LIUniversity of ChicagoVerified email at uchicago.edu
Haopeng LiuUniversity of ChicagoVerified email at uchicago.edu
Aarti GuptaPrinceton UniversityVerified email at cs.princeton.edu
Daniar H. KurniawanThe University of ChicagoVerified email at uchicago.edu

Jeffrey F. Lukman

University of Chicago

Verified email at cs.uchicago.edu - Homepage

Distributed Systems Cloud Computing System Reliability


Title Sort by citations Sort by year Sort by 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	193	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	190	2016
{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	180	2014
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	81	2017
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	56	2019
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	22	2017
{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	20	2019
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	2	2015
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
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

The system can't perform the operation now. Try again later.

Articles 1–12

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors