Travelled to:1 × USA
Collaborated with:H.S.Gunawi T.Leesatapornwongsa P.Joshi J.F.Lukman Huaicheng Li S.Novakovic Vaibhav Gogte S.Govindan D.R.K.Ports I.Zhang R.Bianchini A.Badam
Talks about:discoveri (1) virtual (1) portabl (1) system (1) storag (1) semant (1) effici (1) model (1) cloud (1) check (1)
Person: Mingzhe Hao
DBLP: Hao:Mingzhe
Contributed to:
2014
2020Wrote 2 papers:
- OSDI-2014-LeesatapornwongsaHJLG #debugging #model checking #named #performance #semantics
- SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems (TL, MH, PJ, JFL, HSG), pp. 399–414.
- ASPLOS-2020-LiHNGGPZBGB #named #performance
- LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCs (HL, MH, SN, VG, SG, DRKP, IZ, RB, HSG, AB), pp. 591–605.