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.
PUBLICATIONS
As recorded by DBLP | Google Scholar
Selected Publications
-
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
EuroSys 2019 -
TaxDC: A Taxonomy of Concurrency Bugs in Datacenter Distributed Systems
Tanakorn Leesatapornwongsa, Jeffrey F. Lukman*, Shan Lu, Haryadi S. Gunawi
ASPLOS 2016
We published the bug study at TaxDC Database.
*The first and second authors performed an equal amount of work.
Other Publications
-
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
FAST 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
HotOS 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
ASPLOS 2017 -
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
SoCC 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
OSDI 2014