Biblio

Export 2 results:
Filters: Author is Jeffrey F. Lukman  [Clear All Filters]
2014
Leesatapornwongsa T, Hao M, Joshi P, Lukman JF, Gunawi HS.  2014.  SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :399--414.