My areas of interest are programming languages and compilers, and more specifically in program analysis, compiler
optimization, and formal verification. Below lists some of my past works:
- Pointer Analysis (OOPSLA'23, ASE'23, TOSEM'23, TSE'22, ECOOP'22, ASE'21, SAS'21, ECOOP'21, TOSEM'21),
- Data-flow Analysis (ASE'19, ISSTA'23, ASE'23), and its application in Defect detection (ASE'18).