PredicateFix: Using Bridging Predicates to Fix Static Analysis Alarms (in Chinese)
Keynote Speech, Software Analysis and Security Forum, China Software Conference, Wuhan, China
Invited talks
73 talks
2025
Neural Code Generation Models with Programming Language Knowledge (in Chinese)
Neuro-Symbolic Software Forum, China Software Conference, Wuhan, China
Neural Code Generation Models with Programming Language Knowledge (in Chinese)
Huawei Huyanglin Forum, CNCC, Harbin, China
Neural Code Generation Models with Programming Language Knowledge (in Chinese)
Invited Talk, BASICS Workshop on Frontiers in Theoretical Computer Science, Shanghai, China
Neural Code Generation Models with Programming Language Knowledge (in Chinese)
Invited Lecture, Lenovo, Online
Position Statement on SE Challenges: Code Refactoring and Optimization (in Chinese)
Invited Position Statement, Young Scholar Forum, TCSE, CCF, Suzhou, China
Neural Code Generation Models with Programming Language Knowledge (in Chinese)
Invited Lecture, Lecture Series on Academic Exchange, UESTC, China
Neural Code Generation Models with Programming Language Knowledge
Invited Talk, Workshop on Structural AI, Shanghai, China
Neural Code Generation Models with Programming Language Knowledge
Invited Talk, SETSS 2025, Beijing, China
An Overivew of Programming Language Research (in Chinese)
Keynote Speech, ChinaSys, Chongqing, China
Deep Code Model with Programming Language Knowledge (in Chinese)
Keynote Speech, Huawei Workshop on Intelligent Cloud in AI Age, Beijing, China
SmartFL: Semantics Based Probabilistic Fault Localization
IFIP WG2.4 Annual Meeting 70, Singapore
2024
Neural Code Generation Models with Programming Language Knowledge
Dagstuhl Seminar 24431 on Automated Programming and Program Repair
Algorithm Synthesis: Synthesizing efficient programs by Algorithmic Paradigms (in Chinese)
Invited Talk, Young Scholar Forum, TCSE, CCF, Tianjin, China
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis
IFIP WG2.4 Annual Meeting 69, Lugano, Switzerland
2023
Algorithm Synthesis - Synthesizing Efficient Programs by Automatically Applying Algorithmic Paradigms
IFIP WG2.4 Annual Meeting, York Harbor, USA
2022
Program Repair: History and Future
Keynot Speech, Program Repair Forum, CCF Chinasoft
2021
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric case, 10 years after
MODELS 2021 Most Influential Paper Talk
Inductive Program Synthesis
2021 Workshop on Foundations and Methods for Software in Emerging Systems, FMSES 2021
From Paramters to Probabilities -- Recent Progress at Peking University on Program Synthesis and Debugging
Forum on Defect Detection, Southeast University, China
2020
2019
Learning to Synthesize
Keynote Speech, The First International Workshop on Intelligent Bug Fixing
Defect Detection and Repair
Keynote Speech, the Software Engineering Forum, Beijing Research Center, Huawei
2018
A Grammar-Based Structural CNN Decoder for Code Generation
ISHCS'18: International Symposium on High-Confidence Software
Program Repair and the Progress from Peking University
Distinguished Young Researchers in Software, Theory and System Forum, SciChina
2017
Faster Mutation Analysis via Equivalence Modulo States
The PKU International Workshop on Modeling Analysis and Verification of Large-Scale Complex Systems, Beijing
Precise Program Repair
Forum on Grand Challenges in Internetware Research for the Next Decade, Peking University, Beijing
2016
Detecting Inaccuracies in Floating-Point Programs
Forum on the Frontier of Information Science, Beijing
Patl: Safe Program Transformation between APIs with Many-to-Many Mappings
Hangzhou Research Lab, Huawei Co., Zhejiang, China
2015
2014
Interactive fixes for software configuration
Invited talk, Young Scholar Forum, NASAC, Guilin, China
Transformations you can trust--towards high-confidence program transformations
4th Asian Workshop of Advanced Software Engineering, Beijing, China
Interactive fixes for software configuration
Invited seminar talk, Sun Yat-Sen Univeristy, Guangzhou, China
2013
Automatic memory-leak fixing for C programs
International Symposium for High Confidence Software
Interactive fixes for software configuration
Invited seminar talk, Dalian University of Technology, Dalian, China
Interactive fixes for software configuration
Invited seminar talk, National Institute of Informatics, Tokyo, Japan
2012
Range Fixes and Their Application on Software Configuration
International Symposium on High Confidence Software
2011
From State- to Delta-based Bidirectional Model Transformations
Invited seminar talk, University of Science and Technology of China, Suzhou, China
Research @ GSD Lab, U Waterloo
Invited seminar talk, Institute of Software Engineering, Peking University, China (slides available upon request)
2009
A Language-based Approach to Model Synchronization
Invited seminar talk, Institute of Software, Chinese Academy of Science, China
Beanbag: A Language for Automatic Model Inconsistency Fixing
3rd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Changsha, China
Facilitating Model Inconsistency Fixing
18th GRACE Seminar on Advanced Software Science and Engineering
Beanbag: Operation-based Synchronization with Intra-Relation Support
2nd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Kanagawa, Japan
2008
Operation-Based Synchronization with Intra-Relation Support
GRACE International Meeting on Bidirectional Transformations, Kanagawa, Japan
Synchronizing Software Engineering Artifacts
Invited seminar talk, Software Engineering Institute, Peking University, China
Synchronizing Software Engineering Artifacts
Invited seminar talk, Institute of Software, Chinese Academy of Science, China
2007
Towards Automatic Model Synchronization from Model Transformation
1st Joint Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Beijing, China