Biblio

Export 13 results:
Filters: Author is Xi Wang  [Clear All Filters]
2020
Zhang K, Zhuo D, Akella A, Krishnamurthy A, Wang X.  2020.  Automated Verification of Customizable Middlebox Properties with Gravel . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :221--239.
Nelson L, Van Geffen J, Torlak E, Wang X.  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.
Li S, Wang X, Zhang X, Kontorinis V, Kodakara S, Lo D, Ranganathan P.  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.
2018
Sigurbjarnarson H, Nelson L, Castro-Karney B, Bornholt J, Torlak E, Wang X.  2018.  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.
2017
Yan E, Zhang K, Wang X, Strauss K, Ceze L.  2017.  Customizing Progressive JPEG for Efficient Image Storage. 9th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage 17).
2016
Sigurbjarnarson H, Bornholt J, Torlak E, Wang X.  2016.  Push-Button Verification of File Systems via Crash Refinement. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :1--16.
2014
Chen H, Kim T, Wang X, Zeldovich N, M. Kaashoek F.  2014.  Identifying Information Disclosure in Web Applications with Retroactive Auditing. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :555--569.
Wang X, Lazar D, Zeldovich N, Chlipala A, Tatlock Z.  2014.  Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :33--47.
2012
Wang X, Chen H, Jia Z, Zeldovich N, M. Kaashoek F.  2012.  Improving Integer Security for Systems with KINT. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :163--177.
2010
Kim T, Wang X, Zeldovich N, M. Kaashoek F.  2010.  Intrusion Recovery Using Selective Re-execution. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
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).