Shuvendu K. Lahiri

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 76

Top Venues

CoRR

ICSE

Proc. ACM Program. Lang.

ASE

Publications

Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik
Inferring Natural Preconditions via Program Transformation. SIGSOFT FSE Companion (2024)
Shuvendu K. Lahiri
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages. CoRR (2024)
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. CoRR (2024)
Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy
3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers. CoRR (2024)
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. ICSE Companion (2024)
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri
LLM-Vectorizer: LLM-based Verified Loop Vectorizer. CoRR (2024)
Shuvendu K. Lahiri
AI-Assisted User Intent Formalization for Programs: Problem and Applications (Invited Talk). AIware (2024)
Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri
NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions. ICSE Companion (2024)
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? Proc. ACM Softw. Eng. 1 (FSE) (2024)
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. CoRR (2024)
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
Ranking LLM-Generated Loop Invariants for Program Verification. CoRR (2023)
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri
Formalizing Natural Language Intent into Program Specifications via Large Language Models. CoRR (2023)
Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik
Program Structure Aware Precondition Generation. CoRR (2023)
Pritam M. Gharat, Narges Shadab, Shrey Tiwari, Shuvendu K. Lahiri, Akash Lal
Resource Leak Checker (RLC#) for C# Code using CodeQL. CoRR (2023)
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani
Guiding Language Models of Code with Global Context using Monitors. CoRR (2023)
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions. CoRR (2023)
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
DeepMerge: Learning to Merge Programs. IEEE Trans. Software Eng. 49 (4) (2023)
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani
Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context. NeurIPS (2023)
Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen
CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models. ICSE (2023)
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Automatic Inference of Resource Leak Specifications. CoRR (2023)
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Finding Inductive Loop Invariants using Large Language Models. CoRR (2023)
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Inference of Resource Management Specifications. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
Ranking LLM-Generated Loop Invariants for Program Verification. EMNLP (Findings) (2023)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Automated Synthesis of Asynchronizations. CoRR (2022)
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Automated Synthesis of Asynchronizations. SAS (2022)
Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript. ICSE (SEIP) (2022)
Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
Interactive Code Generation via Test-Driven User-Intent Formalization. CoRR (2022)
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao
Fault-Aware Neural Code Rankers. CoRR (2022)
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri
TOGA: A Neural Method for Test Oracle Generation. ICSE (2022)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). ISSTA (2022)
Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Elizabeth Dinella, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu K. Lahiri
Program merge conflict resolution via neural transformers. ESEC/SIGSOFT FSE (2022)
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
SolType: refinement types for arithmetic overflow in solidity. Proc. ACM Program. Lang. 6 (POPL) (2022)
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao
Fault-Aware Neural Code Rankers. NeurIPS (2022)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts? CoRR (2021)
Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. CoRR (2021)
Elizabeth Dinella, Shuvendu K. Lahiri, Todd Mytkowicz, Gabriel Ryan
Neural Unit Test Suggestions. CoRR (2021)
Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis. ICSE (2021)
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. IEEE Symposium on Security and Privacy (2021)
Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu K. Lahiri
MergeBERT: Program Merge Conflict Resolution via Neural Transformers. CoRR (2021)
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
SolType: Refinement Types for Solidity. CoRR (2021)
Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript. CoRR (2021)
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
DeepMerge: Learning to Merge Programs. CoRR (2021)
Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Jessica Wolk, Chao Wang
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. ICSE (Companion Volume) (2020)
Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. FMCAD (2020)
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
A Dataset of Dockerfiles. CoRR (2020)
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
A Dataset of Dockerfiles. MSR (2020)
Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig
Demystifying Loops in Smart Contracts. ASE (2020)
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
Learning from, understanding, and supporting DevOps artifacts for docker. ICSE (2020)
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
Learning from, Understanding, and Supporting DevOps Artifacts for Docker. CoRR (2020)
Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Chao Wang
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. ICSE (SEIP) (2020)
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. VSTTE (2019)
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
Enabling Open-World Specification Mining via Unsupervised Learning. CoRR (2019)
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Abstract semantic diffing of evolving concurrent programs. Formal Methods Syst. Des. 54 (1) (2019)
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
Code vectors: understanding programs through embedded abstracted symbolic traces. ESEC/SIGSOFT FSE (2018)
Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri
Verified three-way program merge. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Shuvendu K. Lahiri, Andrzej S. Murawski, Ofer Strichman, Mattias Ulbrich
Program Equivalence (Dagstuhl Seminar 18151). Dagstuhl Reports 8 (4) (2018)
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. CoRR (2018)
Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric
Verifying Relative Safety, Accuracy, and Termination for Program Approximations. J. Autom. Reason. 60 (1) (2018)
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
Datalog-based Scalable Semantic Diffing of Concurrent Programs. CoRR (2018)
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
Datalog-based scalable semantic diffing of concurrent programs. ASE (2018)
Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen
VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations. CoRR (2018)
Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri
Verifying Semantic Conflict-Freedom in Three-Way Program Merges. CoRR (2018)
Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang, Isil Dillig
Formal Specification and Verification of Smart Contracts for Azure Blockchain. CoRR (2018)
Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen
Wireless protocol validation under uncertainty. Formal Methods Syst. Des. 53 (1) (2018)
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
Verifying equivalence of database-driven applications. Proc. ACM Program. Lang. 2 (POPL) (2018)
August Shi, Suresh Thummalapenta, Shuvendu K. Lahiri, Nikolaj Bjørner, Jacek Czerwonka
Optimizing test placement for module-level regression testing. ICSE (2017)
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
Verifying Equivalence of Database-Driven Applications. CoRR (2017)
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Abstract Semantic Diffing of Evolving Concurrent Programs. SAS (2017)
Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. ESOP (2017)
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush
Refining interprocedural change-impact analysis using equivalence relations. ISSTA (2017)
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush
Interprocedural Semantic Change-Impact Analysis using Equivalence Relations. CoRR (2016)
Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric
Verifying Relative Safety, Accuracy, and Termination for Program Approximations. NFM (2016)
Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen
Wireless Protocol Validation Under Uncertainty. RV (2016)
Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li
Angelic Verification: Precise Verification Modulo Unknowns. CAV (1) (2015)
Mike Barnett, Christian Bird, João Brunet, Shuvendu K. Lahiri
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets. ICSE (1) (2015)
Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel
Automatic Rootcausing for Program Equivalence Failures in Binaries. CAV (1) (2015)
Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear
Verification modulo versions: towards usable verification. PLDI (2014)
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, Chris Hawblitzel
Differential assertion checking. ESEC/SIGSOFT FSE (2013)
Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
Will you still compile me tomorrow? static cross-version compiler validation. ESEC/SIGSOFT FSE (2013)
Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo
Towards Modularly Comparing Programs Using Automated Theorem Provers. CADE (2013)
Julien Vanegue, Shuvendu K. Lahiri
Towards Practical Reactive Security Audit Using Extended Static Checkers. IEEE Symposium on Security and Privacy (2013)
Sam Blackshear, Shuvendu K. Lahiri
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings. PLDI (2013)
Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri
A Solver for Reachability Modulo Theories. CAV (2012)
Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal
Underspecified harnesses and interleaved bugs. POPL (2012)
Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebêlo
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. CAV (2012)
Patrice Godefroid, Shuvendu K. Lahiri
From Program to Logic: An Introduction. LASER Summer School (2011)
Shuvendu K. Lahiri
SMT-Based Modular Analysis of Sequential Systems Code. CAV (2011)
Shuvendu K. Lahiri, Julien Vanegue
ExplainHoudini: Making Houdini Inference Transparent. VMCAI (2011)
Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. SAS (2011)
Shuvendu K. Lahiri, Shaz Qadeer
Call Invariants. NASA Formal Methods (2011)
Shuvendu K. Lahiri, Shaz Qadeer, David Walker
Linear maps. PLPV (2011)
Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare
Differential static analysis: opportunities, applications, and challenges. FoSER (2010)
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue
Towards Scalable Modular Checking of User-Defined Properties. VSTTE (2010)
Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
Abstract Threads. VMCAI (2010)
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. CAV (2009)
Shuvendu K. Lahiri, Shaz Qadeer
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. CADE (2009)
Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer
Unifying type checking and property checking for low-level code. POPL (2009)
Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
Intra-module Inference. CAV (2009)
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
A low-level memory model and an accompanying reachability predicate. Int. J. Softw. Tools Technol. Transf. 11 (2) (2009)
Shuvendu K. Lahiri, Shaz Qadeer
Back to the future: revisiting precise program verification using SMT solvers. POPL (2008)

Shuvendu K. Lahiri.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shuvendu K. Lahiri