Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Shuvendu K. Lahiri

> Home > Persons

Person information

affiliation: Microsoft Research, Redmond, WA, USA
affiliation (PhD): Carnegie Mellon University, Pittsburgh, PA, USA
affiliation: Indian Institute of Technology, Kharagpur, India
not to be confused with: S. K. Lahiri 0001

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/pacmse/EndresFCL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmse/EndresFCL24
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): 1889-1912 (2024)
2023
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ShadabGTEKLLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ShadabGTEKLLS23
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): 1705-1728 (2023)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/DinellaMSBNL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/DinellaMSBNL23
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri:
DeepMerge: Learning to Merge Programs. IEEE Trans. Software Eng. 49(4): 1599-1614 (2023)
2022
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/TanMLDF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/TanMLDF22
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): 1-29 (2022)
2019
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BouajjaniEL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BouajjaniEL19
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri:
Abstract semantic diffing of evolving concurrent programs. Formal Methods Syst. Des. 54(1): 4-26 (2019)
2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ShiLCC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ShiLCC18
Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen:
Wireless protocol validation under uncertainty. Formal Methods Syst. Des. 53(1): 33-53 (2018)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HeLR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HeLR18
Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric:
Verifying Relative Safety, Accuracy, and Termination for Program Approximations. J. Autom. Reason. 60(1): 23-42 (2018)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/SousaDL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/SousaDL18
Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri:
Verified three-way program merge. Proc. ACM Program. Lang. 2(OOPSLA): 165:1-165:29 (2018)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/0001DLC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/0001DLC18
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook:
Verifying equivalence of database-driven applications. Proc. ACM Program. Lang. 2(POPL): 56:1-56:29 (2018)
2009
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ChatterjeeLQR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ChatterjeeLQR09
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): 105-116 (2009)
2007
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/LahiriM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/LahiriM07
Shuvendu K. Lahiri, Krishna K. Mehra:
Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic. J. Satisf. Boolean Model. Comput. 1(3-4): 187-207 (2007)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/LahiriBC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/LahiriBC07
Shuvendu K. Lahiri, Thomas Ball, Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures. Log. Methods Comput. Sci. 3(2) (2007)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/LahiriB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/LahiriB07
Shuvendu K. Lahiri, Randal E. Bryant:
Predicate abstraction with indexed predicates. ACM Trans. Comput. Log. 9(1): 4 (2007)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/aiware/Lahiri24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiware/Lahiri24
Shuvendu K. Lahiri:
AI-Assisted User Intent Formalization for Programs: Problem and Applications (Invited Talk). AIware 2024
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FakhouryNSCML24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FakhouryNSCML24
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: 390-391
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FakhouryCML24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FakhouryCML24
Sarah Fakhoury, Saikat Chakraborty, Madanlal Musuvathi, Shuvendu K. Lahiri:
NL2Fix: Generating Functionally Correct Code Edits from Bug Descriptions. ICSE Companion 2024: 410-411
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/DinellaLN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/DinellaLN24
Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik:
Inferring Natural Preconditions via Program Transformation. SIGSOFT FSE Companion 2024: 657-658
2023
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/emnlp/ChakrabortyLFLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emnlp/ChakrabortyLFLM23
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: 9164-9175
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LemieuxILS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LemieuxILS23
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: 919-931
[c74]
- view
  - electronic edition @ nips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/AgrawalKGLR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/AgrawalKGLR23
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
2022
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DuttaGLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DuttaGLS22
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: 165-174
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DinellaRML22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DinellaRML22
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz, Shuvendu K. Lahiri:
TOGA: A Neural Method for Test Oracle Generation. ICSE 2022: 2130-2141
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ZhangMKPL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ZhangMKPL22
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: 77-88
[c70]
- view
  - electronic edition @ nips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/InalaWYCELMG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/InalaWYCELMG22
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
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/BeillahiBEL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BeillahiBEL22
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri:
Automated Synthesis of Asynchronizations. SAS 2022: 135-159
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SvyatkovskiyFGM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SvyatkovskiyFGM22
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: 822-833
2021
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PanLNGLK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PanLNGLK21
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: 785-796
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/StephensFMLD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/StephensFMLD21
Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig:
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. SP 2021: 555-571
2020
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/LahiriLGNLKDLB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LahiriLGNLKDLB20
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: 169-178
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HenkelBLR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HenkelBLR20
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps:
Learning from, understanding, and supporting DevOps artifacts for docker. ICSE 2020: 38-49
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SungLKCW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SungLKCW20
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: 172-181
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SungLKCWW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SungLKCWW20
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: 320-321
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MarianoCFLD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MarianoCFLD20
Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig:
Demystifying Loops in Smart Contracts. ASE 2020: 262-274
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/HenkelBLR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/HenkelBLR20
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps:
A Dataset of Dockerfiles. MSR 2020: 528-532
2019
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/0001LCPDBNF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/0001LCPDBNF19
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: 87-106
2018
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/SungLEW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/SungLEW18
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang:
Datalog-based scalable semantic diffing of concurrent programs. ASE 2018: 656-666
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HenkelLLR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HenkelLLR18
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Code vectors: understanding programs through embedded abstracted symbolic traces. ESEC/SIGSOFT FSE 2018: 163-174
2017
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/WoodDLE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/WoodDLE17
Tim Wood, Sophia Drossopoulou, Shuvendu K. Lahiri, Susan Eisenbach:
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation. ESOP 2017: 937-963
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ShiTLBC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ShiTLBC17
August Shi, Suresh Thummalapenta, Shuvendu K. Lahiri, Nikolaj S. Bjørner, Jacek Czerwonka:
Optimizing test placement for module-level regression testing. ICSE 2017: 689-699
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GyoriLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GyoriLP17
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush:
Refining interprocedural change-impact analysis using equivalence relations. ISSTA 2017: 318-328
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/BouajjaniEL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/BouajjaniEL17
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri:
Abstract Semantic Diffing of Evolving Concurrent Programs. SAS 2017: 46-65
2016
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/HeLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/HeLR16
Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric:
Verifying Relative Safety, Accuracy, and Termination for Program Approximations. NFM 2016: 237-254
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ShiLCC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ShiLCC16
Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen:
Wireless Protocol Validation Under Uncertainty. RV 2016: 351-367
2015
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DasLLL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DasLLL15
Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li:
Angelic Verification: Precise Verification Modulo Unknowns. CAV (1) 2015: 324-342
[c49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriSH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriSH15
Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel:
Automatic Rootcausing for Program Equivalence Failures in Binaries. CAV (1) 2015: 362-379
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BarnettBBL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BarnettBBL15
Mike Barnett, Christian Bird, João Brunet, Shuvendu K. Lahiri:
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets. ICSE (1) 2015: 134-144
2014
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LogozzoLFB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LogozzoLFB14
Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear:
Verification modulo versions: towards usable verification. PLDI 2014: 294-304
2013
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/HawblitzelKLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/HawblitzelKLR13
Chris Hawblitzel, Ming Kawaguchi, Shuvendu K. Lahiri, Henrique Rebêlo:
Towards Modularly Comparing Programs Using Automated Theorem Provers. CADE 2013: 282-299
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BlackshearL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BlackshearL13
Sam Blackshear, Shuvendu K. Lahiri:
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings. PLDI 2013: 209-218
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/HawblitzelLPHGFDW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/HawblitzelLPHGFDW13
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: 191-201
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LahiriMSH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LahiriMSH13
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, Chris Hawblitzel:
Differential assertion checking. ESEC/SIGSOFT FSE 2013: 345-355
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/VanegueL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/VanegueL13
Julien Vanegue, Shuvendu K. Lahiri:
Towards Practical Reactive Security Audit Using Extended Static Checkers. IEEE Symposium on Security and Privacy 2013: 33-47
2012
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LalQL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LalQL12
Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri:
A Solver for Reachability Modulo Theories. CAV 2012: 427-443
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriHKR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriHKR12
Shuvendu K. Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebêlo:
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs. CAV 2012: 712-717
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/JoshiLL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/JoshiLL12
Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal:
Underspecified harnesses and interleaved bugs. POPL 2012: 19-30
2011
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Lahiri11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Lahiri11
Shuvendu K. Lahiri:
SMT-Based Modular Analysis of Sequential Systems Code. CAV 2011: 21-27
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/GodefroidL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/GodefroidL11
Patrice Godefroid, Shuvendu K. Lahiri:
From Program to Logic: An Introduction. LASER Summer School 2011: 31-44
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/LahiriQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/LahiriQ11
Shuvendu K. Lahiri, Shaz Qadeer:
Call Invariants. NASA Formal Methods 2011: 237-251
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/LahiriQW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/LahiriQW11
Shuvendu K. Lahiri, Shaz Qadeer, David Walker:
Linear maps. PLPV 2011: 3-14
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GodefroidLR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GodefroidLR11
Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González:
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. SAS 2011: 112-128
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/LahiriV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/LahiriV11
Shuvendu K. Lahiri, Julien Vanegue:
ExplainHoudini: Making Houdini Inference Transparent. VMCAI 2011: 309-323
2010
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LahiriVH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LahiriVH10
Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare:
Differential static analysis: opportunities, applications, and challenges. FoSER 2010: 201-204
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/LahiriMQ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/LahiriMQ10
Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer:
Abstract Threads. VMCAI 2010: 231-246
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BallHLQV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BallHLQV10
Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue:
Towards Scalable Modular Checking of User-Defined Properties. VSTTE 2010: 1-24
2009
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/LahiriQ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LahiriQ09
Shuvendu K. Lahiri, Shaz Qadeer:
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. CADE 2009: 214-229
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriQGVW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriQGVW09
Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies:
Intra-module Inference. CAV 2009: 493-508
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriQR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriQR09
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. CAV 2009: 509-524
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ConditHLQ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ConditHLQ09
Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer:
Unifying type checking and property checking for low-level code. POPL 2009: 302-314
2008
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/WangGWLK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/WangGWLK08
Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening:
Embedded software verification: challenges and solutions. ICCAD 2008: 5
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PachecoLB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PachecoLB08
Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball:
Finding errors in .net with feedback-directed random testing. ISSTA 2008: 87-96
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/LahiriQ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/LahiriQ08
Shuvendu K. Lahiri, Shaz Qadeer:
Back to the future: revisiting precise program verification using SMT solvers. POPL 2008: 171-182
2007
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PachecoLEB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PachecoLEB07
Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball:
Feedback-Directed Random Test Generation. ICSE 2007: 75-84
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChatterjeeLQR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChatterjeeLQR07
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
A Reachability Predicate for Analyzing Low-Level Software. TACAS 2007: 19-33
2006
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/LahiriM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LahiriM06
Shuvendu K. Lahiri, Madanlal Musuvathi:
Solving Sparse Linear Constraints. IJCAR 2006: 468-482
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriNO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriNO06
Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras:
SMT Techniques for Fast Predicate Abstraction. CAV 2006: 424-437
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/LahiriQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/LahiriQ06
Shuvendu K. Lahiri, Shaz Qadeer:
Verifying properties of well-founded linked lists. POPL 2006: 115-126
2005
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriBC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriBC05
Shuvendu K. Lahiri, Thomas Ball, Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures. CAV 2005: 24-38
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/LahiriM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/LahiriM05
Shuvendu K. Lahiri, Madanlal Musuvathi:
An Efficient Decision Procedure for UTVPI Constraints. FroCoS 2005: 168-183
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BallLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BallLM05
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi:
Zap: Automated Theorem Proving for Software Analysis. LPAR 2005: 2-22
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LahiriM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LahiriM06
Shuvendu K. Lahiri, Madanlal Musuvathi:
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. PDPAR@CAV 2005: 27-41
2004
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriB04
Shuvendu K. Lahiri, Randal E. Bryant:
Indexed Predicate Discovery for Unbounded System Verification. CAV 2004: 135-147
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BallCLZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BallCLZ04
Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang:
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV 2004: 457-461
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriS04
Shuvendu K. Lahiri, Sanjit A. Seshia:
The UCLID Decision Procedure. CAV 2004: 475-478
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/LahiriBGT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LahiriBGT04
Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur:
Revisiting Positive Equality. TACAS 2004: 1-15
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/LahiriB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/LahiriB04
Shuvendu K. Lahiri, Randal E. Bryant:
Constructing Quantified Invariants via Predicate Abstraction. VMCAI 2004: 267-281
2003
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriBC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriBC03
Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook:
A Symbolic Approach to Predicate Abstraction. CAV 2003: 141-153
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriB03
Shuvendu K. Lahiri, Randal E. Bryant:
Deductive Verification of Advanced Out-of-Order Microprocessors. CAV 2003: 341-353
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/BryantLS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/BryantLS03
Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia:
Convergence Testing in Term-Level Bounded Model Checking. CHARME 2003: 348-362
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/SeshiaLB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/SeshiaLB03
Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant:
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions. DAC 2003: 425-430
2002
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BryantLS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BryantLS02
Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia:
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. CAV 2002: 78-92
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/LahiriSB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LahiriSB02
Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant:
Modeling and Verification of Out-of-Order Microprocessors in UCLID. FMCAD 2002: 142-159
2001
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/LahiriPA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/LahiriPA01
Shuvendu K. Lahiri, Carl Pixley, Ken Albin:
Experience with term level modeling and verification of the M*CORE ^TM microprocessor core. HLDVT 2001: 109-114
1999
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/ChakrabartiDDRLB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/ChakrabartiDDRLB99
Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose:
Controlling State Explosion in Static Simulation by Selective Composition. VLSI Design 1999: 226-231

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2020
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/2020-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2020-1
Shuvendu K. Lahiri, Chao Wang:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12224, Springer 2020, ISBN 978-3-030-53287-1 [contents]
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/2020-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2020-2
Shuvendu K. Lahiri, Chao Wang:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12225, Springer 2020, ISBN 978-3-030-53290-1 [contents]
2018
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2018
Shuvendu K. Lahiri, Chao Wang:
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Lecture Notes in Computer Science 11138, Springer 2018, ISBN 978-3-030-01089-8 [contents]
2017
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2017
Shuvendu K. Lahiri, Giles Reger:
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. Lecture Notes in Computer Science 10548, Springer 2017, ISBN 978-3-319-67530-5 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-10100
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-10100
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri:
LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. CoRR abs/2404.10100 (2024)
[i35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-10362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-10362
Sarah Fakhoury, Markus Kuppe, Shuvendu K. Lahiri, Tahina Ramananandro, Nikhil Swamy:
3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers. CoRR abs/2404.10362 (2024)
[i34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-01787
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-01787
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 abs/2405.01787 (2024)
[i33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-04693
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-04693
Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri:
LLM-Vectorizer: LLM-based Verified Loop Vectorizer. CoRR abs/2406.04693 (2024)
[i32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-09757
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-09757
Shuvendu K. Lahiri:
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages. CoRR abs/2406.09757 (2024)
2023
[i31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-03816
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-03816
Sarah Fakhoury, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri:
Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions. CoRR abs/2304.03816 (2023)
[i30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-10763
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-10763
Lakshya A. Agrawal, Aditya Kanade, Navin Goyal, Shuvendu K. Lahiri, Sriram K. Rajamani:
Guiding Language Models of Code with Global Context using Monitors. CoRR abs/2306.10763 (2023)
[i29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-11953
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-11953
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan:
Automatic Inference of Resource Leak Specifications. CoRR abs/2306.11953 (2023)
[i28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-01831
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-01831
Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri:
Formalizing Natural Language Intent into Program Specifications via Large Language Models. CoRR abs/2310.01831 (2023)
[i27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-02154
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-02154
Elizabeth Dinella, Shuvendu K. Lahiri, Mayur Naik:
Program Structure Aware Precondition Generation. CoRR abs/2310.02154 (2023)
[i26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-09342
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-09342
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 abs/2310.09342 (2023)
[i25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-07948
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-07948
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 abs/2311.07948 (2023)
[i24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-01912
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-01912
Pritam M. Gharat, Narges Shadab, Shrey Tiwari, Shuvendu K. Lahiri, Akash Lal:
Resource Leak Checker (RLC#) for C# Code using CodeQL. CoRR abs/2312.01912 (2023)
2022
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-03865
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-03865
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 abs/2206.03865 (2022)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-05950
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-05950
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 abs/2208.05950 (2022)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-06648
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-06648
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri:
Automated Synthesis of Asynchronizations. CoRR abs/2209.06648 (2022)
2021
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-02004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-02004
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 abs/2103.02004 (2021)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-07569
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-07569
Elizabeth Dinella, Todd Mytkowicz, Alexey Svyatkovskiy, Christian Bird, Mayur Naik, Shuvendu K. Lahiri:
DeepMerge: Learning to Merge Programs. CoRR abs/2105.07569 (2021)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-00084
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-00084
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 abs/2109.00084 (2021)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-09262
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-09262
Elizabeth Dinella, Shuvendu K. Lahiri, Todd Mytkowicz, Gabriel Ryan:
Neural Unit Test Suggestions. CoRR abs/2109.09262 (2021)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-00677
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-00677
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng:
SolType: Refinement Types for Solidity. CoRR abs/2110.00677 (2021)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-09625
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-09625
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 abs/2111.09625 (2021)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-11904
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-11904
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 abs/2111.11904 (2021)
2020
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-03064
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-03064
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps:
Learning from, Understanding, and Supporting DevOps Artifacts for Docker. CoRR abs/2002.03064 (2020)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-12912
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-12912
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps:
A Dataset of Dockerfiles. CoRR abs/2003.12912 (2020)
2019
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-12098
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-12098
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Enabling Open-World Specification Mining via Unsupervised Learning. CoRR abs/1904.12098 (2019)
2018
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-06551
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-06551
Marcelo Sousa, Isil Dillig, Shuvendu K. Lahiri:
Verifying Semantic Conflict-Freedom in Three-Way Program Merges. CoRR abs/1802.06551 (2018)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-06686
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-06686
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. CoRR abs/1803.06686 (2018)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-03777
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-03777
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang:
Datalog-based Scalable Semantic Diffing of Concurrent Programs. CoRR abs/1807.03777 (2018)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-03406
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-03406
Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen:
VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations. CoRR abs/1808.03406 (2018)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-08829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-08829
Shuvendu K. Lahiri, Shuo Chen, Yuepeng Wang, Isil Dillig:
Formal Specification and Verification of Smart Contracts for Azure Blockchain. CoRR abs/1812.08829 (2018)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/LahiriMSU18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/LahiriMSU18
Shuvendu K. Lahiri, Andrzej S. Murawski, Ofer Strichman, Mattias Ulbrich:
Program Equivalence (Dagstuhl Seminar 18151). Dagstuhl Reports 8(4): 1-19 (2018)
2017
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-07660
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-07660
Yuepeng Wang, Isil Dillig, Shuvendu K. Lahiri, William R. Cook:
Verifying Equivalence of Database-Driven Applications. CoRR abs/1710.07660 (2017)
2016
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GyoriLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GyoriLP16
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush:
Interprocedural Semantic Change-Impact Analysis using Equivalence Relations. CoRR abs/1609.08734 (2016)
2006
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0612003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0612003
Shuvendu K. Lahiri, Thomas Ball, Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures. CoRR abs/cs/0612003 (2006)
2004
[i1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/cs-LO-0407006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0407006
Shuvendu K. Lahiri, Randal E. Bryant:
Predicate Abstraction with Indexed Predicates. CoRR cs.LO/0407006 (2004)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.