BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × India
1 × New Zealand
1 × Spain
1 × Sweden
1 × The Netherlands
2 × Japan
2 × Norway
2 × Switzerland
2 × USA
3 × Italy
Collaborated with:
H.Mei K.Czarnecki L.Zhang Z.Hu Z.Diskin H.Song H.Zhao D.Hao L.Z.0023 J.Jiang M.Takeichi R.Wang D.Zou H.Ehrig F.Hermann F.Orejas G.Huang Y.Sun L.Zhang J.Li C.Wang X.Wang Z.Su H.Zhang B.Wang W.Zhang J.Chen Q.Gao B.Xie A.Hubaux S.She L.Ren T.Xie X.Chen T.Zhu M.Zhu T.Lan C.Wong L.T.Passos F.Chauvel D.Liu H.Zhang J.Wang X.He G.H.0001 G.Wang H.Tang D.Wang Muhan Zeng Z.Fu J.Zhang Xiangyu Luo Y.Mi W.Yang Z.Zhou S.Gottmann T.Engel
Talks about:
model (12) base (10) transform (8) fix (8) program (5) synchron (4) bidirect (4) state (4) infer (4) api (4)

Person: Yingfei Xiong

DBLP DBLP: Xiong:Yingfei

Facilitated 1 volumes:

BX-Shonan 2016Ed

Contributed to:

ESEC/FSE 20152015
ICSE 20152015
PEPM 20152015
ASE 20142014
ICSME 20142014
SPLC 20132013
FSE 20122012
ICSE 20122012
ICSM 20122012
BX 20112011
MoDELS 20112011
MODELS 20112015
ICMT 20102010
ICMT 20102011
MoDELS (1) 20102010
MoDELS (2) 20102010
ESEC/FSE 20092009
ICMT 20092009
BX 20082008
ASE 20072007
ASE 20152015
FSE 20162016
ASE 20192019
ESOP 20172017
ECOOP 20162016
POPL 20202020

Wrote 31 papers:

Inner oracles: input-specific assertions on internal states (YX, DH, LZ, TZ, MZ, TL), pp. 902–905.
ICSE-v1-2015-GaoXMZYZXM #c #source code
Safe Memory-Leak Fixing for C Programs (QG, YX, YM, LZ, WY, ZZ, BX, HM), pp. 459–470.
ICSE-v1-2015-ZouWXZSM #algorithm #detection #float #search-based
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies (DZ, RW, YX, LZ, ZS, HM), pp. 529–539.
PEPM-2015-LiWXH #adaptation #api #java #named #towards #type safety
SWIN: Towards Type-Safe Java Program Adaptation between APIs (JL, CW, YX, ZH), pp. 91–102.
ASE-2014-ZhangCHXXZM #polynomial #search-based
Search-based inference of polynomial metamorphic relations (JZ, JC, DH, YX, BX, LZ, HM), pp. 701–712.
ICSME-2014-WongXZHZM #analysis #fault #locality #segmentation
Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis (CPW, YX, HZ, DH, LZ, HM), pp. 181–190.
SPLC-2013-WangPXCZ0 #named
SmartFixer: fixing software configurations based on dynamic priorities (BW, LTP, YX, KC, HZ, WZ), pp. 82–90.
FSE-2012-WangZXXM #analysis #automation #collaboration #hybrid #web
Automating presentation changes in dynamic web applications via collaborative hybrid analysis (XW, LZ, TX, YX, HM), p. 16.
ICSE-2012-XiongHSC #generative
Generating range fixes for software configuration (YX, AH, SS, KC), pp. 58–68.
ICSM-2012-Song0XS #api #data access
Inferring the data access from the clients of generic APIs (HS, GH, YX, YS), pp. 388–397.
BX-2011-Xiong #generative
Fix Generation (YX), p. 65.
MoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
MoDELS-2011-HermannEOCDX #correctness #graph grammar
Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.
MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar
Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
ICMT-2010-DiskinXC #bidirectional #model transformation
From State- to Delta-Based Bidirectional Model Transformations (ZD, YX, KC), pp. 61–76.
ICMT-J-2010-DiskinXC11 #bidirectional #model transformation #symmetry
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case (ZD, YX, KC), pp. 137–161.
MoDELS-v1-2010-WangXHZZM #approach #consistency #feature model #modelling
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models (BW, YX, ZH, HZ, WZ, HM), pp. 181–195.
MoDELS-v2-2010-SongHXCSM #api #metamodelling #runtime
Inferring Meta-models for Runtime System Data from the Clients of Management APIs (HS, GH, YX, FC, YS, HM), pp. 168–182.
ESEC-FSE-2009-XiongHZSTM #automation #consistency #nondeterminism
Supporting automatic model inconsistency fixing (YX, ZH, HZ, HS, MT, HM), pp. 315–324.
ICMT-2009-XiongSHT #bidirectional #model transformation #parallel
Supporting Parallel Updates with Bidirectional Model Transformations (YX, HS, ZH, MT), pp. 213–228.
BX-2008-Xiong #modelling
Models and Transformations Short Talk 7 (YX), p. 28.
Operation-Based Synchronization with Intra-Relation Support (YX), p. 46.
ASE-2007-XiongLHZTM #automation #model transformation #towards
Towards automatic model synchronization from model transformations (YX, DL, ZH, HZ, MT, HM), pp. 164–173.
ASE-2015-GaoZWXZM #debugging
Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T) (QG, HZ, JW, YX, LZ, HM), pp. 307–318.
FSE-2016-WangZHXZ0 #detection #fault #float
Detecting and fixing precision-specific operations for measuring floating-point errors (RW, DZ, XH, YX, LZ0, GH0), pp. 619–630.
ASE-2019-ChenWHXZZ #compilation #generative
History-Guided Configuration Diversification for Compiler Test-Program Generation (JC, GW, DH, YX, HZ, LZ), pp. 305–316.
ASE-2019-JiangRXZ #program transformation
Inferring Program Transformations From Singular Examples via Big Code (JJ, LR, YX, LZ), pp. 255–266.
ASE-2019-JiangWXCZ #debugging #empirical #fault #locality #statistics
Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study (JJ, RW, YX, XC, LZ), pp. 502–514.
ESOP-2017-TangWXZW0 #analysis #library #performance #reachability #summary
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization (HT, DW, YX, LZ, XW, LZ0), pp. 880–908.
ECOOP-2016-WangJLXLZH #api #source code
Transforming Programs between APIs with Many-to-Many Mappings (CW, JJ, JL, YX, XL, LZ0, ZH), p. 26.
POPL-2020-ZouZXFZS #detection #fault #float
Detecting floating-point errors via atomic conditions (DZ, MZ, YX, ZF, LZ0, ZS), p. 27.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.