Yingfei Xiong

Postdoctoral Fellow (Supervisor: Krzysztof Czarnecki)
Generative Software Development Lab
Department of Electronic and Computer Engineering
University of Waterloo

Email:

Pronunciation of my name: [i:ŋfei] (yingfei) [ʃiɔŋ] (xiong)
Pronunciation in katakana: ション(熊xiong)インフェイ(英飛yingfei)

中文版

News (More)

January 27, 2012 Generating Range Fixes for Software Configuration was accepted at ICSE'12.
December 14, 2011 A summary paper of our online survey was accepted at VaMoS'12.
September 29, 2011 We have conducted an online survey about what challenges are faced by the users of modern configuration tools. The result was published here as a technical report.
July 25, 2011 I will serve as a PC member of BX 2012. Please consider submitting a papper.
July 5, 2011 From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case and Correctness of Model Synchronization Based on Triple Graph Grammars were accepted at MODELS'11.

Research Projects

Software Configuration Support (Postdoctoral Period)
- ECC Fixer: Generating range fixes for eCos/CDL configuration
Delta-Based Bidirectional Transformation (Postdoctoral Period)
Heterogeneous Data Synchronization in Software Engineering (Doctoral Period)
- Beanbag: OCL-lik Language for On-Site Synchronization
- SyncATL: Model Synchronization using ATL
Aspect-Oriented Intermediate Language (Undergraduate Period)

Education

10/2006~09/2009, The University of Tokyo, Ph.D. Advisors: Zhenjiang Hu Masato Takeichi
09/2004~09/2006, Peking University, Pre-Ph.D. Course. Advisors: Hong Mei Fuqing Yang
09/2000~06/2004, University of Electronic Science and Technology of China, Bachelor Diploma of Computer Science

Selected Publications

[Complete List | Presentations | DBLP | Google Scholar]

Zinovy Diskin^*, Yingfei Xiong^*, Krzysztof Czarnecki, Hartmut Ehrig^*, Frank Hermann^*, Fernando Orejas^*. From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case. MODELS'11: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, to appear, October 2011. [PDF]
Zinovy Diskin^*, Yingfei Xiong^*, Krzysztof Czarnecki. From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. Journal of Object Technology, Volume 10, pp. 6:1-25, June 2011. [DOI]
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. Synchronizing Concurrent Model Updates Based on Bidirectional Transformation. Software and Systems Modeling, Springer, January 2011. [DOI]
Hui Song, Gang Huang, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei. Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach. Journal of Systems and Software, Volume 84, Issue 5, Pages 711-723, Elsevier, May 2011. [DOI]
Hui Song, Gang Huang, Yingfei Xiong, Franck Chauvel, Yanchun Sun, Hong Mei. Inferring Meta-Models for Runtime System Data from the Clients of Management APIs. In MODELS'10: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, Part II, 168-182, October 2010. [PDF]
Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei. A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models. In MODELS'10: Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems, Part I, 181-195, October 2010. [PDF][Slides]
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei. Supporting Automatic Model Inconsistency Fixing. In ESEC/FSE'09: Proceedings of 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 315-324, August 2009. [PDF][Slides][Bib]
Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei. Towards Automatic Model Synchronization from Model Transformations. In ASE'07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta, Georgia, pages 164-173, November 2007. [PDF][Slides][Bib]

Academic Service

PC Member: First international workshop on bidirectional transformations (BX 2012)
Reviewer: Science of Computer Programming (one paper in 2011)
Reviewer: Software Testing, Verification and Reliability (two papers in 2011)
Reviewer: Software Quality Journal (one paper in 2010)
Organizer: CASCON 2010 Workshop Effective Collaboration and Consistency Management in BPM
Local Organization: AWFS 2009
External/Co-Reviewer: SEKE 2006, ICSM 2006, GPCE 2006, GTTSE 2007, Journal of Software (one paper in 2008), MODELS 2009, IEEE Trans. on Softw. Eng. (one paper in 2009), MPC 2010, ASE 2010, MODELS 2010, SPLC 2010, GPCE 2010, WWTF (one proposal in 2010), Data & Knowledge Engineering Journal (one paper in 2010), SPLC 2011, MODELS 2011, ASE 2011, ESEC/FSE 2011 New Ideas Track

More About Me

Links

Disclaimer

This web page contains links to electronic copies of articles that may be covered by copyright. You may browse the articles at your convenience. Retrieving, copying, or distributing these files may violate copyright law. Please note that the definitive versions of these papers are the published versions. The electronic versions are provided here as a courtesy, and, in some cases, there may be differences between the electronic copy provided here and the published version. We believe that all of the differences are either formatting differences or copy-editing changes. If you cite these papers, please cite the published version rather than giving a URL.