特邀报告

2025

程序设计语言知识增强的深度代码模型. 理论计算机科学前沿论坛特邀报告，上海 , 2025年9月. [胶片]
程序设计语言知识增强的深度代码模型. 联想集团科技资讯报告，在线 , 2025年7月. [胶片]
大规模代码遗产系统的重构与优化——软件工程难题与挑战. 中国计算机学会软工专委青年论坛引导报告，苏州 , 2025年7月. [胶片]
Neural Code Generation Models with Programming Language Knowledge. Invited Talk, Workshop on Structural AI, Shanghai, China , 2025年6月. [胶片]
程序设计语言知识增强的深度代码模型. 电子科技大学“研究生人文教育与学术交流月”讲座，成都 , 2025年6月. [胶片]
Neural Code Generation Models with Programming Language Knowledge. Invited Talk, SETSS 2025, Beijing, China , 2025年5月. [胶片]
程序设计语言研究概览. 中国计算机系统研讨会主题演讲，重庆 , 2025年5月. [胶片]
程序设计语言知识增强的深度代码模型. 华为云-AI时代的智能云研讨会主题报告，北京 , 2025年4月. [胶片]
SmartFL: Semantics Based Probabilistic Fault Localization. IFIP WG2.4 Annual Meeting 70, Singapore , 2025年2月. [胶片]
感知编程语言约束的深度学习模型. 自然科学基金委“知行学堂”，北京 , 2025年1月. [胶片]

2024

Neural Code Generation Models with Programming Language Knowledge. Dagstuhl Seminar 24431 on Automated Programming and Program Repair , 2024年10月. [胶片]
算法合成——自动应用算法模式合成高效程序. 中国计算机学会软工专委青年学者论坛特邀报告，天津 , 2024年8月. [胶片]
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. IFIP WG2.4 Annual Meeting 69, Lugano, Switzerland , 2024年5月. [胶片]
逻辑与概率结合的程序合成. 秀湖会议，苏州 , 2024年1月. [胶片]

2023

Algorithm Synthesis - Synthesizing Efficient Programs by Automatically Applying Algorithmic Paradigms. IFIP WG2.4 Annual Meeting, York Harbor, USA , 2023年4月. [胶片]

2022

程序缺陷修复：历史与展望. 中国软件大会缺陷修复论坛主题报告 , 2022年11月. [胶片]

2021

程序合成：从补丁合成到算法合成. 中国软件大会-NASAC青年软件创新奖论坛 , 2021年12月. [胶片][视频]
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric case, 10 years after. MODELS 2021 最有影响力论文演讲 , 2021年10月. [胶片]
归纳程序合成技术. 新兴系统软件基础和方法学术研讨会 , 2021年8月. [胶片]
归纳程序合成技术. 中国计算机学会学科前沿讲习班118《软件自动化：从低代码到无代码开发》 , 2021年7月. [胶片][视频]
从参数化到概率化——北京大学在程序合成和调试上的近期部分工作介绍. 缺陷全方位检测论坛，东南大学 , 2021年6月. [胶片]

2020

检测神经网络体系结构的数值计算缺陷. 中国计算机大会人工智能软件系统的质量保障论坛，北京 , 2020年10月. [胶片]
交互式程序综合中的问题选择. 中国计算机大会程序设计语言的研究与发展论坛，北京 , 2020年10月. [胶片]

2019

Program Synthesis: A Tutorial. ISSTA 2019 暑期学校, 2019年7月. [胶片]
设计一个缺陷自动修复系统. DeeCamp人工智能训练营, 2019年7月. [胶片]
程序生成学习. 软件分析与验证研讨会, 2019年6月. [胶片]
缺陷查找与修复技术. 华为北研所软件工程大会主题报告, 2019年3月. [胶片]
程序生成学习. 国际智能缺陷修复讨论会主题演讲 , 2019年3月. [胶片]

2018

A Grammar-Based Structural CNN Decoder for Code Generation. 国际高可信软件研讨会, 2018年12月. [胶片]
缺陷修复技术介绍. 全国软件与应用大会缺陷修复论坛, 2018年11月. [胶片]
软件分析课程开设感想. 全国软件与应用大会系统教育论坛, 2018年11月. [胶片]
缺陷修复技术和北京大学近期进展. 全国软件、理论与系统领域优秀青年学者研讨会, 2018年7月. [胶片]
Precise Program Repair. SINTEF, 2018年5月. [胶片]
缺陷修复技术. 中国科学院软件研究所, 2018年4月. [胶片]

2017

缺陷修复技术. 全国软件分析测试与演化学术会议，哈尔滨, 2017年11月. [胶片]
缺陷修复技术. 西湖论坛，杭州, 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年10月. [胶片]
我对软件工程研究的认识. 软件工程青年学者沙龙，北京, 2017年8月. [胶片]
精准缺陷修复. 北京大学高可信软件技术引智基地暑期论坛, 2017年8月. [胶片]
缺陷修复技术. 深圳华为公司, 2017年7月. [胶片]
缺陷定位技术. 电子科技大学“研究生人文教育与学术交流月”讲座，成都, 2017年6月. [胶片]
缺陷修复技术. 电子科技大学“研究生人文教育与学术交流月”讲座，成都, 2017年6月. [胶片]
缺陷修复技术. 百度公司，北京, 2017年5月. [胶片]
Towards Trustworthy Program Repair. Dagstuhl 17022 on Automated Program Repair, 2017年1月. [胶片]

2016

Detecting Inaccuracies in Floating-Point Programs. 信息科学理论研究前沿论坛，北京, 2016年11月. [胶片]
缺陷修复技术. 软件工程青年学者沙龙，南京，江苏, 2016年8月. [胶片]
编译器测试技术的实证研究. 阿里巴巴集团特邀报告, 2016年4月. [胶片]
PATL: 面向API变换的程序变换语言. 华为杭州研究院特邀报告, 2016年4月. [胶片]
缺陷修复技术. 浙江大学特邀报告, 2016年4月. [胶片]

2015

Safe Memory-Leak Fixing for C Programs. 清华大学特邀技术报告, 2015年5月. [胶片]
程序分析和编程语言设计——从哥德尔不完备定理说起. 软件工程青年学者沙龙, 2015年4月. [胶片]

2014

Safe memory leak fixing for C programs. 软件分析与验证研讨会, 2014年12月. [胶片]
软件配置的交互式修复. 全国软件与应用大会青年学者论坛特邀报告, 2014年11月. [胶片]
Transformations you can trust--towards high-confidence program transformations. 4th Asian Workshop of Advanced Software Engineering, Beijing, China, 2014年10月. [胶片]
Interactive fixes for software configuration. 中山大学特邀技术报告, 2014年5月. [胶片]

2013

Automatic memory-leak fixing for C programs . International Symposium for High Confidence Software, 2013年12月. [胶片]
Interactive fixes for software configuration. 大连理工大学特邀技术报告, 2013年10月. [胶片]
Interactive fixes for software configuration. 日本国立情报研究所特邀技术报告, 2013年8月. [胶片]

2012

Range Fixes and Their Application on Software Configuration. International Symposium on High Confidence Software, 2012年10月. [胶片]

2011

From State- to Delta-based Bidirectional Model Transformations. 中国科学技术大学苏州研究院特邀技术报告, 2011年11月. [胶片]
Position Statement: Fix Generation. BX Dagstuhl Seminar, Dagstuhl, Germany, 2011年1月. [胶片]
Research @ GSD Lab, U Waterloo. 北京大学软件工程研究所特邀技术报告, 2011年1月.

2009

Beanbag: A Language for Automatic Model Inconsistency Fixing. 3rd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Changsha, China, 2009年11月. [胶片]
A Language-based Approach to Model Synchronization. 中科院软件所特邀技术报告, 2009年11月. [胶片]
Facilitating Model Inconsistency Fixing. 18th GRACE Seminar on Advanced Software Science and Engineering, 2009年4月. [胶片]
Beanbag: Operation-based Synchronization with Intra-Relation Support. 2nd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Kanagawa, Japan, 2009年1月. [胶片]

2008

Operation-Based Synchronization with Intra-Relation Support. GRACE International Meeting on Bidirectional Transformations, Kanagawa, Japan, 2008年12月. [胶片]
Synchronizing Software Engineering Artifacts. Invited seminar talk, Institute of Software, Chinese Academy of Science, China, 2008年3月. [胶片]
Synchronizing Software Engineering Artifacts. Invited seminar talk, Software Engineering Institute, Peking University, China, 2008年3月. [胶片]

2007

Towards Automatic Model Synchronization from Model Transformation. 1st Joint Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Beijing, China, 2007年12月. [胶片]

总数: 70