Our lab is a very exciting place to learn and work!
Yingfei Xiong, Ph.D.
Postdoctoral Fellow
- Ph.D. Graduate, The University of Tokyo
- Pre-Ph.D. Training, Peking University
- B.Eng. Graduate, University of Electronic Science and Technology of China
My research focus on the change of software, including synchronization of software artifacts, fixing inconsistency in software and tracking changes in code. I am the creator of Beanbag and SyncATL.
Please find more information on my personal homepage.
News
Projects
Publications
Please find my publications before joining GSD on my personal publication list.
"Effective Collaboration and Consistency Management in Business Process Modeling",
The 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10, Toronto, Ontario, Canada, ACM Press, 2010.
[pdf]
"From State-Based to Delta-Based Bidirectional Model Transformation",
3rd International Conference on Model Transformation, Malaga, Spain, Springer, pp. 61-76, 06/2010.
[pdf][ppt]
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
1st Workshop on Model Driven Interoperability, Co-located with MoDELS 2010, Oslo, Norway, ACM Press, pp. 42-51, 10/2010.
[pdf][pdf]
Configuration Challenges in Linux and eCos: A Survey,
, no. GSDLAB-TR 2011-09-29, Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011.
[pdf][pdf][pdf]
Configurator Semantics of the CDL language,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011.
[pdf]
"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case",
Journal of Object Technology, vol. 10, 2011.
Generating Range Fixes for Software Configuration,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011.
[pdf]
"Quick Consistency Management in BPM",
IBM CASCON 2011, 2011.
"Friendly Change Extraction for BPMN Workflows",
IBM TechConnect, Markham, ON, Canada, IBM, 05/2011.
[pdf]
From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011.
[pdf]
"A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System",
3rd International Workshop on Feature Oriented Software Development, Munich, Germany, ACM, 08/2011.
[pdf][pdf]
"Correctness of Model Synchronization Based on Triple Graph Grammars",
ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011.
[pdf]
"From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case",
ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011.
[pdf][pdf]
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
MoDELS'10 Workshops: Reports and Selected Papers, vol. 6627, Oslo, Norway, Springer, 2011.
[pdf]
An Empirical Study on Consistency Management of Business and IT Process Models,
, Waterloo, Generative Software Development Laboratory, 2012.
[pdf]
"A User Survey of Configuration Challenges in Linux and eCos",
Variability Modelling of Software-intensive Systems (VaMoS), Leipzig, Germany, ACM Press, 01/2012.
[pdf]
"Generating Range Fixes for Software Configuration",
ICSE'12: 34th International Conference on Software Engineering, 06/2012.
[pdf][pdf][zip]
"A Case Study on Consistency Management of Business and IT Process Models in Banking",
SoSyM - Special Issue on Enterprise Modeling, 2013.
"SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities",
17th International Software Product Line Conference, Tokyo, ACM, 2013.
[pdf]
