Faster Mutation Analysis via Equivalence Modulo States.
The PKU International Workshop on Modeling Analysis and Verification of Large-Scale Complex Systems, Beijing,
2017年10月.
[胶片]
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月.
[胶片]
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月.
[胶片]
Towards Automatic Model Synchronization from Model Transformation.
1st Joint Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Beijing, China,
2007年12月.
[胶片]