Lahiri, Shuvendu K.

CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models

Lemieux, C., Inala, J. P., Lahiri, S. K., & Sen, S. (2023) · 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 306

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation

Fakhoury, S., Naik, A., Sakkas, G., Chakraborty, S., & Lahiri, S. K. (2024) · IEEE Transactions on Software Engineering

Software Engineering ResearchSoftware Testing and Debugging Techniques

Cited by 120

Program merge conflict resolution via neural transformers

Svyatkovskiy, A., Fakhoury, S., Ghorbani, N., Mytkowicz, T., Dinella, E., Bird, C., Jang, J., Sundaresan, N., & Lahiri, S. K. (2022) · Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Software Engineering ResearchSoftware Engineering Techniques and Practices

Cited by 38

Ranking LLM-Generated Loop Invariants for Program Verification

Chakraborty, S., Lahiri, S., Fakhoury, S., Lal, A., Musuvathi, M., Rastogi, A., Senthilnathan, A., Sharma, R., & Swamy, N. (2023) · Findings of the Association for Computational Linguistics: EMNLP 2023

Logic, programming, and type systemsSoftware Testing and Debugging Techniques

Cited by 37

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

Finding Inductive Loop Invariants using Large Language Models

Kamath, A., Senthilnathan, A., Chakraborty, S., Deligiannis, P., Lahiri, S. K., Lal, A., Rastogi, A., Roy, S., & Sharma, R. (2023) · arXiv

Logic, programming, and type systemsFormal Methods in Verification

Cited by 17

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