Lu, Shuai

CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generation

Lu, S., Guo, D., Ren, S., Huang, J., Svyatkovskiy, A., Blanco, A., Clement, C., Drain, D., Jiang, D., Tang, D., et al. (2021) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 536

GraphCodeBERT: Pre-training Code Representations with Data Flow

Guo, D., Ren, S., Lu, S., Feng, Z., Tang, D., Liu, S., Zhou, L., Duan, N., Svyatkovskiy, A., Fu, S., et al. (2020) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 480

CodeBLEU: a Method for Automatic Evaluation of Code Synthesis

Ren, S., Guo, D., Lu, S., Zhou, L., Liu, S., Tang, D., Sundaresan, N., Zhou, M., Blanco, A., & Ma, S. (2020) · arXiv

Software Engineering ResearchTeaching and Learning Programming

Cited by 214

InferFix: End-to-End Program Repair with LLMs

Jin, M., Shahriar, S., Tufano, M., Shi, X., Lu, S., Sundaresan, N., & Svyatkovskiy, A. (2023) · Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 191

TaskMatrix.AI: Completing Tasks by Connecting Foundation Models with Millions of APIs

Liang, Y., Wu, C., Song, T., Wu, W., Xia, Y., Liu, Y., Ou, Y., Lu, S., Ji, L., Mao, S., et al. (2024) · Intelligent Computing

Artificial Intelligence ApplicationsTopic Modeling

Cited by 108

AutoVerus: Automated Proof Generation for Rust Code

Yang, C., Li, X., Misu, M. R. H., Yao, J., Cui, W., Gong, Y., Hawblitzel, C., Lahiri, S., Lorch, J. R., Lu, S., et al. (2024) · arXiv

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 20

AutoVerus: Automated Proof Generation for Rust Code

Yang, C., Li, X., Misu, M. R. H., Yao, J., Cui, W., Gong, Y., Hawblitzel, C., Lahiri, S., Lorch, J. R., Lu, S., et al. (2025) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 20

Long-Range Modeling of Source Code Files with eWASH: Extended Window Access by Syntax Hierarchy

Clement, C., Lu, S., Liu, X., Tufano, M., Drain, D., Duan, N., Sundaresan, N., & Svyatkovskiy, A. (2021) · Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing

Software Engineering ResearchTopic Modeling

Cited by 12

Automated Proof Generation for Rust Code via Self-Evolution

Chen, T., Lu, S., Lu, S., Gong, Y., Yang, C., Li, X., Misu, M. R. H., Yu, H., Duan, N., Cheng, P., et al. (2024) · arXiv

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 1