Xinhao Yuan

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 4

Top Topics

Distributed Databases

Concurrency Control

Top Venues

ACM SIGOPS Oper. Syst. Rev.

Publications

Xinhao Yuan, Junfeng Yang
Effective Concurrency Testing for Distributed Systems. ASPLOS (2020)
Xinhao Yuan, Junfeng Yang, Ronghui Gu
Partial Order Aware Concurrency Sampling. CAV (2) (2018)
David Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, Xinhao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, Junfeng Yang, William Aiello
Shuffler: Fast and Deployable Continuous Code Re-Randomization. OSDI (2016)
Yang Tang, Gang Hu, Xinhao Yuan, Lingmei Weng, Junfeng Yang
Grandet: A Unified, Economical Object Store for Web Applications. SoCC (2016)
Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan
Making Lock-free Data Structures Verifiable with Artificial Transactions. ACM SIGOPS Oper. Syst. Rev. 49 (2) (2015)
Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan
Making lock-free data structures verifiable with artificial transactions. PLOS@SOSP (2015)
Gang Hu, Xinhao Yuan, Yang Tang, Junfeng Yang
Efficiently, effectively detecting mobile app bugs with AppDoctor. EuroSys (2014)
Philip A. Bernstein, Colin W. Reid, Ming Wu, Xinhao Yuan
Optimistic Concurrency Control by Melding Trees. Proc. VLDB Endow. 4 (11) (2011)