Xi Wang

发表

Aditya Akella, A. Krishnamurthy, Danyang Zhuo, 2018 .

E. Torlak, Helgi Sigurbjarnarson, James Bornholt, 2019 .

Alvin Cheung, Michael D. Ernst, Emina Torlak, 2020 .

Emina Torlak, Jialin Li, Xi Wang, 2016, International Conference on Architectural Support for Programming Languages and Operating Systems.

Xi Wang, Michael D. Ernst, Thomas E. Anderson, 2015, PLDI.

Aditya Akella, Xi Wang, Arvind Krishnamurthy, 2020, NSDI.

Xi Wang, Luis Ceze, Karin Strauss, 2017, HotStorage.

Xi Wang, Emina Torlak, Luke Nelson, 2017, SOSP.

Xi Wang, Arvind Krishnamurthy, Pedro Fonseca, 2017, EuroSys.

Xi Wang, Arvind Krishnamurthy, Pedro Fonseca, 2018, EuroSys.

Xi Wang, Adam Chlipala, Nickolai Zeldovich, 2014, OSDI.

Emina Torlak, Xi Wang, Luke Nelson, 2020, ACM SIGOPS Oper. Syst. Rev..

Isil Dillig, Emina Torlak, Xi Wang, 2020, CAV.

Xi Wang, Emina Torlak, Jialin Li, 2016, ASPLOS.