Registered user since Thu 13 Nov 2014
Rongxin Wu is currently an associate professor in Department of Cyber Space Security, Xiamen University. He received his PhD degree from HKUST in 2017. His research interests include program analysis, software security, and mining software repository. His research work has been regularly published in top conferences and journals in the research communities of program languages and software engineering, including POPL, PLDI, ICSE, FSE, ISSTA, ASE, TSE and EMSE and so on. He has served as a reviewer in reputable international journals and a program committee member in several international conferences. He has ever received ACM SIGSOFT Distinguished Paper award. More information about him can be found at: https://wurongxin1987.github.io/wurongxin.xmu.edu.cn/.
|ESEC/FSE 2021||Skeletal Approximation Enumeration for SMT Solver Testing|
|Show activities from other conferences|
View general profile