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.
My CV can be found here.
My research interests include:
- Program Analysis;
- Automated Program Repair;
- Program Synthesis
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
Programming Language Design and Implementation (PLDI) 2020
Interactive Patch Generation and Suggestion [pdf]Xiang Gao, Abhik Roychoudhury
Automated Program Repair Workshop (APR @ ICSE) 2020
ACM/IEEE 42nd International Conference on Software Engineering (ICSE) 2020.
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.
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 memoryDeshan Zhang, Lei Ju, Mengying Zhao, Xiang Gao, Zhiping Jia
53rd Design Automation Conference (DAC), 2016
Research Intern — Fujitsu Laboratories of AmericaSep, 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 SingaporeCS4218 - 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 SingaporeJul, 2017 - Dec, 2017; Singapore
I mainly worked on building a symbolic execution platform for Android.
System Engineer Intern — AlibabaJul, 2015 - Oct, 2015; Beijing, China
I have mainly worked on enhancing Android system security using MAC (Mandatory Access Control).
© Copyright gaoxiang