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