Chengnian Sun

Chengnian Sun

Assistant Professor of Computer Science

University of Waterloo

Assistant Professor (Aug 2019 ~ )
Cheriton School of Computer Science
University of Waterloo, Canada

Ph.D. (Aug 2008 ~ Nov 2013)
School of Computing
National University of Singapore


Research Interests

  • Software Engineering
  • Programming Languages

with a focus on software reliability and programming productivity, e.g.,

  • Compiler Testing: EMI
  • Android Testing: APE
  • Program Reduction: Perses

Misc

Publications

Quickly discover relevant content by filtering publications.
(2022). EDAssistant: Supporting Exploratory Data Analysis in Computational Notebooks with In-Situ Code Search and Recommendation. ACM Transactions on Interactive Intelligent Systems (TIIS).

PDF Cite DOI

(2022). Bash in the Wild: Language Usage, Code Smells, and Bugs. ACM Transactions on Software Engineering and Methodology (TOSEM).

PDF Cite Code DOI

(2022). Toward More Efficient Statistical Debugging with Abstraction Refinement. ACM Transactions on Software Engineering and Methodology (TOSEM).

(2022). SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets. 44th International Conference on Software Engineering (ICSE).

PDF Code

(2022). Feature-FL: Feature-based Fault Localization. IEEE Transaction on Software Reliability.

PDF Cite DOI

(2021). RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. USENIX Annual Technical Conference (USENIX ATC).

PDF Cite

(2021). Empirical Evaluation of Smart Contract Testing: What is the Best Choice?. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

PDF Cite DOI

Teaching

Upcoming

  • CS 846, Advanced Topics in Software Engineering (Fall)

2022

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

Grants

  • 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

Awards

  • Most Influential Paper Award at SANER, 2022

  • 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

Students

For Prospectives

  • Funded openings for self-motivated, technically strong Ph.D. students

  • URA, USRA, URF, CS499 for UWaterloo undergraduates

  • Few scholarships for exceptional master candidates with interests in Ph.D.

Ph.D. Students

MMath Students

  • Yaxin Cheng (Aug 2020 ~ Aug 2022)

  • Xueyan Zhang (Jan 2021 ~ )

  • Gaosen Zhao (Aug 2021 ~ )

  • Boren Zang (Aug 2021 ~ )

MMath Alumni

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

Undergraduate Students

  • Theodore Wang

    • 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

    • 2021 S, Part-time URA
    • 2021 F, Part-time URA
    • 2022 W, CS 499R
    • 2022 S, CS 499T
  • Jiale Tian

    • 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
  • Jiaru Zhang

    • 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

Activities

Program Committee

  • 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

Experience

 
 
 
 
 
Assistant Professor
Aug 2019 – Present Waterloo, Ontario, Canada
 
 
 
 
 
Software Engineer
Feb 2017 – Aug 2019 Mountain View, California, USA
 
 
 
 
 
Postdoctoral Researcher
Dec 2013 – Feb 2017 Davis, California, USA
 
 
 
 
 
Research Intern
Software Analytics Group, Microsoft Research Asia
Apr 2012 – Jul 2012 Beijing, China
 
 
 
 
 
Research Assistant
Apr 2008 – Aug 2008 Singapore
 
 
 
 
 
Research Intern
IBM China Research Lab
Jan 2007 – Apr 2008 Beijing, China
 
 
 
 
 
Product Validation Engineer
Intel Asia-Pacific R&D Ltd
Jun 2006 – Jan 2007 Shanghai, China

Contact