More

Service

• Reviewer:
  IEEE Transactions on Dependable and Secure Computing (TDSC), 2022, 2021.
• Extended Review Committee:
  ECOOP 2023
• Artifact Evaluation Committee (AEC) Member:
  PLDI 2024, PLDI 2023, ECOOP 2023
• Student volunteer:
  ESEC/FSE 2020

Invited Talks

• Invisible Undefined Behavior
  This talk is a compilation of my main research, and I was invited to give this talk at multiple places.
  • [Nov. 2023] Max Planck Institutes, (virtually) Germany
  • [Oct. 2023] EPFL, Switzerland
  • [Oct. 2023] Imperial College London, UK
  • [Oct. 2023] National University of Singapore, (virtually) Singapore
  • [Oct. 2023] University College London, UK
• Finding Unstable Code via Compiler-Driven Differential Testing
  
  • [Mar. 2023] Invited talk at iSE seminar, UIUC, (virtually) US