Paper accepted by ICSE 2025
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models accepted by ICSE'25!
Archive
2024
Papers accepted by ASE 2024
Papers accepted by ASE'24 (acceptance rate 27.3%)!
Paper accepted by FSE 2024
Demystifying Invariant Effectiveness for Securing Smart Contracts accepted by FSE'24!
Paper accepted by ACM Computing Surveys
A Meta-Study of Software-Change Intentions accepted by ACM Computing Surveys!
2023
Paper accepted by INFOCOM 2024
LightCross: Sharding with Lightweight Cross-Shard Execution for Smart Contracts accepted by INFOCOM'24 (acceptance rate 19.6%)!
Won ACM SIGSOFT Distinguished Paper Award at ASE'23
ASE paper received an ACM SIGSOFT Distinguished Paper Award!
Paper accepted by FSE 2023 Ideas, Visions and Reflections Track
A Vision on Intentions in Software Engineering accepted by FSE'23!
Papers accepted by ASE 2023
Papers accepted by ASE'23 (acceptance rate 21%)!
Paper accepted by ICDCS 2023
Smart Contract Parallel Execution with Fine-Grained State Accesses accepted by ICDCS'23 (acceptance rate 18.9%)!
2022
Paper accepted by ICSE 2023
Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis accepted by ICSE'23 (acceptance rate 26%)!
Paper accepted by ACM Transactions on Software Engineering and Methodology
Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery accepted by TOSEM!
Papers accepted by ASE 2022
Two papers accepted by ASE'22 (acceptance rate 22%)!
Paper accepted by FSE 2022 Demonstrations Track
SolSEE: A Source-Level Symbolic Execution Engine for Solidity accepted by FSE'22!
PhD Scholarship Available at NTU
PhD position on Blockchain and Smart Contracts is available.
Won two ACM SIGSOFT Distinguished Paper Awards
Two ISSTA papers received the ACM SIGSOFT Distinguished Paper Awards!
Paper accepted by ASE 2022 NIER Track
Property-Based Automated Repair of DeFi Protocols accepted by ASE'22!
Paper accepted by ASE 2022 Demonstrations Track
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts accepted by ASE'22!
Paper accepted by FSE 2022
Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects accepted by FSE'22 (acceptance rate 22%)!
Papers accepted by ISSTA 2022
Two papers accepted by ISSTA'22 (acceptance rate 24.4%)!
Paper accepted by IEEE Transactions on Software Engineering
Demystifying Performance Regressions in String Solvers accepted by IEEE TSE!
2021
CX2002 Object-Oriented Design & Programming (Tutorials)
CX2002 tutorial materials.
Paper accepted by ASE 2021 Demonstrations Track
EvoMe: A Software Evolution Management Engine Based on Differential Factbase accepted by ASE'21!
Paper accepted by FSE 2021
DIFFBASE: A Differential Factbase for Effective Software Evolution Management accepted by FSE'21 (acceptance rate 24.5%)!
Keynote at Internetware 2020
I've given a keynote speech at the 12th Asia-Pacific Symposium on Internetware!
Paper accepted by ACM Computing Surveys
A Survey of Smart Contract Formal Specification and Verification accepted by ACM Computing Surveys!
Paper accepted by MSR 2021 Data Showcase
EQBENCH: A Dataset of Equivalent and Non-equivalent Program Pairs accepted by MSR'21!
Paper accepted by DeFi'21
Formal Analysis of Composable DeFi Protocols accepted by DeFi'21!
2020
Paper accepted by TDSC
Oracle-Supported Dynamic Exploit Generation for Smart Contracts accepted by IEEE TDSC!
Paper accepted by FSE 2020 Demonstrations Track
ModCon: A Model-Based Testing Platform for Smart Contracts accepted by FSE'20!
Paper accepted by ICSME 2020
GenSlice: Generalized Semantic History Slicing accepted by ICSME'20 (acceptance rate 24.9%)!
Papers accepted by ASE 2020
Two papers accepted by ASE'20 (acceptance rate 22.5%)!
Papers accepted by FSE 2020
Two papers accepted by FSE'20 (acceptance rate 28%)!
CZ2006 Software Engineering (Tutorials)
CZ2006 tutorial materials.
Paper accepted by ICSE 2020 Software Engineering in Practice Track
PRECFIX: Large-Scale Patch Recommendation by Mining Defect-Patch Pairs accepted by ICSE'20 (acceptance rate 23.5%)!
2019
Paper accepted by ICSE 2020
Typestate-Guided Fuzzer for Discovering Use-After-Free Vulnerabilities accepted by ICSE'20 (acceptance rate 20.9%)!
Papers accepted by ASE 2019 Demonstrations Track
Two papers accepted by ASE'19!
Postdoc Opportunities Available at NTU Software Engineering Group
Postdoc positions available.
Paper accepted by ASEJ
Precise Semantic History Slicing Through Dynamic Delta Refinement accepted by ASEJ!
Paper accepted by FSE 2019
DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems accepted by FSE'19 (acceptance rate 24.4%)!
2018
Paper accepted by ICSE 2019 New Ideas and Emerging Results Track
VULTRON: Catching Vulnerable Smart Contracts Once and for All accepted by ICSE'19!
CZ3003 Software System Analysis and Design (Tutorials)
CZ3003 tutorial slides.
Paper accepted by ASE 2018
Client-Specific Equivalence Checking accepted by ASE'18 (acceptance rate 19.9%)!
Joining NTU as an Assistant Professor
Joining SCSE at NTU this August!
Chinese Government Award for Outstanding Students Abroad
Received the Chinese Government Award for Outstanding Students Abroad (2017)!
Paper accepted by ICSE 2018 Demonstrations Track
CSlicerCloud: A Web-Based Semantic History Slicing Framework accepted by ICSE'18!
2017
Paper accepted by ASE 2017 Doctoral Symposium
Managing Software Evolution through Semantic History Slicing accepted by ASE'17!
CSlicer Cloud (Beta) released
First beta version of CSlicer Cloud is now released!
Paper accepted by SPLC 2017
FHistorian: Locating Features in Version Histories accepted by SPLC'17 (acceptance rate 30%)!
Wolfond Scholarship in Wireless Information Technology
Received the Wolfond Scholarship in Wireless Information Technology!
Paper accepted by MSR 2017
A Dataset for Dynamic Discovery of Semantic Changes in Version Controlled Software Histories accepted by MSR'17!
Paper accepted by TSE
Semantic Slicing of Software Version Histories accepted by TSE!
2016
Paper accepted by ASE 2016
Precise Semantic History Slicing through Dynamic Delta Refinement accepted by ASE'16 (acceptance rate 19.1%)!
Summer intern at Google
I have started a research internship at Google in Mountain View, CA.
Paper accepted by KR 2016
Using Metric Temporal Logic to Specify Scheduling Problems accepted by KR'16!
2015
Won ACM Distinguished Paper Award
ASE paper awarded the ACM Distinguished Paper Award!
Summer school at Marktoberdorf
I'm attending the 2015 Marktoberdorf Summer School.
Paper accepted by ASE 2015
Semantic Slicing of Software Version Histories accepted by ASE'15 (acceptance rate 20.8%)!
Paper accepted by CAV 2015
Angelic Verification: Precise Verification Modulo Unknowns accepted by CAV'15 (acceptance rate 27%)!
2014
Summer intern at MSR India
I have started a summer research internship at Microsoft Research India in Bangalore, India.
Paper accepted by FM 2014
Management of Time Requirements in Component-based Systems accepted by FM'14 (acceptance rate 28%)!
2013
Paper accepted by POPL 2014
Symbolic Optimization with SMT Solvers accepted by POPL'14 (acceptance rate 51/220=23.2%)!
Paper accepted by FMSD
Model Checking Approach to Automated Planning accepted by FMSD!
Symba source code released
Source code of the symbolic optimization tool SYMBA is now released!