Homepage

Publications by Year (By type)

Note: The authors marked with "#" are equal contributors to the paper and their names are sorted in alphabetic order by last or first name.

2018

International Conference - Research Track

[ICSME18] Ruru Yue, Zhe Gao, Na Meng, Yingfei Xiong, Xiaoyin Wang, David Morgenthaler. Automatic Clone Recommendation for Refactoring Based on the Present and the Past . ICSME'18: 34th IEEE International Conference on Software Maintenance and Evolution, September 2018.
[ISSTA18a] Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen. Shaping Program Repair Space with Existing Patches and Similar Code. ISSTA'18: International Symposium on Software Testing and Analysis, July 2018. [Paper][Tool:SimFix]
[ISSTA18b] Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang. An Empirical Study on TensorFlow Program Bugs. ISSTA'18: International Symposium on Software Testing and Analysis, July 2018. [Paper]
[ICSE18a] Yingfei Xiong, Xinyuan Liu#, Muhan Zeng#, Lu Zhang, Gang Huang. Identifying Patch Correctness in Test-Based Program Repair. ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden, May 2018. [Paper][Long Version][Slides]
[ICSE18b] Shurui Zhou, Ştefan Stănciulescu, Olaf Leenich, Yingfei Xiong, Andrzej Wąsowski, Christian Kästner. Identifying Features in Forks. ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden, May 2018. [Paper]

Workshop

[GI18] Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang. Learning to Synthesize. GI'18: Genetic Improvment Workshop, May 2018. [Paper]

2017

Journal

[JOS17] Yuan Huang, Zhiyong Liu, Xiangping Chen, Yingfei Xiong, Xiaonan Luo. Auxiliary Method for Code Commit Comprehension Based on Core-Class Identification. Journal of Software (in Chinese), 28(6), February 2017. [Paper]

International Conference - Research Track

[Interwa17] Yufeng Cheng, Meng Wang, Yingfei Xiong, Zhengkai Wu, Yiming Wu, Lu Zhang. Un-preprocessing: Extended CPP that works with your tools. Internetware'17: 9th Asia-Pacific Symposium on Internetware, Shanghai, China, pages 21-30, September 2017. [Paper] Invited to Journal Submission
[ESEM17] Yuan Huang, Qiaoyang Zheng, Xiangping Chen, Yingfei Xiong, Zhiyong Liu, Xiaonan Luo. Mining Version Control System for Automatically Generating Commit Comment. ESEM'17: 11th International Symposium on Empirical Software Engineering and Measurement, Toronto, Canada, August 2017.
[ISSTA17] Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao. Faster Mutation Analysis via Equivalence Modulo States. ISSTA'17: International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, pages 295-306, July 2017. [Paper][Slides][CoRR Version] ACM SIGSOFT Distinguished Paper Award
[ICSE17a] Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang. Precise Condition Synthesis for Program Repair. ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina, May 2017. [Paper][Slides][Tool][Long Version][SE-China][MSR Asia][MSR Blog][QbitAI][AlmostHuman]
[ICSE17b] Junjie Chen, Yanwei Bai, Dan Hao#, Yingfei Xiong#, Hongyu Zhang#, Bing Xie. Learning to Prioritize Test Programs for Compiler Testing. ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina, May 2017. [Paper]
[ESOP17] Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang. Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. ESOP'17: 26th European Symposium on Programming, Uppsala, Sweden, April 2017. [Paper][Tool]

2016

Journal

[TSC16] Gang Huang, Xuanzhe Liu, Xuan Lu, Yun Ma, Ying Zhang, Yingfei Xiong. Programming Situational Mobile Web Applications with Cloud-Mobile Convergence: An Internetware-Oriented Approach. IEEE Transactions on Services Computing, Online First, July 2016.
[JCRD16] Yihan Wu, Gang Huang, Ying Zhang, Yingfei Xiong. A Model-Based Fault Tolerance Mechanism Development Approach for Cloud Computing. Journal of Computer Research and Development (in Chinese), Vol 53, Issue 1, June 2016.
[SciChina16] Qing Gao, Jun Li, Yingfei Xiong, Dan Hao, Xusheng Xiao, Kunal Taneja, Lu Zhang, Tao Xie. High-confidence software evolution. Science China Information Sciences, 59:071101, June 2016. [Paper][DOI]

International Conference - Research Track

[FSE16] Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, Gang Huang. Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors. FSE'16: 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, pp. 619-630, Seatle, WA, USA, November 2016. [Paper][Artifact][SE-China]
[ECOOP16] Chenglong Wang#, Jiajun Jiang#, Jun Li#, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu. Transforming programs between APIs with Many-to-Many Mappings. ECOOP'16: 30th European Conference on Object-Oriented Programming, pp. 25:1-25:26, Rome, Italy, July 2016. [Paper][Tool]
[ICSE16] Junjie Chen, Wenxiang Hu, Dan Hao#, Yingfei Xiong#, Hongyu Zhang#, Lu Zhang, Bing Xie. An Empirical Comparison of Compiler Testing Techniques. ICSE'16: 38th International Conference on Software Engineering, pp. 180-190, Austin, Texas, USA, May 2016. [Paper][Experiment Data][SE-China]
[ICST16a] Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang. Empirical Evaluation of Test Coverage for Functional Programs. ICST'16: IEEE International Conference on Software Testing, Verificationa and Validation (the posted version corrects some data representation errors in the published version), pp. 255-265, Chicago, IL, USA, April 2016. [Corrected version][Experiment Data]
[ICST16b] Junjie Chen, Yanwei Bai, Dan Hao#, Yingfei Xiong#, Hongyu Zhang#, Lu Zhang, Bing Xie. Test Case Prioritization for Compilers: a Text-Vector Based Approach. ICST'16: IEEE International Conference on Software Testing, Verificationa and Validation, pp. 266-277, Chicago, IL, USA, April 2016. [Paper]

2015

Journal

[TSE15] Yingfei Xiong, Hansheng Zhang, Arnaud Hubaux, Steven She, Jie Wang, Krzysztof Czarnecki. Range Fixes: Interactive Error Resolution for Software Configuration. IEEE Transactions on Software Engineering, Volume 41, Issue 6, pages 603-619, June 2015. [Paper][DOI] Featured on the Homepage

International Conference - Research Track

[ASE15] Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong, Lu Zhang, Hong Mei. Fixing Recurring Crash Bugs via Analyzing Q&A Sites. ASE'15: 30th IEEE/ACM International Conference on Automated Software Engineering, pages 307-318, Lincoln, Nebraska, USA, November 2015. [Paper][Tool]
[ICSE15b] Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei. A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. ICSE'15: 37th International Conference on Software Engineering, pages 529-539, Florence, Italy, May 2015. [Paper][Experiment Data] ACM SIGSOFT Distinguished Paper Nominee
[ICSE15a] Qing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei. Safe Memory-Leak Fixing for C Programs. ICSE'15: 37th International Conference on Software Engineering, pages 459-470, Florence, Italy, May 2015. [Paper][Tool]

International Conference - Other Track

[FSE15-NIER] Yingfei Xiong, Dan Hao, Lu Zhang, Tao Zhu, Muyao Zhu, Tian Lan. Inner Oracles: Input-Specific Assertions on Internal States. ESEC/FSE'15-NIER: New Idea Track at 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 902-905, Bergamo, Italy, August 2015. [Paper][Slides][Tool]

Workshop

[PEPM15] Jun Li#, Chenglong Wang#, Yingfei Xiong, Zhenjiang Hu. SWIN: Towards Type-Safe Java Program Adaptation between APIs. In PEPM'15: Partial Evaluation and Program Manipulation Workshop, pages 91-102, Mumbai, India, January 2015. [Paper][Tool] Invited to Journal Submission

2014

Journal

[FCST14] Yangyi Wu, Yiming Wu, Yingfei Xiong. Reversible Transformation from Context-free Grammars. Journal of Frontiers of Computer Science and Technology (in Chinese), Vol. 9 (7), pages 793-802, 2015. Online First, December 2014.
[JCST14b] Tao Xie, Lu Zhang, Xusheng Xiao, Yingfei Xiong, Dan Hao. Cooperative Software Testing and Analysis: Advances and Challenges. Journal of Computer Science and Technology, Volume 29, Issue 4, pp 713-723, July 2014. [DOI]
[JCST14a] Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei. Interactive Inconsistency Fixing in Feature Modeling. Journal of Computer Science and Technology, Volume 29, Issue 4, pp 724-736, July 2014. [DOI]

International Conference - Research Track

[Interwa14] Yihan Wu, Hui Song, Yingfei Xiong, Zibin Zheng, Ying Zhang, Gang Huang. Model Defined Fault Tolerance in Cloud. In Internetware'14: the Sixth Asia-Pacific Symposium on Internetware, pages 116-119, Hong Kong, China, November 2014.
[ASE14] Jie Zhang, Junjie Chen, Dan Hao, Yingfei Xiong, Bing Xie, Lu Zhang, Hong Mei. Search-Based Inference of Polynomial Metamorphic Relations. In ASE'14: 29th IEEE/ACM International Conference on Automated Software Engineering, pp 701-712, Vasteras, Sweden, September 2014. [Paper]
[ICSME14] Chu-Pan Wong, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang, Hong Mei. Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis. In ICSME'14: 30th International Conference on Software Maintenance and Evolution, pages 181-190, Victoria, Canada, September 2014. [Paper][Slides]

Domestic Conference

[NASAC14] Yangyi Wu, Yiming Wu, Yingfei Xiong. Reversible Computation from Context-Free Grammars. 13th National Software Application Conference (in Chinese), Guilin, China, November 2014. [Paper] Invited to Journal Submission

2013

Journal

[FCSC12] Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei. Supporting Feature Model Refinement with Updatable View. Frontiers of Computer Science in China, Vol 7, Issue 2, pp 257-271, April 2013. [DOI]
[SOSYM13a] Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Jochen Küster#, Hagen Völzer#. A Case Study on Consistency Management of Business and IT Process Models in Banking. Software and Systems Modeling, Springer. Online First, March 2013. [Paper][DOI]
[SOSYM13b] Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki#, Zinovy Diskin#, Yingfei Xiong#. Model Synchronization Based on Triple Graph Grammars: Correctness, Completeness and Invertibility. Software and Systems Modeling, Springer. Online First, January 2013. [Paper][DOI]

International Conference - Research Track

[SPLC13] Bo Wang, Leonardo Passos, Yingfei Xiong, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang. SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities. In SPLC'13: Proceedings of 17th International Software Product Line Conference, pp. 257-271, Tokyo, Japan, August 2013. [Paper][Slides]

International Conference - Other Track

[ICWS13] Jun Li, Yingfei Xiong, Xuanzhe Liu, Lu Zhang. How Does Web Service API Evolution Affect Clients?. In ICWS'13: Proceedings of IEEE 20th International Conference on Web Service (Application & Experience Track), pp 300-307, Santa Clara, CA, USA, June 2013. [Paper]

Workshop

[MRT13] Yihan Wu, Ying Zhang, Yingfei Xiong, Xiaodong Zhang, Gang Huang. Towards RSA-Based High Availability Configuration in Cloud. In MRT'13: 8th International Workshop on Models at Run.time, Austin, Texas, USA, September 2013. [Paper]

2012

International Conference - Research Track

[FSE12] Xiaoyin Wang, Lu Zhang, Tao Xie, Yingfei Xiong, Hong Mei. Automating Presentation Changes in Dynamic Web Applications via Collaborative Hybrid Analysis. In FSE'12: 20th International Symposium on the Foundations of Software Engineering, pages 16:1-16:11, November 2012. [Paper][Slides]
[ICSM12] Hui Song, Gang Huang, Yingfei Xiong, Yanchun Sun. Inferring the Data Access from the Clients of Generic APIs. In ICSM'12: 28th IEEE International Conference on Software Maintenance, pages 388--397, Riva del Garda, Italy, September 2012. [Paper]
[ICSE12] Yingfei Xiong, Arnaud Hubaux, Steven She, Krzysztof Czarnecki. Generating Range Fixes for Software Configuration. In ICSE'12: Proceedings of 34th International Conference on Software Engineering, pages 89-99, Zurich, Switzerland, June 2012. [Paper][Slides][Teaser Video (Download)][Teaser Video (Online)]

Workshop

[VaMoS12] Arnaud Hubaux, Yingfei Xiong, Krzysztof Czarnecki. A User Survey of Configuration Challenges in Linux and eCos. VaMoS'12: Sixth International Workshop on Variability Modelling of Software-intensive Systems, January 2012. [Link]

2011

Journal

[JOT11] 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]
[JSS10] 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]
[SoSym11] Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. Synchronizing Concurrent Model Updates Based on Bidirectional Transformation. Software and Systems Modeling, Springer. Online First, January 2011. [DOI]

International Conference - Research Track

[MODELS11a] 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, pages 304-318, October 2011. [Paper]
[MODELS11b] Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki#, Zinovy Diskin#, Yingfei Xiong#. Correctness of Model Synchronization Based on Triple Graph Grammars. MODELS'11: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, pages 668-682, October 2011. [Paper] Invited to Journal Submission

Workshop

[FOSD11] Leonardo Passos#, Marko Novakovic#, Yingfei Xiong, Thorsten Berger, Krzysztof Czarnecki, Andrzej Wąsowski. A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System. FOSD'11: 3rd International Workshop on Feature-Oriented Software Development, June 2011. [Link]

Technical Reports

[GSDTR11a] Yingfei Xiong, Arnaud Hubaux, Steven She, Krzysztof Czarnecki. Generating Range Fixes for Software Configuration. Technical Report GSDLAB-TR 2011-10-27, Generative Software Development Laboratory, University of Waterloo, October 2011. [Text]
[GSDTR11d] Arnaud Hubaux, Yingfei Xiong, Krzysztof Czarnecki. Configuration Challenges in Linux and eCos: A Survey. Technical Report, GSDLAB-TR 2011-09-29, September 2011. [Text]
[GSDTR11b] Yingfei Xiong. Configurator Semantics of the CDL Language. Technical Report GSDLAB-TR 2011-06-05, Generative Software Development Laboratory, University of Waterloo, June 2011. [Link]
[GSDTR11c] Zinovy Diskin#, Yingfei Xiong#, Krzysztof Czarnecki, Hartmut Ehrig#, Frank Hermann#, Fernando Orejas#. From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case. Technical Report GSDLAB-TR 2011-05-03, Generative Software Development Laboratory, University of Waterloo, May 2011. [Link]

2010

International Conference - Research Track

[MODELS10a] 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. [Paper]
[MODELS10b] 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. [Paper][Slides]
[ICMT10] Zinovy Diskin#, Yingfei Xiong#, Krzysztof Czarnecki. From State- to Delta-Based Bidirectional Model Transformations. In ICMT'10: Proceedings of the 3rd International Conference on Model Transformation, pages 61-76, June 2010. [Paper][Slides] Invited to Journal Submission

Workshop

[MDI10] Zinovy Diskin#, Yingfei Xiong#, Krzysztof Czarnecki. Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In MDI'10: Proceedings of the 1st Workshop on Model Driven Interoperability, pages 42-51, October 2010. [Paper][Slides] Invited to post-proceedings
[LWI10] Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei. Tolerating Inconsistency in Feature Models. In LWI'10: Proceedings of 3rd Workshop on Living With Inconsistency in Software Development, pages 15-20, September 2010. [Paper]

2009

International Conference - Research Track

[FSE09] 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. [Paper][Slides][Bib]
[ICMT09] Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. Supporting Parallel Updates with Bidirectional Model Transformations. In ICMT'09: Proceedings of the Second International Conference on Model Transformation, ETH Zurich, Switzerland, pages 213-228, June 2009. [Paper][Slides][Bib] Invited to Journal Submission

Domestic Conference

[SES09] Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei. Beanbag: A Language for Automatic Model Inconsistency Fixing. In SES'09: Proceedings of IPSJ/SIGSE Software Engineering Symposium 2009, Poster Paper, pp 189, September 2009. [Paper][Poster]

Workshop

[MRT09] Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei. Generating Synchronization Engines between Running Systems and Their Model-Based Views. In Models@run.time'09: Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, page 140-154, October 2009. [Post-Proceeding Version][Proceeding Version] Invited to post-proceedings
[AWFS09] Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. From Bidirectional Model Transformation to Model Synchronization. In AWFS'09: Proceedings of the Sixth Asian Workshop on Foundations of Software, Tokyo, Japan, pages 56-65, April 2009. [Paper]

Theses

[PhDThesis] Yingfei Xiong. A Language-based Approach to Model Synchronization in Software Engineering. Ph.D. Thesis, Department of Mathematical Informatics, University of Tokyo, September 2009. [Paper]

2008

Domestic Conference

[JSSST08] Yingfei Xiong, Zhenjiang Hu, Hui Song, Masato Takeichi, Haiyan Zhao, Hong Mei. On-Site Synchronizers for Multi-View Applications. In JSSST'08: Proceedings of the 25th JSSST Conference, No. 3C-2, Tokyo, Japan, September 2008. [Paper][Slides]

Workshop

[QoP08] Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka. Enforcing a Security Pattern in Stakeholder Goal Models. In QoP'08: Proceedings of the 4th Workshop on Quality of Protection, co-located with CCS-2008, Alexandria VA, USA, pages 9-14, October 2008. [Paper]

Technical Reports

[GRACETR08b] Hui Song, Yingfei Xiong, Zhenjiang Hu, Gang Huang, Hong Mei. A Model-Driven Framework for Constructing Runtime Architecture Infrastructures. Technical Report GRACE-TR-2008-05, Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics, Japan, December 2008. [Paper][Bib]
[GRACETR08a] Yingfei Xiong, Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Hui Song, Hong Mei. Beanbag: Operation-based Synchronization with Intra-relations. Technical Report GRACE-TR-2008-04, Center for Global Research in Advanced Software Science and Engineering, National Institute of Informatics, Japan, December 2008. [Paper][Bib]
[METR08] Yingfei Xiong, Zhenjiang Hu, Masato Takeichi, Haiyan Zhao, Hong Mei. On-Site Synchronization of Software Artifacts. Technical Report METR 2008-21, Department of Mathematical Informatics, University of Tokyo, April 2008. [Paper]

2007

International Conference - Research Track

[ASE07] 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. [Paper][Slides][Bib]

Domestic Conference

[JSSST07] Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata, Yingfei Xiong. Bi-X Core: A General-Purpose Bidirectional Transformation Language. In JSSST'07: Proceedings of the 24th JSSST Conference, No. 2C-3, Nara, Japan, September 2007. [Paper][Bib]
[ISPJ07] Yingfei Xiong, Zhenjiang Hu, Dongxi Liu, Haiyan Zhao, Hong Mei, Masato Takeichi. Realizing Bidirectional Graph Transformations From Bidirectional Tree Transformations. In ISPJ'07: Proceedings of the Information Processing Society of Japan National Conference, No. 1B-7, Tokyo, Japan, March 2007. [Paper]

Workshop

[GTTSE07a] Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Masato Takeichi. A Bidirectional Transformation Approach towards Automatic Model Synchronization. In GTTSE'07: (informal) Proceedings of the 2nd Summer School on Generative and Transformational Techniques in Software Engineering, pages 359–360, July 2007. [Paper]
[GTTSE07b] Dongxi Liu, Yingfei Xiong, Zhenjiang Hu, Masato Takeichi. Bi-CQ: A Bidirectional Code Query Language. In GTTSE'07: (informal) Proceedings of the 2nd Summer School on Generative and Transformational Techniques in Software Engineering, pages 348–349, July 2007.

2006

Technical Reports

[METR06] Zhenjiang Hu#, Dongxi Liu#, Hong Mei#, Masato Takeichi#, Yingfei Xiong#, Haiyan Zhao#. A Compositional Approach to Bidirectional Model Transformation. Technical Report METR 2006-54, Department of Mathematical Informatics, University of Tokyo, October 2006. [Paper]

2004

Workshop

[WAOSD04] Yingfei Xiong, Feng Wan. CCC: An Aspect-Oriented Intermediate Language on .Net Platform. In WOSD'04: Proceedings of the International Workshop on Aspect-Oriented Software Development, pages 44-58, September 2004. [Paper][Slides]

Theses

[BEngThesis] Yingfei Xiong. The Design and Implementation of a Language-Independent Aspect-Oriented Extension. Bachelor Thesis, UESTC, July 2004. [Paper]

Total Number of Publications: 78

Disclaimer