Activities

Professional Activities

• Organizing Committee
  • 2025: FSE’25 Journal-First PC Co-Chair, APSEC’25 Journal-First PC Co-Chair
  • 2023: ICFEM’23 PC Co-Chair
  • 2022: FSE’22 Diversity, Inclusion and Hybridization Co-Chair, SEAIS’22 PC Co-Chair
  • 2020: ICECCS’20 PC Co-Chair, ISSTA’20 Web Chair, APSEC’20 Local Chair
  • 2019: ICFEM’19 Doctoral Symposium PC Co-Chair
• Program Committee Services
  • 2026: FSE’26
  • 2025: ICSE’25, ICSE’25 New Ideas and Emerging Results Track, ASE’25, ICDCS’25 Blockchain and Databases Track, LMPL’25, ICECCS’25
  • 2024: ICSE’24, ICSE’24 Tool Demo Track, FSE’24 Ideas, Visions and Reflections Track, ISSTA’24, QRS’24 Workshop on Blockchain and Smart Contracts
  • 2023: ICSE’23, FSE’23, FM’23, FTSCS’23, SETTA’23, ASE’23 Tool Demo Track, QRS’23 Workshop on Blockchain and Smart Contracts
  • 2022: ASE’22, ICDCS’22 Blockchain Track, FASE’22, ICFEM’22, SETTA’22, VariVolution’22, ICSE’22 Poster Track, ASE’22 Tool Demo Track, QRS’22 Workshop on Blockchain and Smart Contracts
  • 2021: ASE’21, FSE’21, FASE’21, SETTA’21, VariVolution’21, iMLSE’21, ASE’21 Tool Demo Track, FSE’21 Doctoral Symposium, MOBILESoft’21 Vision and Tool Demos Track, QRS’21 Workshop on Blockchain and Smart Contracts
  • 2020: ASE’20, iMLSE’20, FROM’20, ICFEM’20, ICDCS’20 Blockchain Track, QRS’20 Workshop on Blockchain and Smart Contracts, MOBILESoft’20 Tool Track, SANER’20 Tool Track
  • 2019: ASE’19 Tool Demo Track, VSTTE’19, SANER’19 Tool Track
  • 2016: CAV’16 Artifact Evaluation Track
• Reviewing Services
  • IEEE Transactions on Software Engineering (TSE)
  • Empirical Software Engineering (EMSE)
  • IEEE Transactions on Dependable and Secure Computing (TDSC)
  • ACM Transactions on Software Engineering and Methodology (TOSEM)
  • IEEE Transactions on Network and Service Management (TNSM)
  • IEEE Transactions on Engineering Management (TEM)
  • Future Generation Computer Systems (FGCS)
  • Journal of Systems and Software (JSS)
  • IEEE Transactions on Reliability
  • IEEE Software
  • International Journal on Software Tools for Technology Transfer (STTT)
  • Journal of Computer Science and Technology (JCST)
  • Information and Software Technology (IST)
  • The Natural Sciences and Engineering Research Council of Canada (NSERC) Discovery Grant
  • The Icelandic Research Fund
• External PhD Committees
  • Chenguang Zhu
    • Automated Analysis and Tooling for Supporting Software Evolution
    • Department of Electrical and Computer Engineering, University of Texas at Austin
    • Advisor: Sarfraz Khurshid
  • Tai D. Nguyen
    • Towards Securing Smart Contracts Systematically
    • School of Computing & Information Systems, Singapore Management University
    • Advisor: Jun Sun

Invited Talks

• A Comprehensive Study of Governance Issues in Decentralized Finance Applications
  • The 33rd ACM International Conference on the Foundations of Software Engineering (FSE), Trondheim, Norway, June 2025
• SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
  • Nanjing University, Nanjing, China, June 2025
  • The 47th International Conference on Software Engineering (ICSE), Ottawa, ON, Canada, April 2025
• An Empirical Study to Evaluate AIGC Detectors on Code Content
  • The 39th IEEE/ACM International Conference on Automated Software Engineering (ASE), Sacramento, CA, United States, October 2024
• Automated Generation of Formal Program Specifications via Large Language Models
  • Beijing Institute of Technology, Beijing, China, June 2025
  • Workshop on LLM-based Code Agent, Singapore, December 2024
  • National University of Singapore, Singapore, September 2024
  • Huawei Sentosa Software Technology Summit 2024, Singapore, August 2024
• Effective Learning Through In-Class Online Competitions
  • From Good to Great, NTU Annual Learning and Teaching Conference, Singapore, October 2023
• CompSuite: A Dataset of Java Library Upgrade Incompatibility Issues
  • The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Kirchberg, Luxembourg, September 2023
• Building Trustworthy Decentralized Applications (Keynote)
  • The 8th International Conference on Information Management and Technology (ICIMTech), Malang, Indonesia, August 2023
• Finding Permission Bugs in Smart Contracts with Role Mining
  • Hong Kong University of Science and Technology, Hong Kong, China, June 2023
  • Hong Kong Polytechnic University, Hong Kong, China, June 2023
  • Beihang University, Beijing, China, June 2023
  • Wuhan University, Wuhan, China, June 2023
  • Huazhong University of Science and Technology, Wuhan, China, June 2023
• Security and Fairness Co-Design of Decentralized Applications
  • Xi’an Jiaotong University, Xi’an, China, May 2023
• Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery
  • Institute of Software Chinese Academy of Sciences, Beijing, China, June 2023
  • The 45th International Conference on Software Engineering (ICSE), Melbourne, Australia, May 2023
• Identifying Solidity Smart Contract API Documentation Errors
  • The 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), Rochester, MI, United States, October 2022
• Property-Based Automated Repair of DeFi Protocols
  • The 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), Rochester, MI, United States, October 2022
• Smart Contract Security and Fairness: A Tale of Two Contending Parties (Keynote)
  • The 12th Asia-Pacific Symposium on Internetware, Singapore, May 2021
• Towards Automated Verification of Smart Contract Fairness
  • Dagstuhl Seminar 21431 on Rigorous Methods for Smart Contracts, Schloss Dagstuhl, Germany, October 2021
  • Beijing University of Posts and Telecommunications, Online, December 2020
• GenSlice: Generalized Semantic History Slicing – Towards More Reproducible Research
  • The 36th IEEE International Conference on Software Maintenance and Evolution (ICSME), ROSE Festival, Online, September 2020
• An Overview of Semantic History Slicing
  • Fudan University, Online, September 2020
• Towards Secure and Robust Stateful Deep Learning Systems
  • International Forum for Security Research (InForSec), Xi’An, China, December 2019
• Vultron: Oracle-Supported Dynamic Exploit Generation for Smart Contracts
  • National Software Application Conference (NASAC), Hangzhou, China, November 2019
  • Beijing University of Posts and Telecommunications, Beijing, China, July 2019
• Compositional Analysis of Evolving Software Systems
  • WeBank, Shenzhen, China, August 2019
• Semantic Slicing of Software Version Histories
  • Dagstuhl Seminar 19191 on Software Evolution in Time and Space: Unifying Version and Variability Management, Schloss Dagstuhl, Germany, May 2019
  • Peking University, Beijing, China, December 2015
  • The 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Lincoln, NE, USA, November 2015
  • NECSIS Workshop 2015, Vancouver, BC, Canada, June 2015
• Client-Specific Equivalence Checking and Its Applications in Software Evolution Management
  • The 7th Asian-Pacific Workshop of Advanced Software Engineering, Gold Coast, Australia, November 2018
• Client-Specific Equivalence Checking – An Overview
  • Dagstuhl Seminar 18151 on Program Equivalence, Schloss Dagstuhl, Germany, April 2018
• Managing Software Complexity Through Compositional Analysis
  • Georgia Institute of Technology, Atlanta, GA, USA, March 2018
  • Singapore Management University, Singapore, February 2018
  • Nanyang Technological University, Singapore, February 2018
  • York University, Toronto, ON, Canada, January 2018
• Managing Software Evolution Through Semantic History Slicing
  • The 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Urbana-Champaign, IL, USA, October 2017
• FHistorian: Locating Features in Version Histories
  • The 21st International Systems and Software Product Line Conference (SPLC), Sevilla, Spain, September 2017
• Precise Semantic History Slicing through Dynamic Delta Refinement
  • The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), Singapore, September 2016
• Inter-Component Communication Analysis for Android Vulnerability Detection
  • Google, Mountain View, CA, USA, August 2016
• Introduction to Symbolic Optimization and Its Applications
  • Artificial Intelligence Lab - University of Toronto, Toronto, ON, Canada, October 2015
• Catching the Big Fish – Angelic Verification
  • Microsoft Research India, Bangalore, Karnataka, India, September 2014
• Management of Time Requirements in Component-based Systems
  • The 19th International Symposium on Formal Methods (FM), Singapore, May 2014
• Symbolic Optimization with SMT Solvers
  • Programming Language Mentoring Workshop (PLMW), San Diego, CA, USA
  • National University of Singapore, Singapore, January 2013

Work Experience

• Associate Professor (Mar 2024 - Present)
  College of Computing and Data Science, Nanyang Technological University
• Assistant Professor (Aug 2018 - Feb 2024)
  School of Computer Science and Engineering, Nanyang Technological University
• Software Engineering Researh Intern (May 2016 - Aug 2016)
  Security Team, Google
• Research Intern (Jun 2014 - Sep 2014)
  Programming Languages and Tools (PLATO) group, Microsoft Research India
• Research Assistant (Jan 2013 - May 2013)
  School of Computing, National University of Singapore