Jeffrey F. Lukman

According to our database, Jeffrey F. Lukman authored at least 8 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 17th USENIX Conference on File and Storage Technologies, 2019

FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems.

Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, Daniar Heri Kurniawan, Dikaimin Simon, Satria Priambada, Chen Tian, Feng Ye, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu, Haryadi S. Gunawi

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2017

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

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 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

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems.

Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, Haryadi S. Gunawi

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

What Bugs Live in the Cloud?: A Study of Issues in Scalable Distributed Systems.

Haryadi S. Gunawi, Thanh Do, Agung Laksono, Mingzhe Hao, Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Riza O. Suminto

login Usenix Mag., 2015

2014

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

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

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

Proceedings of the ACM Symposium on Cloud Computing, 2014