USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 13 results:
Filters: Author is Xi Wang [Clear All Filters]
Automated Verification of Customizable Middlebox Properties with Gravel . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :221--239.
.
2020. Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :41--61.
.
2020. Thunderbolt: Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :1241--1255.
.
2020. Nickel: A Framework for Design and Verification of Information Flow Control Systems. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :287--305.
.
2018. Customizing Progressive JPEG for Efficient Image Storage. 9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 17).
.
2017. Push-Button Verification of File Systems via Crash Refinement. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :1--16.
.
2016. Identifying Information Disclosure in Web Applications with Retroactive Auditing. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :555--569.
.
2014. Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :33--47.
.
2014. Improving Integer Security for Systems with KINT. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :163--177.
.
2012. Intrusion Recovery Using Selective Re-execution. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
.
2010. 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.