Client-Specific Equivalence Checking accepted by ASE'18 (acceptance rate 19.9%)!
Joining SCSE at NTU this August!
Received the Chinese Government Award for Outstanding Students Abroad (2017)!
CSlicerCloud: A Web-Based Semantic History Slicing Framework accepted by ICSE'18!
Managing Software Evolution through Semantic History Slicing accepted by ASE'17!
First beta version of CSlicer Cloud is now released!
FHistorian: Locating Features in Version Histories accepted by SPLC'17 (acceptance rate 30%)!
Received the Wolfond Scholarship in Wireless Information Technology!
A Dataset for Dynamic Discovery of Semantic Changes in Version Controlled Software Histories accepted by MSR'17!
Semantic Slicing of Software Version Histories accepted by TSE!
Precise Semantic History Slicing through Dynamic Delta Refinement accepted by ASE'16 (acceptance rate 19.1%)!
I have started a research internship at Google in Mountain View, CA.
Using Metric Temporal Logic to Specify Scheduling Problems accepted by KR'16!
ASE paper awarded the ACM Distinguished Paper Award!
I'm attending the 2015 Marktoberdorf Summer School.
Semantic Slicing of Software Version Histories accepted by ASE'15 (acceptance rate 20.8%)!
Angelic Verification: Precise Verification Modulo Unknowns accepted by CAV'15 (acceptance rate 27%)!
I have started a summer research internship at Microsoft Research India in Bangalore, India.
Management of Time Requirements in Component-based Systems accepted by FM'14 (acceptance rate 28%)!
Symbolic Optimization with SMT Solvers accepted by POPL'14 (acceptance rate 51/220=23.2%)!
Model Checking Approach to Automated Planning accepted by FMSD!
Source code of the symbolic optimization tool SYMBA is now released!