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: Xiong:Yingfei
Facilitated 1 volumes:
EdContributed to:
2015
2015
2015
2014
2014
2013
2012201220122011
20112015
20102011201020102009200920082007201520162019
2017
2016
2020Wrote 31 papers:
- ESEC-FSE-2015-XiongH0ZZL
- 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.
- BX-2008-Xiong1
- 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.