Program Synthesis: From Patch Synthesis to Algorithm Synthesis.
NASAC Software Innovation Award for Young Researchers, CCF Chinasoft
,
December 2021.
[Slides][Video]
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric case, 10 years after.
MODELS 2021 Most Influential Paper Talk
,
October 2021.
[Slides]
Inductive Program Synthesis.
CCF ADL 118 "Software automation: from low code to no code development"
,
July 2021.
[Slides][Video]
From Paramters to Probabilities -- Recent Progress at Peking University on Program Synthesis and Debugging.
Forum on Defect Detection, Southeast University, China
,
June 2021.
[Slides]
Inductive Program Synthesis.
2021 Workshop on Foundations and Methods for Software in Emerging Systems, FMSES 2021
,
August 2021.
[Slides]
2020
Detecting Numerical Bugs in Neural Network Architectures.
Forum on AI Quality, CNCC， Beijing
,
October 2020.
[Slides]
Question Selection in interative Program Synthesis.
Forum on Program Languages, CNCC, Beijing
,
October 2020.
[Slides]
Learning to Synthesize.
SAVE19: Software Analysis and Verification,
June 2019.
[Slides]
2018
A Grammar-Based Structural CNN Decoder for Code Generation.
ISHCS'18: International Symposium on High-Confidence Software,
December 2018.
[Slides]
Program Repair and the Progress from Peking University.
Distinguished Young Researchers in Software, Theory and System Forum, SciChina,
July 2018.
[Slides]
Lessons learned from Software Analysis Course.
Software System Education Forum, NASAC,
November 2018.
[Slides]
Precise Program Repair.
SINTEF,
May 2018.
[Slides]
2017
Towards Trustworthy Program Repair.
Dagstuhl 17022 on Automated Program Repair,
January 2017.
[Slides]
Defect Repair Techniques.
Baidu Inc., Beijing,
May 2017.
[Slides]
Defect Repair Techniques.
SATE 2017, Harbin,
November 2017.
[Slides]
My Understanding of Software Engineering Research.
YOSER 2017, Beijing,
August 2017.
[Slides]
Defect Repair Techniques.
West Lake Forum, Hangzhou, China,
October 2017.
[Slides]
Precise Program Repair.
Forum on Grand Challenges in Internetware Research for the Next Decade, Peking University, Beijing,
August 2017.
[Slides]
Faster Mutation Analysis via Equivalence Modulo States.
The PKU International Workshop on Modeling Analysis and Verification of Large-Scale Complex Systems, Beijing,
October 2017.
[Slides]
Fault Localization Techniques.
UESTC, Chengdu,
June 2017.
[Slides]
Defect Repair Techniques.
UESTC, Chengdu,
June 2017.
[Slides]
Defect Repair Techniques.
Huawei, Shenzhen,
July 2017.
[Slides]
2016
Defect Repair.
Young Research Forum on Software Engineering, Nanjing, China,
August 2016.
[Slides]
Detecting Inaccuracies in Floating-Point Programs.
Forum on the Frontier of Information Science, Beijing,
November 2016.
[Slides]
An Empirical Study of Compiler Testing Techniques.
Alibaba Group, Hangzhou, Zhejiang, China,
April 2016.
[Slides]
Patl: Safe Program Transformation between APIs with Many-to-Many Mappings.
Hangzhou Research Lab, Huawei Co., Zhejiang, China,
April 2016.
[Slides]
Safe Memory-Leak Fixing for C Programs.
Invited seminar talk, Tsinghua University, Beijing, China,
May 2015.
[Slides]
Program Analysis and Programming Language Design -- Godel's incompleteness theorem and beyond.
Young Research Forum on Software Engineering,
April 2015.
[Slides]
2014
Transformations you can trust--towards high-confidence program transformations.
4th Asian Workshop of Advanced Software Engineering, Beijing, China,
October 2014.
[Slides]
Safe memory leak fixing for C programs.
SAVE Workshop, Beijing, China,
December 2014.
[Slides]
Interactive fixes for software configuration.
Invited talk, Young Scholar Forum, NASAC, Guilin, China,
November 2014.
[Slides]
Interactive fixes for software configuration.
Invited seminar talk, Sun Yat-Sen Univeristy, Guangzhou, China,
May 2014.
[Slides]
2013
Automatic memory-leak fixing for C programs .
International Symposium for High Confidence Software,
December 2013.
[Slides]
Interactive fixes for software configuration.
Invited seminar talk, Dalian University of Technology, Dalian, China,
October 2013.
[Slides]
Interactive fixes for software configuration.
Invited seminar talk, National Institute of Informatics, Tokyo, Japan,
August 2013.
[Slides]
2012
Range Fixes and Their Application on Software Configuration.
International Symposium on High Confidence Software,
October 2012.
[Slides]
2011
From State- to Delta-based Bidirectional Model Transformations.
Invited seminar talk, University of Science and Technology of China, Suzhou, China,
November 2011.
[Slides]
Position Statement: Fix Generation.
BX Dagstuhl Seminar, Dagstuhl, Germany,
January 2011.
[Slides]
Research @ GSD Lab, U Waterloo.
Invited seminar talk, Institute of Software Engineering, Peking University, China (slides available upon request),
January 2011.
2009
Beanbag: A Language for Automatic Model Inconsistency Fixing.
3rd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Changsha, China,
November 2009.
[Slides]
A Language-based Approach to Model Synchronization.
Invited seminar talk, Institute of Software, Chinese Academy of Science, China,
November 2009.
[Slides]
Facilitating Model Inconsistency Fixing.
18th GRACE Seminar on Advanced Software Science and Engineering,
April 2009.
[Slides]
Beanbag: Operation-based Synchronization with Intra-Relation Support.
2nd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Kanagawa, Japan,
January 2009.
[Slides]
2008
Operation-Based Synchronization with Intra-Relation Support.
GRACE International Meeting on Bidirectional Transformations, Kanagawa, Japan,
December 2008.
[Slides]
Synchronizing Software Engineering Artifacts.
Invited seminar talk, Institute of Software, Chinese Academy of Science, China,
March 2008.
[Slides]
Synchronizing Software Engineering Artifacts.
Invited seminar talk, Software Engineering Institute, Peking University, China,
March 2008.
[Slides]
2007
Towards Automatic Model Synchronization from Model Transformation.
1st Joint Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Beijing, China,
December 2007.
[Slides]