| 2023 |
A |
conf |
ECOOP
Jacob Van Geffen, Xi Wang, Emina Torlak, James Bornholt
|
| 2022 |
J |
jnl |
Proc. ACM Program. Lang.
Sorawee Porncharoenwase, Luke Nelson, Xi Wang, Emina Torlak
|
| 2022 |
— |
conf |
SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta
Zuyu Shen, Yinzhu Piao, Cong Tan, Ruikai Lin, Xu Zhao, Xi Wang
|
| 2021 |
— |
conf |
IUI Companion
Yucheng Jin, Yuanyuan Deng, Jiangtao Gong, Xi Wang, Ge Gao, Qianying Wang
|
| 2020 |
Misc |
conf |
NSDI
Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang
|
| 2020 |
J |
jnl |
ACM SIGOPS Oper. Syst. Rev.
Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang
|
| 2020 |
A* |
conf |
OSDI
Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang
|
| 2020 |
— |
conf |
CAV (2)
Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak
|
| 2019 |
A* |
conf |
SOSP
Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang
|
| 2018 |
A |
conf |
EuroSys
Pedro Fonseca, Xi Wang, Arvind Krishnamurthy
|
| 2018 |
A* |
conf |
OSDI
Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang
|
| 2017 |
A |
conf |
EuroSys
Pedro Fonseca, Kaiyuan Zhang, Xi Wang, Arvind Krishnamurthy
|
| 2017 |
— |
conf |
HotStorage
Eddie Q. Yan, Kaiyuan Zhang, Xi Wang, Karin Strauss, Luis Ceze
|
| 2017 |
A* |
conf |
SOSP
Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang
|
| 2016 |
J |
jnl |
Commun. ACM
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
|
| 2016 |
— |
conf |
CAV (2)
Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky
|
| 2016 |
A* |
conf |
OSDI
Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang
|
| 2016 |
A* |
conf |
ASPLOS
James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang
|
| 2015 |
J |
jnl |
ACM Trans. Comput. Syst.
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
|
| 2015 |
— |
conf |
SNAPL
Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang
|
| 2015 |
A* |
conf |
PLDI
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas E. Anderson
|
| 2014 |
— |
— |
Xi Wang
|
| 2014 |
A |
conf |
OOPSLA
Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou
|
| 2014 |
A* |
conf |
OSDI
Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
|
| 2014 |
A* |
conf |
OSDI
Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock
|
| 2014 |
— |
conf |
APSys
David Lazar, Haogang Chen, Xi Wang, Nickolai Zeldovich
|
| 2013 |
— |
conf |
APSys
Haogang Chen, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
|
| 2013 |
A* |
conf |
SOSP
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
|
| 2012 |
A* |
conf |
OSDI
Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek
|
| 2012 |
— |
conf |
APSys
Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek
|
| 2011 |
— |
conf |
APSys
Haogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, M. Frans Kaashoek
|
| 2011 |
— |
conf |
APSys
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
|
| 2011 |
A* |
conf |
SOSP
Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
|
| 2010 |
A* |
conf |
OSDI
Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
|
| 2010 |
— |
conf |
SIGSOFT FSE
Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, Zheng Zhang
|
| 2009 |
— |
conf |
ESEC/SIGSOFT FSE
Fan Long, Xi Wang, Yang Cai
|
| 2009 |
A* |
conf |
SOSP
Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
|
| 2008 |
A* |
conf |
PLDI
Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang
|
| 2008 |
Misc |
conf |
NSDI
Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, Zheng Zhang
|
| 2008 |
A |
conf |
EuroSys
Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, Zheng Zhang
|
| 2008 |
A* |
conf |
OSDI
Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang
|
| 2008 |
— |
conf |
HotDep
Haohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang, Geoffrey M. Voelker
|