Research Interests

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).


Under Working