![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
- Yingfei Xiong 0001
Peking University, Department of Computer Science and Technology, Beijing, China - Yingfei Xiong 0002
Chinese Academy of Sciences, Shenzhen Institutes of Advanced Technology, Center for Geo-Spatial Information, China
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 143 matches
- 2024
- Ruyi Ji
, Yuwei Zhao
, Nadia Polikarpova
, Yingfei Xiong
, Zhenjiang Hu
:
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. Proc. ACM Program. Lang. 8(PLDI): 939-964 (2024) - Ruyi Ji
, Yuwei Zhao
, Yingfei Xiong
, Di Wang
, Lu Zhang
, Zhenjiang Hu
:
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. ACM Trans. Program. Lang. Syst. 46(2): 8 (2024) - Yuan-An Xiao
, Chenyang Yang
, Bo Wang
, Yingfei Xiong
:
Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling. IEEE Trans. Software Eng. 50(3): 618-635 (2024) - Qihao Zhu
, Qingyuan Liang
, Zeyu Sun
, Yingfei Xiong
, Lu Zhang
, Shengyu Cheng
:
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code. ICSE 2024: 76:1-76:13 - Zhao Zhang
, Yican Sun
, Ruyi Ji
, Siyuan Li
, Xuanyu Peng
, Zhechong Huang
, Sizhe Li
, Tianran Zhu
, Yingfei Xiong
:
ASAC: A Benchmark for Algorithm Synthesis. SIGSOFT FSE Companion 2024: 577-581 - Daya Guo, Qihao Zhu, Dejian Yang, Zhenda Xie, Kai Dong, Wentao Zhang, Guanting Chen, Xiao Bi, Y. Wu, Y. K. Li, Fuli Luo, Yingfei Xiong, Wenfeng Liang:
DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence. CoRR abs/2401.14196 (2024) - Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong:
Proving Functional Program Equivalence via Directed Lemma Synthesis. CoRR abs/2405.11535 (2024) - Ziliang Wang, Ge Li, Jia Li, Meng Yan, Yingfei Xiong, Zhi Jin:
M2CVD: Multi-Model Collaboration for Code Vulnerability Detection. CoRR abs/2406.05940 (2024) - Ziliang Wang, Ge Li, Jia Li, Yihong Dong, Yingfei Xiong, Zhi Jin:
Code Structure-Aware through Line-level Semantic Learning for Code Vulnerability Detection. CoRR abs/2407.18877 (2024) - 2023
- Ruyi Ji
, Chaozhe Kong
, Yingfei Xiong
, Zhenjiang Hu
:
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. Proc. ACM Program. Lang. 7(OOPSLA1): 819-847 (2023) - Yican Sun
, Xuanyu Peng
, Yingfei Xiong
:
Synthesizing Efficient Memoization Algorithms. Proc. ACM Program. Lang. 7(OOPSLA2): 89-115 (2023) - Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie:
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. ICSE 2023: 1827-1839 - Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang:
Tare: Type-Aware Neural Program Repair. ICSE 2023: 1443-1455 - Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang
, Lu Zhang:
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees. ISSRE 2023: 763-773 - Yuan-an Xiao, Chenyang Yang, Bo Wang
, Yingfei Xiong:
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. ASE 2023: 2038-2041 - Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang:
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. ASE 2023: 1200-1211 - Luyao Ren, Ziheng Wang, Yingfei Xiong, Li Zhang, Guoyue Jiang, Tao Xie:
Effective Random Test Generation for Deep Learning Compilers. CoRR abs/2302.00842 (2023) - Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie:
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects. CoRR abs/2302.06086 (2023) - Yuan-an Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong:
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling. CoRR abs/2305.03955 (2023) - Wenjie Zhang, Guancheng Wang, Junjie Chen, Yingfei Xiong, Yong Liu, Lu Zhang:
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability. CoRR abs/2309.06771 (2023) - 2022
- Daming Zou
, Yuchen Gu
, Yuanfeng Shi
, Mingzhe Wang
, Yingfei Xiong
, Zhendong Su
:
Oracle-free repair synthesis for floating-point programs. Proc. ACM Program. Lang. 6(OOPSLA2): 957-985 (2022) - Yingfei Xiong, Bo Wang
:
L2S: A Framework for Synthesizing the Most Probable Program under a Specification. ACM Trans. Softw. Eng. Methodol. 31(3): 34:1-34:45 (2022) - Zeyu Sun, Wenjie Zhang, Lili Mou, Qihao Zhu, Yingfei Xiong, Lu Zhang:
Generalized Equivariance and Preferential Labeling for GNN Node Classification. AAAI 2022: 8395-8403 - Zeyu Sun, Jie M. Zhang, Yingfei Xiong, Mark Harman, Mike Papadakis, Lu Zhang:
Improving Machine Translation Systems via Isotopic Replacement. ICSE 2022: 1181-1192 - Muhan Zeng, Yiqian Wu, Zhentao Ye, Yingfei Xiong, Xin Zhang
, Lu Zhang:
Fault Localization via Efficient Probabilistic Modeling of Program Semantics. ICSE 2022: 958-969 - Qingyuan Liang, Zeyu Sun, Qihao Zhu, Wenjie Zhang, Lian Yu, Yingfei Xiong, Lu Zhang:
Lyra: A Benchmark for Turducken-Style Code Generation. IJCAI 2022: 4238-4244 - Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang:
Grape: Grammar-Preserving Rule Embedding. IJCAI 2022: 4545-4551 - Yunfan Zhang
, Ruidong Zhu
, Yingfei Xiong
, Tao Xie
:
Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. ASE 2022: 38:1-38:12 - Ruyi Ji, Yingfei Xiong, Zhenjiang Hu:
Black-Box Algorithm Synthesis - Divide-and-Conquer and More. CoRR abs/2202.12193 (2022) - Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu:
Synthesizing Efficient Dynamic Programming Algorithms. CoRR abs/2202.12208 (2022)
skipping 113 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-05 11:05 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint