JEFFREY F. LUKMAN
Jeffrey F. Lukman is a fourth year PhD student in the Department of Computer Science at
the University of Chicago where he joins UCARE
research group (UChicago systems research on Availability, Reliability, and Efficiency) and fortunate
to be advised by Prof. Haryadi S. Gunawi.
He received his Bachelor in Computer Science from
Universitas Pelita Harapan Surabaya, Indonesia
(magna cum laude, 2012).
He is interested in cloud computing / distributed systems where his research focuses on improving the reliability, availability and scalability of cloud systems by detecting distributed concurrency bugs.
You can contact him at [last-name] @ cs.uchicago.edu or find him in John Crerar Library (JCL) 283 which is located at 5730 S. Ellis Avenue, Chicago, IL 60637.
"Computing science has very convincingly shown that simplicity is a necessary precondition for reliability."
- Edsgar W. Djikstra.
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems
Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, Daniar H. Kurniawan, Dikaimin Simon, Satria Priambada, Chen Tian, Feng Ye, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu, Haryadi S. Gunawi
In 14th edition of EuroSys 2019
Dresden, Germany. March 2019.
ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems
Cesar A. Stuardo, Tanakorn Leesatapornwongsa, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Wei-Chiu Chuang, Shan Lu, Haryadi S. Gunawi
In 17th USENIX Conference on File and Storage Technologies (FAST) 2019
Boston, Massachusetts, USA. February 2019.
Scalability Bugs: When 100-Node Testing is Not Enough
Tanakorn Leesatapornwongsa, Cesar A. Stuardo, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Haryadi S. Gunawi
In 16th Workshop on Hot Topics in Operating Systems (HotOS) 2017
British Columbia, Canada. May 2017.
DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems
Haopeng Liu, Guangpu Li, Jeffrey F. Lukman, Jiaxin Li, Shan Lu, Haryadi S. Gunawi, Chen Tian
In 22nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2017
Xi'an, China. April 2017.
TaxDC: A Taxonomy of Concurrency Bugs in Datacenter Distributed Systems
Tanakorn Leesatapornwongsa, Jeffrey F. Lukman**, Shan Lu, Haryadi S. Gunawi
In 21th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2016
Atlanta, Georgia, USA. April 2016.
We published the bug study at TaxDC Database.
** The first and second authors performed an equal amount of work.
What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems
Haryadi S. Gunawi, Mingzhe Hao, Tanakorn Leesatapornwongsa, Tiratat Patana-anake, Thanh Do, Jeffry Adityatama, Kurnia J. Eliazar, Agung Laksono, Jeffrey F. Lukman, Vincentius Martin, Anang D. Satria
In ACM Symposium on Cloud Computing (SoCC) 2014
Seattle, Washington, USA. November 2014.
We published the bug study at CBS Database.
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi
In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI) 2014
Broomfield, Colorado, USA. October 2014.
- Student Grant EuroSys 2019, Association for Computing Machinery (ACM)
- Student Grant SOSP 2017, Facebook
- University Unrestricted Fellowship 2017, University of Chicago
- Student Grant OSDI 2016, USENIX
- Student Grant ASPLOS 2016, Association for Computing Machinery (ACM)
- Platinum Scholarship and Best Student Award 2009, 2010, 2011 and 2012, Universitas Pelita Harapan Surabaya