I am a Postdoctoral Researcher in the School of Computing at National University of Singapore under the supervision of Abhik Roychoudhury. Previously, I have been a PhD student in the same group. 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
PhD Dissertation, National University of Singapore, 2021
International Conference on Automated Software Engineering Tool (ASE) 2021
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2021
International Symposium on Software Testing and Analysis (ISSTA), 2021
Distinguished Artifact Award
Transactions on Software Engineering and Methodology (TOSEM), 2021
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2020
Programming Language Design and Implementation (PLDI) 2020
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.
33rd International Conference on Automated Software Engineering (ASE) 2018.
40th International Conference on Software Engineering(ICSE), 2018
Transactions on Software Engineering and Methodology ( TOSEM ), 2018
Work before PhD
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