JEFFREY F. LUKMAN
Jeffrey F. Lukman has completed his Ph.D. in the Department of Computer Science at
the University of Chicago where he joined the UCARE
research group and was 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.
To check out his career progress, you may follow his LinkedIn.
"It is fair to state, that in this digital era, correct systems for information processing are more valuable than gold."
- Hendrik Barendregt.
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
TaxDC: A Taxonomy of Concurrency Bugs in Datacenter Distributed Systems
Tanakorn Leesatapornwongsa, Jeffrey F. Lukman*, Shan Lu, Haryadi S. Gunawi
We published the bug study at TaxDC Database.
*The first and second authors performed an equal amount of work.
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
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
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
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
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