Current

• CS 241, Foundations of Sequential Programs (Fall)

2025

• CS 846, Advanced Topics in Software Engineering (Winter):

2024

• CS 241, Foundations of Sequential Programs (Fall)
• CS 241, Foundations of Sequential Programs (Winter)

2023

• CS 846, Advanced Topics in Software Engineering (Fall)
• SE 465, Software Testing and Quality Assurance (Winter)

2022

• CS 846, Advanced Topics in Software Engineering (Fall)
• SE 465, Software Testing and Quality Assurance (Winter)
• CS 846, Advanced Topics in Software Engineering (Winter)

2021

• SE 465, Software Testing and Quality Assurance (Winter)
• CS 846: Advanced Topics in Software Engineering (Winter)

2020

• SE 465: Software Testing and Quality Assurance (Winter)
• CS 846: Advanced Topics in Software Engineering (Winter)

• PI, Google Research Scholar Program, 2025
• PI, Canada NSERC Discovery, 2024-2029
• PI, Cisco Research Gift, 2022
• PI, Ontario Research Fund - Research Infrastructure (ORF-RI) Grant, 2021
• PI, CFI John R. Evans Leaders Fund (JELF), 2021
• PI, WHJIL Project, 2021-2023
• CO-PI, WHJIL Project, 2020-2022
• PI, Canada NSERC Discovery, 2019-2024
• CO-PI, US NSF Grant, SHF:Small:Compiler Validation via Equivalence Modulo Inputs, 2015-2017

• Most Influential Paper Award at OOPSLA, 2025

• David R. Cheriton Faculty Fellowship in Computer Science (2025-2028)

• Most Influential Paper Award at SANER, 2022

• Nominee for Best Paper Award at ICSM, 2013

• ACM SIGSOFT Distinguished Paper Award at ASE, 2012

• NUS Research Scholarship, Singapore, 2008 - 2012

• ACM SIGSOFT CAPS Fund to Attend ICSE'10 (Merit-Based), 2010

• NUS Research Achievement Award, Singapore, 2010

• 2006 IBM Excellent Student Scholarship, China, 2006

• First Prize in IBM Cup Campus Innovation and Design Contest, Greater China, 2005

For Prospectives

• Funded Ph.D. openings for self-motivated, technically strong candidates (master’s degrees not required).

• Funded master’s openings are only for domestic students due to funding changes from Fall 2026.

• Research opportunities for UWaterloo undergraduates: URA, USRA, URF, CS499.

Ph.D. Students

• Zhenyang Xu (Aug 2020 ~ Expected 2026)

  • ASE 2025
  • OOPSLA 2025
  • TOSEM 2024
  • ISSTA 2024
  • TOSEM 2023
  • FSE 2023
  • IJCAI 2023
  • OOPSLA 2023
  • ASPLOS 2023
  • ISSTA 2021

• Xintong Zhou (Jan 2024 ~ )

  • ICSE 2025

• Hongxu Xu (May 2025 ~ )

• Chunhao Liao (Sep 2025 ~ )

MMath Students

• Seemal Tausif (co-advisor: Dr. Yousra Aafer, Jan 2025 ~ )

Ph.D. Alumni

• Yongqiang (Victor) Tian, (co-advisor: Dr. S.C. Cheung, Aug 2020 ~ Jul 2023)

  • Current Employment: Lecturer (Assistant Professor) at Monash University, Australia (2025)
  • First Employment: Research Assistant Professor at HKUST (2023)
  • Dissertation: Assessing the Reliability of Deep Learning Applications
  • TOSEM 2024
  • ISSTA 2024
  • TOSEM 2023
  • ISSTA 2023
  • FSE 2023
  • IJCAI 2023
  • TOSEM 2023
  • OOPSLA 2023
  • ASPLOS 2023
  • ICSE 2022
  • TOSEM 2022

• Mengxiao (Max) Zhang (Aug 2021 ~ May 2025)

  • Dissertation: Program Reduction: Versatility, Insights, and Efficacy
  • TOSEM 2024
  • ISSTA 2024
  • TOSEM 2023
  • FSE 2023
  • OOPSLA 2023

• Yiwen Dong (Aug 2019 ~ Sep 2025)

  • Dissertation: Precise and Scalable Constraint-Based Type Inference for Incomplete Java Code Snippets in the Age of Large Language Models
  • ISSTA 2024
  • TOSEM 2023
  • IJCAI 2023
  • ASPLOS 2023
  • ICSE 2022
  • TOSEM 2022

MMath Alumni

• Zheyang (Charles) Li (Sep 2019 ~ May 2021)

  • First Employment: Cisco Ottawa

  • Thesis: An Empirical Study on Bash Language Usage in Github

  • TOSEM 2022

• Yaxin Cheng (Sep 2020 ~ Aug 2022)

  • First Employment: Google Waterloo

  • Thesis: Ape+: A Faster Ape with Static Model Guided Exploration

• Xueyan Zhang (Jan 2021 ~ Nov 2022)

  • First Employment: Huawei Canada

  • Thesis: On the Caching Scheme to Speed Up Program Reduction

  • TOSEM 2023

• Gaosen Zhao (Sep 2021 ~ Aug 2023)

• Aryan Haddadi (Sep 2022 ~ May 2024)

• Boren Zang (Sep 2021 ~ May 2024)

• Raymond Chang (Sep 2022 ~ Jun 2024)

• Yiran (Elaine) Wang (Sep 2023 ~ May 2025)

  • First Employment: Amazon Canada
  • ASE 2025

Visiting Students

• Puzhuo Liu (Sep 2022 ~ Aug 2023)
  • TOSEM 2025
  • ASPLOS 2024
  • TOSEM 2024
  • TOSEM 2024

Undergraduate Students

• Matthew Au-Yeung

  • 2024 F, Part-time URA
  • 2024 S, Part-time URA

• Wen Xu Poh

  • 2024 S, Part-time URA

• Richella Li

  • 2023 F, Part-time URA

• Chuqiao Zhou

  • 2023 S, Mitacs International Visiting Student
  • Southeast University

• Jiale (Tom) Tian

  • First Employment: Master by Research at UIUC
  • FSE Tool 2023
  • 2021 S, Part-time URA
  • 2021 F, Part-time URA
  • 2022 W, CS 499R
  • 2022 S, CS 499T
  • 2022 F, Part-time URA
  • 2023 W, Part-time URA

• Trusha Shah

  • 2022, F, Full-time Undergraduate Research Fellow, undergraduate from Dalhousie University

• Jiarui Zhang

  • TOSEM 2024
  • 2022 S, Part-time URA
  • 2022 F, CS 499R

• Theodore Wang

  • ASPLOS 2023
  • 2020 F, Part-time URA
  • 2021 W, Part-time URA
  • 2021 S, Part-time URA
  • 2021 F, Part-time URA
  • 2022 W, CS 499R
  • 2022 S, CS 499T

• Xinru Cheng

  • ICSE 25
  • 2021 S, Part-time URA
  • 2021 F, Part-time URA
  • 2022 W, CS 499R
  • 2022 S, CS 499T

• Jiabao Zheng

  • 2021 F, Part-time URA
  • 2022 W, Part-time URA
  • 2022 S, Part-time URA

• Yuchen Wang

  • 2022 S, Mitacs International Visiting Student
  • Beihang University

• Zidan (Ivan) Shan

  • 2022 S, Part-time URA

• Gaosen Zhao

  • 2020 S, Part-time URA
  • 2020 F, Part-time URA
  • 2021 W, Part-time URA

• Clara Xi

  • 2020 F, Full-time CO-OP URA

• Zhiping Cai

  • 2020 F, Part-time URA

• Ruitao Lai

  • 2020 F, Part-time URA

Program Committee

• 2026: ICSE, OOPSLA

• 2025: ICSE, ISSTA, ASE

• 2024: ESEC/FSE, ISSTA, ASE

• 2022: ESEC/FSE

• 2021: ISSTA; ESEC/FSE Visions and Reflections, ICSME

• 2020: ESEC/FSE, ICSE SEIP, ESEC/FSE Visions and Reflections, ASE, ICSME, MibileSoft

• 2019: ISSTA, ASE

• 2018: ICSME

Journal Reviewer

• 2017: EMSE

• 2016: EMSE

• 2015: TACO, EMSE

• 2014: TKDE, STVR

• 2013: IET Software, KAIS

Artifact Evaluation Committee

• 2017: PLDI, ISSTA

• 2016: PLDI

Reviewer

• 2017: ISSTA

• 2016: SETTE

• 2015: FSE, CAV

• 2014: ISSTA, HVC