Xinhao Yuan

According to our database, Xinhao Yuan authored at least 8 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Effective Randomized Concurrency Testing with Partial Order Methods.

Xinhao Yuan

PhD thesis, 2020

Effective Concurrency Testing for Distributed Systems.

Xinhao Yuan, Junfeng Yang

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2018

Partial Order Aware Concurrency Sampling.

Xinhao Yuan, Junfeng Yang, Ronghui Gu

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

Shuffler: Fast and Deployable Continuous Code Re-Randomization.

David Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, Xinhao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, Junfeng Yang, William Aiello

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Grandet: A Unified, Economical Object Store for Web Applications.

Yang Tang, Gang Hu, Xinhao Yuan, Lingmei Weng, Junfeng Yang

Proceedings of the Seventh ACM Symposium on Cloud Computing, 2016

2015

Making lock-free data structures verifiable with artificial transactions.

Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan

Proceedings of the 8th Workshop on Programming Languages and Operating Systems, 2015

2014

Efficiently, effectively detecting mobile app bugs with AppDoctor.

Gang Hu, Xinhao Yuan, Yang Tang, Junfeng Yang

Proceedings of the Ninth Eurosys Conference 2014, 2014

2011

Optimistic Concurrency Control by Melding Trees.

Philip A. Bernstein, Colin W. Reid, Ming Wu, Xinhao Yuan

Proc. VLDB Endow., 2011