特邀报告

73 场报告

2025

2025年11月

PredicateFix：利用桥接谓词修复静态分析警报

中国软件大会软件分析与安全论坛主题报告，武汉

胶片

2025年11月

程序设计语言知识增强的深度代码模型

中国软件大会神经符号融合软件论坛，武汉

胶片

2025年10月

程序设计语言知识增强的深度代码模型

中国计算机大会胡杨林论坛主题报告，哈尔滨

胶片

2025年9月

程序设计语言知识增强的深度代码模型

理论计算机科学前沿论坛特邀报告，上海

胶片

2025年7月

程序设计语言知识增强的深度代码模型

联想集团科技资讯报告，在线

胶片

2025年7月

大规模代码遗产系统的重构与优化——软件工程难题与挑战

中国计算机学会软工专委青年论坛引导报告，苏州

胶片

2025年6月

程序设计语言知识增强的深度代码模型

电子科技大学“研究生人文教育与学术交流月”讲座，成都

胶片

2025年6月

Neural Code Generation Models with Programming Language Knowledge

Invited Talk, Workshop on Structural AI, Shanghai, China

胶片

2025年5月

Neural Code Generation Models with Programming Language Knowledge

Invited Talk, SETSS 2025, Beijing, China

胶片

2025年5月

程序设计语言研究概览

中国计算机系统研讨会主题演讲，重庆

胶片

2025年4月

程序设计语言知识增强的深度代码模型

华为云-AI时代的智能云研讨会主题报告，北京

胶片

2025年2月

SmartFL: Semantics Based Probabilistic Fault Localization

IFIP WG2.4 Annual Meeting 70, Singapore

胶片

2025年1月

感知编程语言约束的深度学习模型

自然科学基金委“知行学堂”，北京

胶片

2024

2024年10月

Neural Code Generation Models with Programming Language Knowledge

Dagstuhl Seminar 24431 on Automated Programming and Program Repair

胶片

2024年8月

算法合成——自动应用算法模式合成高效程序

中国计算机学会软工专委青年学者论坛特邀报告，天津

胶片

2024年5月

Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis

IFIP WG2.4 Annual Meeting 69, Lugano, Switzerland

胶片

2024年1月

逻辑与概率结合的程序合成

秀湖会议，苏州

胶片

2023

2023年4月

Algorithm Synthesis - Synthesizing Efficient Programs by Automatically Applying Algorithmic Paradigms

IFIP WG2.4 Annual Meeting, York Harbor, USA

胶片

2022

2022年11月

程序缺陷修复：历史与展望

中国软件大会缺陷修复论坛主题报告

2021

2021年12月

程序合成：从补丁合成到算法合成

中国软件大会-NASAC青年软件创新奖论坛

胶片视频

2021年10月

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric case, 10 years after

MODELS 2021 最有影响力论文演讲

胶片

2021年8月

归纳程序合成技术

新兴系统软件基础和方法学术研讨会

胶片

2021年7月

归纳程序合成技术

中国计算机学会学科前沿讲习班118《软件自动化：从低代码到无代码开发》

胶片视频

2021年6月

从参数化到概率化——北京大学在程序合成和调试上的近期部分工作介绍

缺陷全方位检测论坛，东南大学

胶片

2020

2020年10月

交互式程序综合中的问题选择

中国计算机大会程序设计语言的研究与发展论坛，北京

胶片

2020年10月

检测神经网络体系结构的数值计算缺陷

中国计算机大会人工智能软件系统的质量保障论坛，北京

胶片

2019

2019年7月

Program Synthesis: A Tutorial

ISSTA 2019 暑期学校

胶片

2019年7月

设计一个缺陷自动修复系统

DeeCamp人工智能训练营

胶片

2019年6月

程序生成学习

软件分析与验证研讨会

胶片

2019年3月

程序生成学习

国际智能缺陷修复讨论会主题演讲

胶片

2019年3月

缺陷查找与修复技术

华为北研所软件工程大会主题报告

胶片

2018

2018年12月

A Grammar-Based Structural CNN Decoder for Code Generation

国际高可信软件研讨会

胶片

2018年11月

缺陷修复技术介绍

全国软件与应用大会缺陷修复论坛

胶片

2018年11月

软件分析课程开设感想

全国软件与应用大会系统教育论坛

胶片

2018年7月

缺陷修复技术和北京大学近期进展

全国软件、理论与系统领域优秀青年学者研讨会

胶片

2018年5月

Precise Program Repair

SINTEF

胶片

2018年4月

缺陷修复技术

中国科学院软件研究所

胶片

2017

2017年11月

缺陷修复技术

全国软件分析测试与演化学术会议，哈尔滨

胶片

2017年10月

缺陷修复技术

西湖论坛，杭州

胶片

2017年10月

Faster Mutation Analysis via Equivalence Modulo States

The PKU International Workshop on Modeling Analysis and Verification of Large-Scale Complex Systems, Beijing

2017年8月

我对软件工程研究的认识

软件工程青年学者沙龙，北京

胶片

2017年8月

精准缺陷修复

北京大学高可信软件技术引智基地暑期论坛

胶片

2017年7月

缺陷修复技术

深圳华为公司

胶片

2017年6月

缺陷修复技术

电子科技大学“研究生人文教育与学术交流月”讲座，成都

胶片

2017年6月

缺陷定位技术

电子科技大学“研究生人文教育与学术交流月”讲座，成都

胶片

2017年5月

缺陷修复技术

百度公司，北京

胶片

2017年1月

Towards Trustworthy Program Repair

Dagstuhl 17022 on Automated Program Repair

胶片

2016

2016年11月

Detecting Inaccuracies in Floating-Point Programs

信息科学理论研究前沿论坛，北京

胶片

2016年8月

缺陷修复技术

软件工程青年学者沙龙，南京，江苏

胶片

2016年4月

缺陷修复技术

浙江大学特邀报告

胶片

2016年4月

PATL: 面向API变换的程序变换语言

华为杭州研究院特邀报告

胶片

2016年4月

编译器测试技术的实证研究

阿里巴巴集团特邀报告

胶片

2015

2015年5月

Safe Memory-Leak Fixing for C Programs

清华大学特邀技术报告

胶片

2015年4月

程序分析和编程语言设计——从哥德尔不完备定理说起

软件工程青年学者沙龙

胶片

2014

2014年12月

Safe memory leak fixing for C programs

软件分析与验证研讨会

胶片

2014年11月

软件配置的交互式修复

全国软件与应用大会青年学者论坛特邀报告

胶片

2014年10月

Transformations you can trust--towards high-confidence program transformations

4th Asian Workshop of Advanced Software Engineering, Beijing, China

胶片

2014年5月

Interactive fixes for software configuration

中山大学特邀技术报告

胶片

2013

2013年12月

Automatic memory-leak fixing for C programs

International Symposium for High Confidence Software

胶片

2013年10月

Interactive fixes for software configuration

大连理工大学特邀技术报告

胶片

2013年8月

Interactive fixes for software configuration

日本国立情报研究所特邀技术报告

胶片

2012

2012年10月

Range Fixes and Their Application on Software Configuration

International Symposium on High Confidence Software

胶片

2011

2011年11月

From State- to Delta-based Bidirectional Model Transformations

中国科学技术大学苏州研究院特邀技术报告

胶片

2011年1月

Position Statement: Fix Generation

BX Dagstuhl Seminar, Dagstuhl, Germany

胶片

2011年1月

Research @ GSD Lab, U Waterloo

北京大学软件工程研究所特邀技术报告

2009

2009年11月

A Language-based Approach to Model Synchronization

中科院软件所特邀技术报告

胶片

2009年11月

Beanbag: A Language for Automatic Model Inconsistency Fixing

3rd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Changsha, China

胶片

2009年4月

Facilitating Model Inconsistency Fixing

18th GRACE Seminar on Advanced Software Science and Engineering

胶片

2009年1月

Beanbag: Operation-based Synchronization with Intra-Relation Support

2nd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Kanagawa, Japan

胶片

2008

2008年12月

Operation-Based Synchronization with Intra-Relation Support

GRACE International Meeting on Bidirectional Transformations, Kanagawa, Japan

胶片

2008年3月

Synchronizing Software Engineering Artifacts

Invited seminar talk, Software Engineering Institute, Peking University, China

胶片

2008年3月

Synchronizing Software Engineering Artifacts

Invited seminar talk, Institute of Software, Chinese Academy of Science, China

胶片

2007

2007年12月

Towards Automatic Model Synchronization from Model Transformation

1st Joint Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Beijing, China

胶片