Jeffrey F. Lukman

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems.
Proceedings of the 17th USENIX Conference on File and Storage Technologies, 2019

FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2017
Scalability Bugs: When 100-Node Testing is Not Enough.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems.
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.
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.
login Usenix Mag., 2015

2014
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems.
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.
Proceedings of the ACM Symposium on Cloud Computing, 2014


  Loading...