Shuvendu K. Lahiri

152 papers A* 35A 12B 14Misc 1Journal 60Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents.
CoRR
Shuvendu K. Lahiri
2026 — conf
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.
TACAS (2)
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett
2025 A* conf
3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers.
ICSE
Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy
2025 J jnl
AutoVerus: Automated Proof Generation for Rust Code.
Proc. ACM Program. Lang.
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, Ziqiao Zhou, Shan Lu
2025 A* conf
Automated Proof Generation for Rust Code via Self-Evolution.
ICLR
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K. Lahiri, Tao Xie, Lidong Zhou
2025 — conf
ClassInvGen: Class Invariant Synthesis Using Large Language Models.
SAIV
Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark W. Barrett, David L. Dill, Xiaokang Qiu, Shuvendu K. Lahiri
2025 J jnl
ClassInvGen: Class Invariant Synthesis using Large Language Models.
CoRR
Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark W. Barrett, David L. Dill, Xiaokang Qiu, Shuvendu K. Lahiri
2025 A conf
LLM-Vectorizer: LLM-Based Verified Loop Vectorizer.
CGO
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri
2025 J jnl
Lightweight and modular resource leak checking (extended version).
Int. J. Softw. Tools Technol. Transf.
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2025 J jnl
Program Merge: What's Deep Learning Got to Do with It?
Commun. ACM
Shuvendu K. Lahiri, Alexey Svyatkovskiy, Christian Bird, Erik Meijer, Terry Coatta
2025 J jnl
QURE: AI-Assisted and Automatically Verified UDF Inlining.
Proc. ACM Manag. Data
Tarique Siddiqui, Arnd Christian König, Jiashen Cao, Cong Yan, Shuvendu K. Lahiri
2025 A* conf
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.
ICSE
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
2025 J jnl
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus.
CoRR
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu K. Lahiri, Shan Lu, David L. Dill, Clark W. Barrett
2024 J jnl
3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers.
CoRR
Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy
2024 — conf
AI-Assisted User Intent Formalization for Programs: Problem and Applications (Invited Talk).
AIware
Shuvendu K. Lahiri
2024 J jnl
AutoVerus: Automated Proof Generation for Rust Code.
CoRR
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, Ziqiao Zhou, Shan Lu
2024 J jnl
Automated Proof Generation for Rust Code via Self-Evolution.
CoRR
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K. Lahiri, Tao Xie, Lidong Zhou
2024 J jnl
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
Proc. ACM Softw. Eng.
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri
2024 B conf
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages.
FMCAD
Shuvendu K. Lahiri
2024 J jnl
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages.
CoRR
Shuvendu K. Lahiri
2024 — conf
Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation.
ICSE Companion
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
2024 — conf
Inferring Natural Preconditions via Program Transformation.
SIGSOFT FSE Companion
Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik
2024 J jnl
LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation.
IEEE Trans. Software Eng.
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
2024 J jnl
LLM-Vectorizer: LLM-based Verified Loop Vectorizer.
CoRR
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri
2024 J jnl
LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation.
CoRR
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
2024 B conf
Leveraging LLMs for Program Verification.
FMCAD
Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2024 — conf
NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions.
ICSE Companion
Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri
2024 J jnl
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.
ACM Queue
Shuvendu K. Lahiri, Alexey Svyatkovskiy, Christian Bird, Erik Meijer, Terry Coatta
2024 J jnl
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.
CoRR
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
2023 J jnl
Automatic Inference of Resource Leak Specifications.
CoRR
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2023 A* conf
CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models.
ICSE
Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen
2023 J jnl
DeepMerge: Learning to Merge Programs.
IEEE Trans. Software Eng.
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
2023 J jnl
Finding Inductive Loop Invariants using Large Language Models.
CoRR
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2023 J jnl
Formalizing Natural Language Intent into Program Specifications via Large Language Models.
CoRR
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri
2023 J jnl
Guiding Language Models of Code with Global Context using Monitors.
CoRR
Lakshya A. Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani
2023 J jnl
Inference of Resource Management Specifications.
Proc. ACM Program. Lang.
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2023 A* conf
Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context.
NeurIPS
Lakshya A. Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani
2023 J jnl
Program Structure Aware Precondition Generation.
CoRR
Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik
2023 — conf
Ranking LLM-Generated Loop Invariants for Program Verification.
EMNLP (Findings)
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023 J jnl
Ranking LLM-Generated Loop Invariants for Program Verification.
CoRR
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023 J jnl
Resource Leak Checker (RLC#) for C# Code using CodeQL.
CoRR
Pritam M. Gharat, Narges Shadab, Shrey Tiwari, Shuvendu K. Lahiri, Akash Lal
2023 J jnl
Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions.
CoRR
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
2022 B conf
Automated Synthesis of Asynchronizations.
SAS
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
2022 J jnl
Automated Synthesis of Asynchronizations.
CoRR
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
2022 A* conf
Fault-Aware Neural Code Rankers.
NeurIPS
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao
2022 J jnl
Fault-Aware Neural Code Rankers.
CoRR
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andrés Codas, Mark Encarnación, Shuvendu K. Lahiri, Madanlal Musuvathi, Jianfeng Gao
2022 — conf
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript.
ICSE (SEIP)
Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer
2022 J jnl
Interactive Code Generation via Test-Driven User-Intent Formalization.
CoRR
Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
2022 — conf
Program merge conflict resolution via neural transformers.
ESEC/SIGSOFT FSE
Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Elizabeth Dinella, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu K. Lahiri
2022 J jnl
SolType: refinement types for arithmetic overflow in solidity.
Proc. ACM Program. Lang.
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
2022 A* conf
TOGA: A Neural Method for Test Oracle Generation.
ICSE
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri
2022 A conf
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper).
ISSTA
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
2021 J jnl
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?
CoRR
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri
2021 A* conf
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis.
ICSE
Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman
2021 J jnl
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis.
CoRR
Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman
2021 J jnl
DeepMerge: Learning to Merge Programs.
CoRR
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri
2021 J jnl
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript.
CoRR
Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer
2021 J jnl
MergeBERT: Program Merge Conflict Resolution via Neural Transformers.
CoRR
Alexey Svyatkovskiy, Todd Mytkowicz, Negar Ghorbani, Sarah Fakhoury, Elizabeth Dinella, Christian Bird, Neel Sundaresan, Shuvendu K. Lahiri
2021 J jnl
Neural Unit Test Suggestions.
CoRR
Elizabeth Dinella, Shuvendu K. Lahiri, Todd Mytkowicz, Gabriel Ryan
2021 A* conf
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts.
SP
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig
2021 J jnl
SolType: Refinement Types for Solidity.
CoRR
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
2020 A conf
A Dataset of Dockerfiles.
MSR
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
2020 J jnl
A Dataset of Dockerfiles.
CoRR
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
2020 B conf
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.
FMCAD
Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
2020 — ed.
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
CAV (1)
Shuvendu K. Lahiri, Chao Wang
2020 — ed.
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
CAV (2)
Shuvendu K. Lahiri, Chao Wang
2020 A* conf
Demystifying Loops in Smart Contracts.
ASE
Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig
2020 J jnl
Learning from, Understanding, and Supporting DevOps Artifacts for Docker.
CoRR
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
2020 A* conf
Learning from, understanding, and supporting DevOps artifacts for docker.
ICSE
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
2020 — conf
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study.
ICSE (SEIP)
Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Chao Wang
2020 — conf
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study.
ICSE (Companion Volume)
Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Jessica Wolk, Chao Wang
2019 J jnl
Abstract semantic diffing of evolving concurrent programs.
Formal Methods Syst. Des.
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
2019 J jnl
Enabling Open-World Specification Mining via Unsupervised Learning.
CoRR
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
2019 — conf
Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain.
VSTTE
Yuepeng Wang, Shuvendu K. Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles
2018 B ed.
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
ATVA
Shuvendu K. Lahiri, Chao Wang
2018 J jnl
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces.
CoRR
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
2018 — conf
Code vectors: understanding programs through embedded abstracted symbolic traces.
ESEC/SIGSOFT FSE
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
2018 J jnl
Datalog-based Scalable Semantic Diffing of Concurrent Programs.
CoRR
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
2018 A* conf
Datalog-based scalable semantic diffing of concurrent programs.
ASE
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
2018 J jnl
Formal Specification and Verification of Smart Contracts for Azure Blockchain.
CoRR
Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang, Isil Dillig
2018 J jnl
Program Equivalence (Dagstuhl Seminar 18151).
Dagstuhl Reports
Shuvendu K. Lahiri, Andrzej S. Murawski, Ofer Strichman, Mattias Ulbrich
2018 J jnl
VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations.
CoRR
Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen
2018 J jnl
Verified three-way program merge.
Proc. ACM Program. Lang.
Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri
2018 J jnl
Verifying Relative Safety, Accuracy, and Termination for Program Approximations.
J. Autom. Reason.
Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric
2018 J jnl
Verifying Semantic Conflict-Freedom in Three-Way Program Merges.
CoRR
Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri
2018 J jnl
Verifying equivalence of database-driven applications.
Proc. ACM Program. Lang.
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
2018 J jnl
Wireless protocol validation under uncertainty.
Formal Methods Syst. Des.
Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen
2017 B conf
Abstract Semantic Diffing of Evolving Concurrent Programs.
SAS
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
2017 A conf
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation.
ESOP
Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach
2017 A* conf
Optimizing test placement for module-level regression testing.
ICSE
August Shi, Suresh Thummalapenta, Shuvendu K. Lahiri, Nikolaj S. Bjørner, Jacek Czerwonka
2017 A conf
Refining interprocedural change-impact analysis using equivalence relations.
ISSTA
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush
2017 B ed.
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
RV
Shuvendu K. Lahiri, Giles Reger
2017 J jnl
Verifying Equivalence of Database-Driven Applications.
CoRR
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook
2016 J jnl
Interprocedural Semantic Change-Impact Analysis using Equivalence Relations.
CoRR
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush
2016 — conf
Verifying Relative Safety, Accuracy, and Termination for Program Approximations.
NFM
Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric
2016 B conf
Wireless Protocol Validation Under Uncertainty.
RV
Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen
2015 — conf
Angelic Verification: Precise Verification Modulo Unknowns.
CAV (1)
Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li
2015 — conf
Automatic Rootcausing for Program Equivalence Failures in Binaries.
CAV (1)
Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel
2015 — conf
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets.
ICSE (1)
Mike Barnett, Christian Bird, João Brunet, Shuvendu K. Lahiri
2014 A* conf
Verification modulo versions: towards usable verification.
PLDI
Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear
2013 A* conf
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings.
PLDI
Sam Blackshear, Shuvendu K. Lahiri
2013 — conf
Differential assertion checking.
ESEC/SIGSOFT FSE
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, Chris Hawblitzel
2013 A conf
Towards Modularly Comparing Programs Using Automated Theorem Provers.
CADE
Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo
2013 A* conf
Towards Practical Reactive Security Audit Using Extended Static Checkers.
IEEE Symposium on Security and Privacy
Julien Vanegue, Shuvendu K. Lahiri
2013 — conf
Will you still compile me tomorrow? static cross-version compiler validation.
ESEC/SIGSOFT FSE
Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth
2012 A* conf
A Solver for Reachability Modulo Theories.
CAV
Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri
2012 A* conf
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs.
CAV
Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebêlo
2012 A* conf
Underspecified harnesses and interleaved bugs.
POPL
Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal
2011 — conf
Call Invariants.
NASA Formal Methods
Shuvendu K. Lahiri, Shaz Qadeer
2011 B conf
ExplainHoudini: Making Houdini Inference Transparent.
VMCAI
Shuvendu K. Lahiri, Julien Vanegue
2011 — conf
From Program to Logic: An Introduction.
LASER Summer School
Patrice Godefroid, Shuvendu K. Lahiri
2011 — conf
Linear maps.
PLPV
Shuvendu K. Lahiri, Shaz Qadeer, David Walker
2011 A* conf
SMT-Based Modular Analysis of Sequential Systems Code.
CAV
Shuvendu K. Lahiri
2011 B conf
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation.
SAS
Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González
2010 B conf
Abstract Threads.
VMCAI
Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
2010 — conf
Differential static analysis: opportunities, applications, and challenges.
FoSER
Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare
2010 — conf
Towards Scalable Modular Checking of User-Defined Properties.
VSTTE
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue
2009 J jnl
A low-level memory model and an accompanying reachability predicate.
Int. J. Softw. Tools Technol. Transf.
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
2009 A conf
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction.
CADE
Shuvendu K. Lahiri, Shaz Qadeer
2009 A* conf
Intra-module Inference.
CAV
Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
2009 A* conf
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers.
CAV
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
2009 A* conf
Unifying type checking and property checking for low-level code.
POPL
Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer
2008 A* conf
Back to the future: revisiting precise program verification using SMT solvers.
POPL
Shuvendu K. Lahiri, Shaz Qadeer
2008 A conf
Embedded software verification: challenges and solutions.
ICCAD
Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening
2008 A conf
Finding errors in .net with feedback-directed random testing.
ISSTA
Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball
2007 A conf
A Reachability Predicate for Analyzing Low-Level Software.
TACAS
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
2007 A* conf
Feedback-Directed Random Test Generation.
ICSE
Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball
2007 J jnl
Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic.
J. Satisf. Boolean Model. Comput.
Shuvendu K. Lahiri, Krishna K. Mehra
2007 J jnl
Predicate Abstraction via Symbolic Decision Procedures.
Log. Methods Comput. Sci.
Shuvendu K. Lahiri, Thomas Ball, Byron Cook
2007 J jnl
Predicate abstraction with indexed predicates.
ACM Trans. Comput. Log.
Shuvendu K. Lahiri, Randal E. Bryant
2006 J jnl
Predicate Abstraction via Symbolic Decision Procedures
CoRR
Shuvendu K. Lahiri, Thomas Ball, Byron Cook
2006 A* conf
SMT Techniques for Fast Predicate Abstraction.
CAV
Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras
2006 A conf
Solving Sparse Linear Constraints.
IJCAR
Shuvendu K. Lahiri, Madanlal Musuvathi
2006 A* conf
Verifying properties of well-founded linked lists.
POPL
Shuvendu K. Lahiri, Shaz Qadeer
2005 — conf
An Efficient Decision Procedure for UTVPI Constraints.
FroCoS
Shuvendu K. Lahiri, Madanlal Musuvathi
2005 — conf
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.
PDPAR@CAV
Shuvendu K. Lahiri, Madanlal Musuvathi
2005 A* conf
Predicate Abstraction via Symbolic Decision Procedures.
CAV
Shuvendu K. Lahiri, Thomas Ball, Byron Cook
2005 B conf
Zap: Automated Theorem Proving for Software Analysis.
LPAR
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
2004 B conf
Constructing Quantified Invariants via Predicate Abstraction.
VMCAI
Shuvendu K. Lahiri, Randal E. Bryant
2004 A* conf
Indexed Predicate Discovery for Unbounded System Verification.
CAV
Shuvendu K. Lahiri, Randal E. Bryant
2004 J jnl
Predicate Abstraction with Indexed Predicates
CoRR
Shuvendu K. Lahiri, Randal E. Bryant
2004 A conf
Revisiting Positive Equality.
TACAS
Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur
2004 A* conf
The UCLID Decision Procedure.
CAV
Shuvendu K. Lahiri, Sanjit A. Seshia
2004 A* conf
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.
CAV
Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang
2003 A* conf
A Symbolic Approach to Predicate Abstraction.
CAV
Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook
2003 A* conf
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions.
DAC
Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant
2003 — conf
Convergence Testing in Term-Level Bounded Model Checking.
CHARME
Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia
2003 A* conf
Deductive Verification of Advanced Out-of-Order Microprocessors.
CAV
Shuvendu K. Lahiri, Randal E. Bryant
2002 B conf
Modeling and Verification of Out-of-Order Microprocessors in UCLID.
FMCAD
Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant
2002 A* conf
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions.
CAV
Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia
2001 — conf
Experience with term level modeling and verification of the M*CORE
HLDVT
Shuvendu K. Lahiri, Carl Pixley, Ken Albin
1999 Misc conf
Controlling State Explosion in Static Simulation by Selective Composition.
VLSI Design
Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose