特邀报告

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

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

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

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

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

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月. [胶片]

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

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月.

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月. [胶片]

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月. [胶片]

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

总数: 54