| 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 | 197 | 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 | 146 | 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 | 104 | 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 | 43 | 2011 |
| Effective concurrency testing for distributed systems X Yuan, J Yang Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020 | 37 | 2020 |
| Partial order aware concurrency sampling X Yuan, J Yang, R Gu Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 25 | 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 | 7 | 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 | 2 | 2016 |
| Effective Randomized Concurrency Testing with Partial Order Methods X Yuan Columbia University, 2020 | | 2020 |
