Controlling State Explosion in Static Simulation by Selective Composition. - Partha Pratim Chakrabarti; Pallab Dasgupta; Partha Pratim Das 001; Arnob Roy; Shuvendu K. Lahiri; Mrinal Bose (VLSI Design, 1999)

Experience with term level modeling and verification of the M*CORE TM microprocessor core. - Shuvendu K. Lahiri; Carl Pixley; Ken Albin (HLDVT, 2001)

Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. - Randal E. Bryant; Shuvendu K. Lahiri; Sanjit A. Seshia (CAV, 2002)

Modeling and Verification of Out-of-Order Microprocessors in UCLID. - Shuvendu K. Lahiri; Sanjit A. Seshia; Randal E. Bryant (FMCAD, 2002)

Deductive Verification of Advanced Out-of-Order Microprocessors. - Shuvendu K. Lahiri; Randal E. Bryant (CAV, 2003)

A Symbolic Approach to Predicate Abstraction. - Shuvendu K. Lahiri; Randal E. Bryant; Byron Cook (CAV, 2003)

Convergence Testing in Term-Level Bounded Model Checking. - Randal E. Bryant; Shuvendu K. Lahiri; Sanjit A. Seshia (CHARME, 2003)

A hybrid SAT-based decision procedure for separation logic with uninterpreted functions. - Sanjit A. Seshia; Shuvendu K. Lahiri; Randal E. Bryant (DAC, 2003)

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. - Thomas Ball 001; Byron Cook; Shuvendu K. Lahiri; Lintao Zhang (CAV, 2004)

Indexed Predicate Discovery for Unbounded System Verification. - Shuvendu K. Lahiri; Randal E. Bryant (CAV, 2004)

The UCLID Decision Procedure. - Shuvendu K. Lahiri; Sanjit A. Seshia (CAV, 2004)

Revisiting Positive Equality. - Shuvendu K. Lahiri; Randal E. Bryant; Amit Goel; Muralidhar Talupur (TACAS, 2004)

Constructing Quantified Invariants via Predicate Abstraction. - Shuvendu K. Lahiri; Randal E. Bryant (VMCAI, 2004)

An Efficient Decision Procedure for UTVPI Constraints. - Shuvendu K. Lahiri; Madanlal Musuvathi (FroCoS, 2005)

Zap: Automated Theorem Proving for Software Analysis. - Thomas Ball 001; Shuvendu K. Lahiri; Madanlal Musuvathi (LPAR, 2005)

An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. - Shuvendu K. Lahiri; Madanlal Musuvathi (PDPAR@CAV, 2005)

Solving Sparse Linear Constraints. - Shuvendu K. Lahiri; Madanlal Musuvathi (IJCAR, 2006)

SMT Techniques for Fast Predicate Abstraction. - Shuvendu K. Lahiri; Robert Nieuwenhuis; Albert Oliveras (CAV, 2006)

Verifying properties of well-founded linked lists. - Shuvendu K. Lahiri; Shaz Qadeer (POPL, 2006)

Feedback-Directed Random Test Generation. - Carlos Pacheco; Shuvendu K. Lahiri; Michael D. Ernst; Thomas Ball 001 (ICSE, 2007)

A Reachability Predicate for Analyzing Low-Level Software. - Shaunak Chatterjee; Shuvendu K. Lahiri; Shaz Qadeer; Zvonimir Rakamaric (TACAS, 2007)

Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic. - Shuvendu K. Lahiri; Krishna K. Mehra (J. Satisf. Boolean Model. Comput., 2007)

Predicate Abstraction via Symbolic Decision Procedures. - Shuvendu K. Lahiri; Thomas Ball 001; Byron Cook (Log. Methods Comput. Sci., 2007)

Predicate abstraction with indexed predicates. - Shuvendu K. Lahiri; Randal E. Bryant (ACM Trans. Comput. Log., 2007)

Embedded software verification: challenges and solutions. - Chao Wang 001; Malay K. Ganai; Shuvendu K. Lahiri; Daniel Kroening (ICCAD, 2008)

Finding errors in .net with feedback-directed random testing. - Carlos Pacheco; Shuvendu K. Lahiri; Thomas Ball 001 (ISSTA, 2008)

Back to the future: revisiting precise program verification using SMT solvers. - Shuvendu K. Lahiri; Shaz Qadeer (POPL, 2008)

Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. - Shuvendu K. Lahiri; Shaz Qadeer (CADE, 2009)

Intra-module Inference. - Shuvendu K. Lahiri; Shaz Qadeer; Juan P. Galeotti; Jan W. Voung; Thomas Wies (CAV, 2009)

Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. - Shuvendu K. Lahiri; Shaz Qadeer; Zvonimir Rakamaric (CAV, 2009)

Unifying type checking and property checking for low-level code. - Jeremy Condit; Brian Hackett; Shuvendu K. Lahiri; Shaz Qadeer (POPL, 2009)

A low-level memory model and an accompanying reachability predicate. - Shaunak Chatterjee; Shuvendu K. Lahiri; Shaz Qadeer; Zvonimir Rakamaric (Int. J. Softw. Tools Technol. Transf., 2009)

Differential static analysis: opportunities, applications, and challenges. - Shuvendu K. Lahiri; Kapil Vaswani; C. A. R. Hoare (FoSER, 2010)

Abstract Threads. - Shuvendu K. Lahiri; Alexander Malkis; Shaz Qadeer (VMCAI, 2010)

Towards Scalable Modular Checking of User-Defined Properties. - Thomas Ball 001; Brian Hackett; Shuvendu K. Lahiri; Shaz Qadeer; Julien Vanegue (VSTTE, 2010)

SMT-Based Modular Analysis of Sequential Systems Code. - Shuvendu K. Lahiri (CAV, 2011)

From Program to Logic: An Introduction. - Patrice Godefroid; Shuvendu K. Lahiri (LASER Summer School, 2011)

Call Invariants. - Shuvendu K. Lahiri; Shaz Qadeer (NASA Formal Methods, 2011)

Linear maps. - Shuvendu K. Lahiri; Shaz Qadeer; David Walker 001 (PLPV, 2011)

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. - Patrice Godefroid; Shuvendu K. Lahiri; Cindy Rubio-González (SAS, 2011)

ExplainHoudini: Making Houdini Inference Transparent. - Shuvendu K. Lahiri; Julien Vanegue (VMCAI, 2011)

SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. - Shuvendu K. Lahiri; Chris Hawblitzel; Ming Kawaguchi; Henrique Rebêlo (CAV, 2012)

A Solver for Reachability Modulo Theories. - Akash Lal; Shaz Qadeer; Shuvendu K. Lahiri (CAV, 2012)

Underspecified harnesses and interleaved bugs. - Saurabh Joshi 001; Shuvendu K. Lahiri; Akash Lal (POPL, 2012)

Towards Modularly Comparing Programs Using Automated Theorem Provers. - Chris Hawblitzel; Ming Kawaguchi; Shuvendu K. Lahiri; Henrique Rebêlo (CADE, 2013)

Almost-correct specifications: a modular semantic framework for assigning confidence to warnings. - Sam Blackshear; Shuvendu K. Lahiri (PLDI, 2013)

Will you still compile me tomorrow? static cross-version compiler validation. - Chris Hawblitzel; Shuvendu K. Lahiri; Kshama Pawar; Hammad Hashmi; Sedar Gokbulut; Lakshan Fernando; Dave Detlefs; Scott Wadsworth (ESEC/SIGSOFT FSE, 2013)

Differential assertion checking. - Shuvendu K. Lahiri; Kenneth L. McMillan; Rahul Sharma 001; Chris Hawblitzel (ESEC/SIGSOFT FSE, 2013)

Towards Practical Reactive Security Audit Using Extended Static Checkers. - Julien Vanegue; Shuvendu K. Lahiri (IEEE Symposium on Security and Privacy, 2013)

Verification modulo versions: towards usable verification. - Francesco Logozzo; Shuvendu K. Lahiri; Manuel Fähndrich; Sam Blackshear (PLDI, 2014)

Angelic Verification: Precise Verification Modulo Unknowns. - Ankush Das; Shuvendu K. Lahiri; Akash Lal; Yi Li 008 (CAV (1), 2015)

Automatic Rootcausing for Program Equivalence Failures in Binaries. - Shuvendu K. Lahiri; Rohit Sinha 001; Chris Hawblitzel (CAV (1), 2015)

Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets. - Mike Barnett 001; Christian Bird; João Brunet; Shuvendu K. Lahiri (ICSE (1), 2015)

Interprocedural Semantic Change-Impact Analysis using Equivalence Relations. - Alex Gyori; Shuvendu K. Lahiri; Nimrod Partush (CoRR, 2016)

Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. - Tim Wood 004; Sophia Drossopoulou; Shuvendu K. Lahiri; Susan Eisenbach (ESOP, 2017)

Optimizing test placement for module-level regression testing. - August Shi; Suresh Thummalapenta; Shuvendu K. Lahiri; Nikolaj S. Bjørner; Jacek Czerwonka (ICSE, 2017)

Refining interprocedural change-impact analysis using equivalence relations. - Alex Gyori; Shuvendu K. Lahiri; Nimrod Partush (ISSTA, 2017)

Datalog-based scalable semantic diffing of concurrent programs. - Chungha Sung; Shuvendu K. Lahiri; Constantin Enea; Chao Wang 001 (ASE, 2018)

Code vectors: understanding programs through embedded abstracted symbolic traces. - Jordan Henkel; Shuvendu K. Lahiri; Ben Liblit; Thomas W. Reps (ESEC/SIGSOFT FSE, 2018)

Verifying Semantic Conflict-Freedom in Three-Way Program Merges. - Marcelo Sousa; Isil Dillig; Shuvendu K. Lahiri (CoRR, 2018)

VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations. - Jinghao Shi; Shuvendu K. Lahiri; Ranveer Chandra; Geoffrey Challen (CoRR, 2018)

Formal Specification and Verification of Smart Contracts for Azure Blockchain. - Shuvendu K. Lahiri; Shuo Chen; Yuepeng Wang 001; Isil Dillig (CoRR, 2018)

Program Equivalence (Dagstuhl Seminar 18151). - Shuvendu K. Lahiri; Andrzej S. Murawski; Ofer Strichman; Mattias Ulbrich (Dagstuhl Reports, 2018)

Wireless protocol validation under uncertainty. - Jinghao Shi; Shuvendu K. Lahiri; Ranveer Chandra; Geoffrey Challen (Formal Methods Syst. Des., 2018)

Verifying Relative Safety, Accuracy, and Termination for Program Approximations. - Shaobo He; Shuvendu K. Lahiri; Zvonimir Rakamaric (J. Autom. Reason., 2018)

Verifying equivalence of database-driven applications. - Yuepeng Wang 001; Isil Dillig; Shuvendu K. Lahiri; William R. Cook (Proc. ACM Program. Lang., 2018)

Verified three-way program merge. - Marcelo Sousa; Isil Dillig; Shuvendu K. Lahiri (Proc. ACM Program. Lang., 2018)

Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. - Jordan Henkel; Shuvendu K. Lahiri; Ben Liblit; Thomas W. Reps (Zenodo, 2018)

Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. - Jordan Henkel; Shuvendu K. Lahiri; Ben Liblit; Thomas W. Reps (Zenodo, 2018)

Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. - Jordan Henkel; Shuvendu K. Lahiri; Ben Liblit; Thomas W. Reps (Zenodo, 2018)

Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. - Yuepeng Wang 001; Shuvendu K. Lahiri; Shuo Chen; Rong Pan; Isil Dillig; Cody Born; Immad Naseer; Kostas Ferles (VSTTE, 2019)

Enabling Open-World Specification Mining via Unsupervised Learning. - Jordan Henkel; Shuvendu K. Lahiri; Ben Liblit; Thomas W. Reps (CoRR, 2019)

Abstract semantic diffing of evolving concurrent programs. - Ahmed Bouajjani; Constantin Enea; Shuvendu K. Lahiri (Formal Methods Syst. Des., 2019)

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. - Shuvendu K. Lahiri; Akash Lal; Sridhar Gopinath; Alexander Nutz; Vladimir Levin; Rahul Kumar 002; Nate Deisinger; Jakob Lichtenberg; Chetan Bansal (FMCAD, 2020)

Learning from, understanding, and supporting DevOps artifacts for docker. - Jordan Henkel; Christian Bird; Shuvendu K. Lahiri; Thomas W. Reps (ICSE, 2020)

Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. - Chungha Sung; Shuvendu K. Lahiri; Mike Kaufman; Pallavi Choudhury; Chao Wang 001 (ICSE (SEIP), 2020)

Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. - Chungha Sung; Shuvendu K. Lahiri; Mike Kaufman; Pallavi Choudhury; Jessica Wolk; Chao Wang 001 (ICSE (Companion Volume), 2020)

Demystifying Loops in Smart Contracts. - Benjamin Mariano; Yanju Chen; Yu Feng 001; Shuvendu K. Lahiri; Isil Dillig (ASE, 2020)

A Dataset of Dockerfiles. - Jordan Henkel; Christian Bird; Shuvendu K. Lahiri; Thomas W. Reps (MSR, 2020)

ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker. - Jordan Henkel; Christian Bird; Shuvendu K. Lahiri; Thomas W. Reps (Zenodo, 2020)

Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. - Rangeet Pan; Vu Le 002; Nachiappan Nagappan; Sumit Gulwani; Shuvendu K. Lahiri; Mike Kaufman (ICSE, 2021)

SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. - Jon Stephens; Kostas Ferles; Benjamin Mariano; Shuvendu K. Lahiri; Isil Dillig (SP, 2021)

MergeBERT: Program Merge Conflict Resolution via Neural Transformers. - Alexey Svyatkovskiy; Todd Mytkowicz; Negar Ghorbani; Sarah Fakhoury; Elizabeth Dinella; Christian Bird; Neel Sundaresan; Shuvendu K. Lahiri (CoRR, 2021)

Neural Unit Test Suggestions. - Elizabeth Dinella; Shuvendu K. Lahiri; Todd Mytkowicz; Gabriel Ryan (CoRR, 2021)

SolType: Refinement Types for Solidity. - Bryan Tan; Benjamin Mariano; Shuvendu K. Lahiri; Isil Dillig; Yu Feng 001 (CoRR, 2021)

Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts? - Jialu Zhang 002; Todd Mytkowicz; Mike Kaufman; Ruzica Piskac; Shuvendu K. Lahiri (CoRR, 2021)

TOGA: A Neural Method for Test Oracle Generation. - Elizabeth Dinella; Gabriel Ryan; Todd Mytkowicz; Shuvendu K. Lahiri (ICSE, 2022)

InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript. - Saikat Dutta 001; Diego Garbervetsky; Shuvendu K. Lahiri; Max Schäfer (ICSE (SEIP), 2022)

Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). - Jialu Zhang 002; Todd Mytkowicz; Mike Kaufman; Ruzica Piskac; Shuvendu K. Lahiri (ISSTA, 2022)

Fault-Aware Neural Code Rankers. - Jeevana Priya Inala; Chenglong Wang; Mei Yang; Andrés Codas; Mark Encarnación; Shuvendu K. Lahiri; Madanlal Musuvathi; Jianfeng Gao 001 (NeurIPS, 2022)

Automated Synthesis of Asynchronizations. - Sidi Mohamed Beillahi; Ahmed Bouajjani; Constantin Enea; Shuvendu K. Lahiri (SAS, 2022)

Program merge conflict resolution via neural transformers. - Alexey Svyatkovskiy; Sarah Fakhoury; Negar Ghorbani; Todd Mytkowicz; Elizabeth Dinella; Christian Bird; Jinu Jang; Neel Sundaresan; Shuvendu K. Lahiri (ESEC/SIGSOFT FSE, 2022)

Interactive Code Generation via Test-Driven User-Intent Formalization. - Shuvendu K. Lahiri; Aaditya Naik; Georgios Sakkas; Piali Choudhury; Curtis von Veh; Madanlal Musuvathi; Jeevana Priya Inala; Chenglong Wang; Jianfeng Gao 001 (CoRR, 2022)

SolType: refinement types for arithmetic overflow in solidity. - Bryan Tan; Benjamin Mariano; Shuvendu K. Lahiri; Isil Dillig; Yu Feng 001 (Proc. ACM Program. Lang., 2022)

Ranking LLM-Generated Loop Invariants for Program Verification. - Saikat Chakraborty; Shuvendu K. Lahiri; Sarah Fakhoury; Akash Lal; Madanlal Musuvathi; Aseem Rastogi; Aditya Senthilnathan; Rahul Sharma 001; Nikhil Swamy (EMNLP (Findings), 2023)

CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models. - Caroline Lemieux; Jeevana Priya Inala; Shuvendu K. Lahiri; Siddhartha Sen 001 (ICSE, 2023)

Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context. - Lakshya A. Agrawal; Aditya Kanade 001; Navin Goyal; Shuvendu K. Lahiri; Sriram K. Rajamani (NeurIPS, 2023)

Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions. - Sarah Fakhoury; Saikat Chakraborty; Madan Musuvathi; Shuvendu K. Lahiri (CoRR, 2023)

Guiding Language Models of Code with Global Context using Monitors. - Lakshya A. Agrawal; Aditya Kanade 001; Navin Goyal; Shuvendu K. Lahiri; Sriram K. Rajamani (CoRR, 2023)

Automatic Inference of Resource Leak Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (CoRR, 2023)

Formalizing Natural Language Intent into Program Specifications via Large Language Models. - Madeline Endres; Sarah Fakhoury; Saikat Chakraborty; Shuvendu K. Lahiri (CoRR, 2023)

Program Structure Aware Precondition Generation. - Elizabeth Dinella; Shuvendu K. Lahiri; Mayur Naik (CoRR, 2023)

Finding Inductive Loop Invariants using Large Language Models. - Adharsh Kamath; Aditya Senthilnathan; Saikat Chakraborty; Pantazis Deligiannis; Shuvendu K. Lahiri; Akash Lal; Aseem Rastogi; Subhajit Roy 001; Rahul Sharma 001 (CoRR, 2023)

Resource Leak Checker (RLC#) for C# Code using CodeQL. - Pritam M. Gharat; Narges Shadab; Shrey Tiwari; Shuvendu K. Lahiri; Akash Lal (CoRR, 2023)

DeepMerge: Learning to Merge Programs. - Elizabeth Dinella; Todd Mytkowicz; Alexey Svyatkovskiy; Christian Bird; Mayur Naik; Shuvendu K. Lahiri (IEEE Trans. Software Eng., 2023)

Inference of Resource Management Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Proc. ACM Program. Lang., 2023)

AI-Assisted User Intent Formalization for Programs: Problem and Applications (Invited Talk). - Shuvendu K. Lahiri (AIware, 2024)

Leveraging LLMs for Program Verification. - Adharsh Kamath; Nausheen Mohammed; Aditya Senthilnathan; Saikat Chakraborty; Pantazis Deligiannis; Shuvendu K. Lahiri; Akash Lal; Aseem Rastogi; Subhajit Roy 001; Rahul Sharma 001 (FMCAD, 2024)

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages. - Shuvendu K. Lahiri (FMCAD, 2024)

NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions. - Sarah Fakhoury; Saikat Chakraborty; Madanlal Musuvathi; Shuvendu K. Lahiri (ICSE Companion, 2024)

Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. - Sarah Fakhoury; Aaditya Naik; Georgios Sakkas; Saikat Chakraborty; Madan Musuvathi; Shuvendu K. Lahiri (ICSE Companion, 2024)

Inferring Natural Preconditions via Program Transformation. - Elizabeth Dinella; Shuvendu K. Lahiri; Mayur Naik (SIGSOFT FSE Companion, 2024)

AutoVerus: Automated Proof Generation for Rust Code. - Chenyuan Yang; Xuheng Li; Md Rakib Hossain Misu; Jianan Yao; Weidong Cui; Yeyun Gong; Chris Hawblitzel; Shuvendu K. Lahiri; Jacob R. Lorch; Shuai Lu; Fan Yang 024; Ziqiao Zhou; et al. (CoRR, 2024)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? - Madeline Endres; Sarah Fakhoury; Saikat Chakraborty; Shuvendu K. Lahiri (Proc. ACM Softw. Eng., 2024)

Program Merge: What's Deep Learning Got to Do with It?: A discussion with Shuvendu Lahiri, Alexey Svyatkovskiy, Christian Bird, Erik Meijer and Terry Coatta. - Shuvendu K. Lahiri; Alexey Svyatkovskiy; Christian Bird; Erik Meijer 001; Terry Coatta (ACM Queue, 2024)

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation. - Sarah Fakhoury; Aaditya Naik; Georgios Sakkas; Saikat Chakraborty; Shuvendu K. Lahiri (IEEE Trans. Software Eng., 2024)

LLM-Vectorizer: LLM-Based Verified Loop Vectorizer. - Jubi Taneja; Avery Laird; Cong Yan; Madan Musuvathi; Shuvendu K. Lahiri (CGO, 2025)

Automated Proof Generation for Rust Code via Self-Evolution. - Tianyu Chen; Shuai Lu; Shan Lu 001; Yeyun Gong; Chenyuan Yang; Xuheng Li; Md Rakib Hossain Misu; Hao Yu; Nan Duan; Peng Cheng 005; Fan Yang 024; Shuvendu K. Lahiri; et al. (ICLR, 2025)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. - Saikat Chakraborty; Gabriel Ebner; Siddharth Bhat; Sarah Fakhoury; Sakina Fatima; Shuvendu K. Lahiri; Nikhil Swamy (ICSE, 2025)

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers. - Sarah Fakhoury; Markus Kuppe 001; Shuvendu K. Lahiri; Tahina Ramananandro; Nikhil Swamy (ICSE, 2025)

ClassInvGen: Class Invariant Synthesis using Large Language Models. - Chuyue Sun; Viraj Agashe; Saikat Chakraborty; Jubi Taneja; Clark W. Barrett; David L. Dill; Xiaokang Qiu; Shuvendu K. Lahiri (CoRR, 2025)

QURE: AI-Assisted and Automatically Verified UDF Inlining. - Tarique Siddiqui; Arnd Christian König; Jiashen Cao; Cong Yan; Shuvendu K. Lahiri (Proc. ACM Manag. Data, 2025)

Program Merge: What's Deep Learning Got to Do with It? - Shuvendu K. Lahiri; Alexey Svyatkovskiy; Christian Bird; Erik Miejer; Terry Coatta (Commun. ACM, 2025)

Lightweight and modular resource leak checking (extended version). - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Int. J. Softw. Tools Technol. Transf., 2025)