Biblio

Export 6 results:
Filters: Author is Mingzhe Hao  [Clear All Filters]
2020
Hao M, Toksoz L, Li N, Halim EEdberg, Hoffmann H, Gunawi HS.  2020.  LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :173--190.
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.