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:
Transactions on Software Engineering and Methodology (TOSEM), 2020
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
I mainly worked on a project to enhance the robustness of AI model via data augmentation.
CS4211 - Formal Method for Software Engineering (AY 2017/2018 Semester 1)
I mainly worked on building a symbolic execution platform for Android.
I have mainly worked on enhancing Android system security using MAC (Mandatory Access Control).
© Copyright gaoxiang