Concepedia

Shuvendu K. Lahiri

SK

47

Publications

2.9K

Citations

28

H-Index

2002

Active since

Affiliations

Microsoft (United States)(Current)

Microsoft Research (United Kingdom)

The University of Texas at Austin

Stanford University

Carnegie Mellon University

Shuvendu K. Lahiri is an author at Microsoft (United States) specializing in software analysis, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsVerificationFormal VerificationSoftware EngineeringSoftware TestingAutomated Reasoning

Publications per year

2002–2024

47

Publications

47

Feedback-Directed Random Test Generation

Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst et al. · Proceedings/Proceedings - International Conference on Software Engineering · 2007 · 833 citations

Engineering, Verification, Test Data Generation +18

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

Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri et al. · 2023 · 207 citations

Software Maintenance, Llm Fine-tuning, Engineering +25

Back to the future

Shuvendu K. Lahiri, Shaz Qadeer · 2008 · 143 citations

Program Checking, Engineering, Verification +18

Differential assertion checking

Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma et al. · 2013 · 116 citations

Program Checking, Engineering, Verification +20

Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets

Mike Barnett, Christian Bird, João Brunet et al. · 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering · 2015 · 96 citations

Software Maintenance, Engineering, Change Impact Analysis +23

Rows per page

1–5 of 47