Generated on 20181119 | Print

Yuan, Xinhao


1214 Amsterdam Ave
450 Computer Science Building
New York, NY 10027


  • 2012-presentPh.D., Columbia University
    Department of Computer Science
  • 2007-2011B.Eng., Tsinghua University
    Department of Computer Science and Technology


  • Strong background in math, algorithms, programming, and software systems
  • Fast learner who can master new technology quickly
  • Passionate for creative software system research

Research and Working Experience

  • 2012-presentResearch Assistant, Columbia University, Advisor: Junfeng Yang
    • Led research projects on reliability of concurrent software systems:
      • Morpheus, a concurrency testing framework for Erlang/Elixir using the effective randomized algorithms in [1].
        Open-sourced on
      • Partial Order Sampling [1], an effective randomized algorithm for concurrency testing that leverages dynamic partial order information to provably improve error-detection guarantees.
      • Txit [3], a framework to make lock-free data structures managable to verify by leveraging transactional memory.
    • Contributed significantly to other projects in the research group:
      • Shuffler [2], a practical code-reuse defense using continuous code re-randomization.
      • AppDoctor [4], a systematic testing tool that explores user interactions with android apps to find crash bugs.
  • 2017/05-2017/08Research Intern, Microsoft/Microsoft Research, Mentor: Suman Nath
    • Implemented the C/C++ orchestration of Torch, a framework for analyzing distributed systems and services.
  • 2016/01-2016/05Research Intern, Microsoft/Microsoft Research, Mentor: Cheng Huang
    • Applied systematic testing on Azure Storage system, and improve its reliability.
  • 2015/06-2015/08Research Intern, Microsoft Research, Mentor: Lidong Zhou
    • Designed and built a research prototype of DSoAP, a distributed computing platform specialized for social analytics.
  • 2009-2011Research Intern at System Research Group, Microsoft Research Asia, Mentor: Ming Wu
    • Implemented the TPC-C benchmark for Hyder [4] database system.
    • Awarded "Stars of Tomorrow" internship certificate for the excellent performance.


[1]Partial Order Aware Concurrency Sampling. CAV 2018. Xinhao Yuan, Junfeng Yang, Ronghui Gu
[2]Shuffler: Fast and Deployable Continuous Code Re-Randomization. OSDI 2016.
David Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, Xinhao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, Junfeng Yang, William Aiello
[3]Make Lock-free Data Structures Verifiable with Artificial Transactions. PLOS 2015. Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan
[4]Efficiently, effectively detecting mobile app bugs with AppDoctor. In Proceedings of the Ninth European Conference on Computer Systems (EuroSys '14). Gang Hu, Xinhao Yuan, Yang Tang, Junfeng Yang
[5]Optimistic Concurrency Control by Melding Trees, VLDB 2011. Phil Bernstein, Colin Reid, Ming Wu, Xinhao Yuan
[6]S-FTL: An Efficient Address Translation for Flash Memory by Exploiting Spatial Locality, MSST 2011. Song Jiang, Lei Zhang, Xinhao Yuan, Hao Hu, Yu Chen


  • 27th place in 37th Annual World Finals of the ACM International Collegiate Programming Contest (2013)
  • Champion of ACM/ICPC '12, Greater New York Region
  • Gold medal in the National Olympiad in Informatics '06, China