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).