Jeffrey F. Lukman

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 6

Top Topics

Artifact Centric

Automatically Detecting

Weighted Number Of Tardy Jobs

Top Venues

login Usenix Mag.

Publications

Cesar A. Stuardo, Tanakorn Leesatapornwongsa, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Wei-Chiu Chuang, Shan Lu, Haryadi S. Gunawi
ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems. FAST (2019)
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
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems. EuroSys (2019)
Tanakorn Leesatapornwongsa, Cesar A. Stuardo, Riza O. Suminto, Huan Ke, Jeffrey F. Lukman, Haryadi S. Gunawi
Scalability Bugs: When 100-Node Testing is Not Enough. HotOS (2017)
Haopeng Liu, Guangpu Li, Jeffrey F. Lukman, Jiaxin Li, Shan Lu, Haryadi S. Gunawi, Chen Tian
DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems. ASPLOS (2017)
Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, Haryadi S. Gunawi
TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems. ASPLOS (2016)
Haryadi S. Gunawi, Thanh Do, Agung Laksono, Mingzhe Hao, Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Riza O. Suminto
What Bugs Live in the Cloud?: A Study of Issues in Scalable Distributed Systems. login Usenix Mag. 40 (4) (2015)
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
What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems. SoCC (2014)
Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. OSDI (2014)