• 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.

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