USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 5 results:
Filters: Author is Xuezheng Liu [Clear All Filters]
MODIST: Transparent Model Checking of Unmodified Distributed Systems. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09).
.
2009. D3S: Debugging Deployed Distributed Systems. 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI 08).
.
2008. R2: An Application-Level Kernel for Record and Replay. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
.
2008. Towards Automatic Inference of Task Hierarchies in Complex Systems. Fourth Workshop on Hot Topics in System Dependability (HotDep 08).
.
2008. WiDS Checker: Combating Bugs in Distributed Systems . 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 07).
.
2007.