In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
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.
"Quick Consistency Management in BPM",
IBM CASCON 2011, 2011.
"Friendly Change Extraction for BPMN Workflows",
IBM TechConnect, Markham, ON, Canada, IBM, 05/2011.
[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]
"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- 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]
"Generating Range Fixes for Software Configuration",
ICSE'12: 34th International Conference on Software Engineering, 06/2012.
[pdf][pdf][zip]
"SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities",
17th International Software Product Line Conference, Tokyo, ACM, 2013.
[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]
"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]
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
MoDELS'10 Workshops: Reports and Selected Papers, vol. 6627, Oslo, Norway, Springer, 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]
"A Case Study on Consistency Management of Business and IT Process Models in Banking",
SoSyM - Special Issue on Enterprise Modeling, 2013.
"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case",
Journal of Object Technology, vol. 10, 2011.
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]
An Empirical Study on Consistency Management of Business and IT Process Models,
, Waterloo, Generative Software Development Laboratory, 2012.
[pdf]
From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011.
[pdf]
Generating Range Fixes for Software Configuration,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 2011.
[pdf]