Shuvendu K. Lahiri
Orcid: 0000-0002-4446-4777Affiliations:
- Microsoft Research, Redmond, WA, USA
- Carnegie Mellon University, Pittsburgh, PA, USA (PhD)
- Indian Institute of Technology, Kharagpur, India
According to our database1,
Shuvendu K. Lahiri
authored at least 102 papers
between 1999 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
Proc. ACM Program. Lang., October, 2023
Formalizing Natural Language Intent into Program Specifications via Large Language Models.
CoRR, 2023
Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions.
CoRR, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023
2022
Proc. ACM Program. Lang., 2022
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Proceedings of the Static Analysis - 29th International Symposium, 2022
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper).
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
2021
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?
CoRR, 2021
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
2020
Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study.
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
2019
Formal Methods Syst. Des., 2019
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019
2018
Proc. ACM Program. Lang., 2018
J. Autom. Reason., 2018
CoRR, 2018
VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations.
CoRR, 2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
2017
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
Proceedings of the Programming Languages and Systems, 2017
2016
CoRR, 2016
2015
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
2013
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the Automated Deduction - CADE-24, 2013
2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation.
Proceedings of the Static Analysis - 18th International Symposium, 2011
Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, 2011
Proceedings of the Tools for Practical Software Verification, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the Verified Software: Theories, 2010
Proceedings of the Workshop on Future of Software Engineering Research, 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the Automated Deduction, 2009
2008
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008
Proceedings of the 2008 International Conference on Computer-Aided Design, 2008
2007
Log. Methods Comput. Sci., 2007
J. Satisf. Boolean Model. Comput., 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
2006
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2005
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005
Proceedings of the Logic for Programming, 2005
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005
2004
Proceedings of the Verification, 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
2003
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions.
Proceedings of the 40th Design Automation Conference, 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Experience with term level modeling and verification of the M*CORE <sup>TM</sup> microprocessor core.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001
1999
Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999