Biblio

Export 5 results:
Filters: Author is Xuezheng Liu  [Clear All Filters]
2009
Yang J, Chen T, Wu M, Xu Z, Liu X, Lin H, Yang M, Long F, Zhang L, Zhou L.  2009.  MODIST: Transparent Model Checking of Unmodified Distributed Systems. 6th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 09).
2008
Liu X, Guo Z, Wang X, Chen F, Lian X, Tang J, Wu M, Zhang Z.  2008.  D3S: Debugging Deployed Distributed Systems. 5th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 08).
Guo Z, Wang X, Tang J, Liu X, Xu Z, M. Kaashoek F.  2008.  R2: An Application-Level Kernel for Record and Replay. 8th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 08).
Mai HH, Gao C, Liu X, Wang X, Voelker GM.  2008.  Towards Automatic Inference of Task Hierarchies in Complex Systems. Fourth Workshop on Hot Topics in System Dependability (HotDep 08).
2007
Liu X, Lin W, Pan A, Zhang Z.  2007.  WiDS Checker: Combating Bugs in Distributed Systems . 4th {USENIX} Symposium on Networked Systems Design & Implementation ({NSDI} 07).