Code Structure-Aware through Line-level Semantic Learning for Code Vulnerability Detection Z Wang, G Li, J Li, Y Dong, Y Xiong, Z Jin arXiv preprint arXiv:2407.18877, 2024 | | 2024 |
ASAC: A Benchmark for Algorithm Synthesis Z Zhang, Y Sun, R Ji, S Li, X Peng, Z Huang, S Li, T Zhu, Y Xiong Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | | 2024 |
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis R Ji, Y Zhao, N Polikarpova, Y Xiong, Z Hu Proceedings of the ACM on Programming Languages 8 (PLDI), 939-964, 2024 | | 2024 |
M2CVD: Multi-Model Collaboration for Code Vulnerability Detection Z Wang, G Li, J Li, Y Xiong, Z Jin arXiv preprint arXiv:2406.05940, 2024 | 2 | 2024 |
Proving Functional Program Equivalence via Directed Lemma Synthesis Y Sun, R Ji, J Fang, X Jiang, M Chen, Y Xiong arXiv preprint arXiv:2405.11535, 2024 | | 2024 |
贝叶斯程序分析 张昕, 王冠成, 吴宜谦, 陈逸凡, 李天驰, 张羿凡, 熊英飞 电子学报 52 (4), 1155-1172, 2024 | | 2024 |
The ET Program Repair Tool for Java YA Xiao, Q Zhu, Y Xiong Proceedings of the 5th ACM/IEEE International Workshop on Automated Program …, 2024 | | 2024 |
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code Q Zhu, Q Liang, Z Sun, Y Xiong, L Zhang, S Cheng Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 2 | 2024 |
Accelerating patch validation for program repair with interception-based execution scheduling YA Xiao, C Yang, B Wang, Y Xiong IEEE Transactions on Software Engineering, 2024 | 7 | 2024 |
DeepSeek-Coder: When the Large Language Model Meets Programming--The Rise of Code Intelligence D Guo, Q Zhu, D Yang, Z Xie, K Dong, W Zhang, G Chen, X Bi, Y Wu, ... arXiv preprint arXiv:2401.14196, 2024 | 199 | 2024 |
Programming Languages and Systems S Giallorenzo, F Montesi, M Peressotti, J Haas, R Mogk, E Yanakieva, ... ACM Transactions on 46 (1), 2024 | | 2024 |
Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms R Ji, Y Zhao, Y Xiong, D Wang, L Zhang, Z Hu ACM Transactions on Programming Languages and Systems, 2024 | 8* | 2024 |
Synthesizing Efficient Memoization Algorithms Y Sun, X Peng, Y Xiong Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 89-115, 2023 | 4 | 2023 |
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees G Wang, Y Wu, Q Zhu, Y Xiong, X Zhang, L Zhang 2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023 | 2 | 2023 |
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability W Zhang, G Wang, J Chen, Y Xiong, Y Liu, L Zhang arXiv preprint arXiv:2309.06771, 2023 | 1 | 2023 |
ExpressAPR: Efficient patch validation for java automated program repair systems YA Xiao, C Yang, B Wang, Y Xiong 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 5 | 2023 |
Delta debugging method and system based on probability model W Guancheng, S Ruobing, Y Xiong, L Zhang US Patent 11,734,154, 2023 | | 2023 |
Tare: Type-aware neural program repair Q Zhu, Z Sun, W Zhang, Y Xiong, L Zhang 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 13 | 2023 |
Reliability assurance for deep neural network architectures against numerical defects L Li, Y Zhang, L Ren, Y Xiong, T Xie 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 3 | 2023 |
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection R Ji, C Kong, Y Xiong, Z Hu Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 819-847, 2023 | 2 | 2023 |