Xi Wang - RankMe

42 papers A* 16A 5Misc 2Journal 4Unranked 14

Year	Rank	Type	Title / Venue / Authors
2023	A	`conf`	Synthesis-Aided Crash Consistency for Storage Systems. ECOOP Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt
2022	J	`jnl`	A formal foundation for symbolic evaluation with merging. Proc. ACM Program. Lang. Sorawee Porncharoenwase, Luke Nelson, Xi Wang, Emina Torlak
2022	—	`conf`	Project Co-Art: Improving Children's Imagination Through AI-based Human-Computer Co-creation. SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta Zuyu Shen, Yinzhu Piao, Cong Tan, Ruikai Lin, Xu Zhao, Xi Wang
2021	—	`conf`	OYaYa: A Desktop Robot Enabling Multimodal Interaction with Emotions. IUI Companion Yucheng Jin, Yuanyuan Deng, Jiangtao Gong, Xi Wang, Ge Gao, Qianying Wang
2020	Misc	`conf`	Automated Verification of Customizable Middlebox Properties with Gravel. NSDI Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang
2020	J	`jnl`	Noninterference specifications for secure systems. ACM SIGOPS Oper. Syst. Rev. Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang
2020	A*	`conf`	Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel. OSDI Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang
2020	—	`conf`	Synthesizing JIT Compilers for In-Kernel DSLs. CAV (2) Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak
2019	A*	`conf`	Scaling symbolic evaluation for automated verification of systems code with Serval. SOSP Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang
2018	A	`conf`	MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors. EuroSys Pedro Fonseca, Xi Wang, Arvind Krishnamurthy
2018	A*	`conf`	Nickel: A Framework for Design and Verification of Information Flow Control Systems. OSDI Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang
2017	A	`conf`	An Empirical Study on the Correctness of Formally Verified Distributed Systems. EuroSys Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy
2017	—	`conf`	Customizing Progressive JPEG for Efficient Image Storage. HotStorage Eddie Q. Yan, Kaiyuan Zhang, Xi Wang, Karin Strauss, Luis Ceze
2017	A*	`conf`	Hyperkernel: Push-Button Verification of an OS Kernel. SOSP Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang
2016	J	`jnl`	A differential approach to undefined behavior detection. Commun. ACM Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
2016	—	`conf`	Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. CAV (2) Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky
2016	A*	`conf`	Push-Button Verification of File Systems via Crash Refinement. OSDI Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang
2016	A*	`conf`	Specifying and Checking File System Crash-Consistency Models. ASPLOS James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang
2015	J	`jnl`	A Differential Approach to Undefined Behavior Detection. ACM Trans. Comput. Syst. Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
2015	—	`conf`	Toward a Dependability Case Language and Workflow for a Radiation Therapy System. SNAPL Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang
2015	A*	`conf`	Verdi: a framework for implementing and formally verifying distributed systems. PLDI James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson
2014	—	`—`	A differential approach to undefined behavior detection. Xi Wang
2014	A	`conf`	Cybertron: pushing the limit on I/O reduction in data-parallel programs. OOPSLA Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou
2014	A*	`conf`	Identifying Information Disclosure in Web Applications with Retroactive Auditing. OSDI Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2014	A*	`conf`	Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. OSDI Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock
2014	—	`conf`	Why does cryptographic software fail?: a case study and open problems. APSys David Lazar, Haogang Chen, Xi Wang, Nickolai Zeldovich
2013	—	`conf`	Security bugs in embedded interpreters. APSys Haogang Chen, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2013	A*	`conf`	Towards optimization-safe systems: analyzing the impact of undefined behavior. SOSP Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
2012	A*	`conf`	Improving Integer Security for Systems with KINT. OSDI Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek
2012	—	`conf`	Undefined behavior: what happened to my code? APSys Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek
2011	—	`conf`	Linux kernel vulnerabilities: state-of-the-art defenses and open problems. APSys Haogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, M. Frans Kaashoek
2011	—	`conf`	Retroactive auditing. APSys Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2011	A*	`conf`	Software fault isolation with API integrity and multi-principal modules. SOSP Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2010	A*	`conf`	Intrusion Recovery Using Selective Re-execution. OSDI Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2010	—	`conf`	Language-based replay via data flow cut. SIGSOFT FSE Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang
2009	—	`conf`	Api hyperlinking via structural overlap. ESEC/SIGSOFT FSE Fan Long, Xi Wang, Yang Cai
2009	A*	`conf`	Improving application security with data flow assertions. SOSP Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2008	A*	`conf`	Conditional correlation analysis for safe region-based memory management. PLDI Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang
2008	Misc	`conf`	D3S: Debugging Deployed Distributed Systems. NSDI Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, Zheng Zhang
2008	A	`conf`	Hang analysis: fighting responsiveness bugs. EuroSys Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, Zheng Zhang
2008	A*	`conf`	R2: An Application-Level Kernel for Record and Replay. OSDI Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang
2008	—	`conf`	Towards Automatic Inference of Task Hierarchies in Complex Systems. HotDep Haohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang, Geoffrey M. Voelker