Xiang Gao (高祥)

Ph.D Candidate

Computer Science
National University of Singapore
gaoxiang [at] comp.nus.edu.sg

About Me

I am a Ph.D. student in the School of Computing at National University of Singapore under the supervision of Abhik Roychoudhury. I got my bachelor degree of Computer Science (Elite Class) from ShanDong University in 2016.

My thesis work is focused on using program analysis, test generation and formal method to aid users in fixing software bugs and writing programs. I design techniques to improve the quality of automatically generated programs.

Some of my projects have been in collaboration with groups at Fujitsu Laboratories of America with Mukul Prasad, Microsoft Research with Nachiappan Nagappan (RiSE) and Sumit Gulwani (PROSE).

My CV can be found here.

My research interests include:


  • Feedback-Driven Semi-Supervised Synthesis of Program Transformations [Conditionally Accepted]

    Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari

    Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2020

  • Binary Rewriting without Control Flow Recovery [pdf] [tool]

    Gregory J. Duck, Xiang Gao, Abhik Roychoudhury

    Programming Language Design and Implementation (PLDI) 2020

  • Interactive Patch Generation and Suggestion [pdf]

    Xiang Gao, Abhik Roychoudhury

    Automated Program Repair Workshop (APR @ ICSE) 2020

  • Fuzz Testing based Data Augmentation to Improve Robustness of Deep Neural Networks [pdf] [tool]

    Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury

    ACM/IEEE 42nd International Conference on Software Engineering (ICSE) 2020.

  • Crash-avoiding Program Repair [pdf] [tool]

    Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury

    ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2019.

  • Android Testing via Synthetic Symbolic Execution [pdf]

    Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury

    33rd International Conference on Automated Software Engineering (ASE) 2018.

  • Repairing Crashes in Android Apps  [pdf]  [website] 

    Shin Hwei Tan, Zhen Dong, Xiang Gao, and Abhik Roychoudhury

    40th International Conference on Software Engineering(ICSE), 2018

  • Test-equivalence Analysis for Automatic Patch Generation [pdf]

    Sergey Mechtaev, Xiang Gao, Shin Hwei Tan, Abhik Roychoudhury

    Transactions on Software Engineering and Methodology ( TOSEM ), 2018

  • Write-back aware shared last-level cache management for hybrid main memory

    Deshan Zhang, Lei Ju, Mengying Zhao, Xiang Gao, Zhiping Jia
    53rd Design Automation Conference (DAC), 2016

Work Experience

Research Intern ​ — ​ Microsoft Research

Jan, 2020 - Jun, 2020; Redmond, Washington, USA

I mainly worked on a project to generate edit suggestions via semi-supervised program synthesis.

Research Intern ​ — ​ Fujitsu Laboratories of America

Sep, 2018 - Dec, 2018; Sunnyvale, California, USA

I mainly worked on a project to enhance the robustness of AI model via data augmentation.

Teaching Assistant ​ — ​ National University of Singapore
CS4218 - Software Testing (AY 2018/2019 Semester 2)
CS2100 - Computer Organization (AY 2016/2017 Semester 2)

CS4211 - Formal Method for Software Engineering (AY 2017/2018 Semester 1)

Research Assistant ​ — ​ National University of Singapore

Jul, 2017 - Dec, 2017; Singapore

I mainly worked on building a symbolic execution platform for Android.

System Engineer Intern ​ — ​ Alibaba

Jul, 2015 - Oct, 2015; Beijing, China

I have mainly worked on enhancing Android system security using MAC (Mandatory Access Control).



  • Program Committee Member of Computing Research Week (NUS)
  • Sub-reviewer of ICSE, MSR and FSE


  • Sub-reviewer of ASE and FSE
  • Reviewer of TSE and Computer Journal


  • Sub-reviewer of FSE

Selected Awards

  • Dean's Graduate Research Excellence Award, 2019, NUS

  • Research Achievement Award, 2018, NUS

  • President's Graduate Fellowship, 2016-2020

  • The first place of Technology Innovation of Shandong University, 2015

  • Outstanding students scholarship of Shandong University, 2014


© Copyright gaoxiang