Jeffrey F. Lukman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | EuroSys | 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 |
| 2019 | FAST | 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 |
| 2017 | ASPLOS | 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 |
| 2017 | HotOS | 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 |
| 2016 | ASPLOS | TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems. | Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, Haryadi S. Gunawi |
| 2014 | CLOUD | 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 |
| 2014 | OSDI | 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 |