Activities
Professional Activities
- Organizing Committee Services
- Program Committee Services
- 2025: ICSE’25, ICSE’25 New Ideas and Emerging Results Track, ICDCS’25 Blockchain and Databases Track
- 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
- Chenguang Zhu
Invited Talks
- 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
- 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
- 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)
School of Computer Science and Engineering, 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