Xinhao Yuan
Xinhao Yuan
Verified email at
Cited by
Cited by
Shuffler: fast and deployable continuous code {re-randomization}
D Williams-King, G Gobieski, K Williams-King, JP Blake, X Yuan, P Colp, ...
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016
Efficiently, effectively detecting mobile app bugs with appdoctor
G Hu, X Yuan, Y Tang, J Yang
Proceedings of the Ninth European Conference on Computer Systems, 1-15, 2014
S-FTL: An efficient address translation for flash memory by exploiting spatial locality
S Jiang, L Zhang, XH Yuan, H Hu, Y Chen
2011 IEEE 27th Symposium on Mass Storage Systems and Technologies (MSST), 1-12, 2011
Optimistic concurrency control by melding trees
PA Bernstein, CW Reid, M Wu, X Yuan
Proceedings of the VLDB Endowment 4 (11), 944-955, 2011
Effective concurrency testing for distributed systems
X Yuan, J Yang
Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020
Partial order aware concurrency sampling
X Yuan, J Yang, R Gu
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
Grandet: A unified, economical object store for web applications
Y Tang, G Hu, X Yuan, L Weng, J Yang
Proceedings of the Seventh ACM Symposium on Cloud Computing, 196-209, 2016
Making lock-free data structures verifiable with artificial transactions
X Yuan, D Williams-King, J Yang, S Sethumadhavan
ACM SIGOPS Operating Systems Review 49 (2), 57-63, 2016
Effective Randomized Concurrency Testing with Partial Order Methods
X Yuan
Columbia University, 2020
The system can't perform the operation now. Try again later.
Articles 1–9