Description: Dongjie He
Postdoc, Department of CSE, UNSW Sydney
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).
Hire me! I am actively seeking a lecturer or an assistant professor position in the areas of programming languages and compilers. Here are my curriculum vitae , research statement , and teaching statement . If you are interested in me or know the positions somewhere that suit me well, please leave me a message . Thanks. Also, I am interested in research positions in industry.