CV

Education

• B.S. Xian Jiaotong University, China 2000−2004
• Combined M.S.-Ph.D University of Science and Technology Beijing, China 2005−2008 (Ph.D degree gained in 2012)
• Ph.D University of New South Wales, Australia 2009−2013

Work experience

• Jun 2020 - present: Senior Staff Engineer
  • Ant Group
  • Duties included:
    • Lead the program analysis and security team
• Jun 2018 - May 2020: Technical Expert
  • Huawei Technologies
  • Duties included:
    • The founder of MindSpore/AKG which is an open-sourced AI compiler for Huawei Ascend 910. (GitHub, Gitee)
• Mar 2020 - present: Adjunct Researcher (Professor)
  • Chinese Academy of Sciences
• Apr 2018 − present: Adjunct Senior Lecturer
  • The University of New South Wales
  • Duties included:
    • Parallel program analysis and optimization
• Sep 2013 – Mar 2018: Research Associate
  • The University of New South Wales
  • Duties included:
    • In charge of industrial projects, supported by Huawei, Pathscale, Oracle etc.
    • Finding concurrency bugs in multithreaded software, supported by Australian Research Council Discovery
    • SVF: open-sourced pointer analysis tool over LLVM, (GitHub)

Professional Activities

• Served as a reviewer for: CASES, CC, CCGrid, CGO, DATE, ICPP, ICSE, IPDPS, LCTES, PPoPP, TC, TPDS, TOSEM, TSE etc.