Shuvendu K. Lahiri

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat AutoVerus: Automated Proof Generation for Rust Code 2024 Chenyuan Yang
X. Li
Md Rakib Hossain Misu
Jianan Yao
Weidong Cui
Yeyun Gong
Chris Hawblitzel
Shuvendu K. Lahiri
Jacob R. Lorch
Shuai Lu
+ PDF Chat LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation 2024 Sarah Fakhoury
Aaditya Naik
Georgios K. Sakkas
Saikat Chakraborty
Shuvendu K. Lahiri
+ PDF Chat Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? 2024 Madeline Endres
Sarah Fakhoury
Saikat Chakraborty
Shuvendu K. Lahiri
+ PDF Chat Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages 2024 Shuvendu K. Lahiri
+ PDF Chat LLM-Vectorizer: LLM-based Verified Loop Vectorizer 2024 Jubi Taneja
Avery Laird
Cong Yan
Madan Musuvathi
Shuvendu K. Lahiri
+ PDF Chat Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming 2024 Saikat Chakraborty
Gabriel Ebner
S. Bhat
Sarah Fakhoury
Sakina Fatima
Shuvendu K. Lahiri
Nikhil Swamy
+ PDF Chat 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers 2024 Sarah Fakhoury
Markus A. Kuppe
Shuvendu K. Lahiri
Tahina Ramananandro
Nikhil Swamy
+ PDF Chat LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation 2024 Sarah Fakhoury
Aaditya Naik
Georgios K. Sakkas
Saikat Chakraborty
Shuvendu K. Lahiri
+ PDF Chat Inference of Resource Management Specifications 2023 Narges Shadab
Pritam Gharat
Shrey Tiwari
Michael D. Ernst
Martin Kellogg
Shuvendu K. Lahiri
Akash Lal
Manu Sridharan
+ Towards Generating Functionally Correct Code Edits from Natural Language Issue Descriptions 2023 Sarah Fakhoury
Saikat Chakraborty
Madan Musuvathi
Shuvendu K. Lahiri
+ Guiding Language Models of Code with Global Context using Monitors 2023 Lakshya A Agrawal
Aditya Kanade
Navin Goyal
Shuvendu K. Lahiri
Sriram K. Rajamani
+ Inference of Resource Management Specifications 2023 Narges Shadab
Pritam Gharat
Shrey Tiwari
Michael D. Ernst
Martin Kellogg
Shuvendu K. Lahiri
Akash Lal
Manu Sridharan
+ Formalizing Natural Language Intent into Program Specifications via Large Language Models 2023 Madeline Endres
Sarah Fakhoury
Saikat Chakraborty
Shuvendu K. Lahiri
+ Program Structure Aware Precondition Generation 2023 Elizabeth Dinella
Shuvendu K. Lahiri
Mayur Naik
+ Ranking LLM-Generated Loop Invariants for Program Verification 2023 Saikat Chakraborty
Shuvendu K. Lahiri
Sarah Fakhoury
Madanlal Musuvathi
Akash Lal
Aseem Rastogi
Aditya Senthilnathan
Rahul Sharma
Nikhil Swamy
+ Finding Inductive Loop Invariants using Large Language Models 2023 Adharsh Kamath
Aditya Senthilnathan
Saikat Chakraborty
Pantazis Deligiannis
Shuvendu K. Lahiri
Akash Lal
Aseem Rastogi
Subhajit Roy
Rahul Sharma
+ Resource Leak Checker (RLC#) for C# Code using CodeQL 2023 Pritam Gharat
Narges Shadab
Shrey Tiwari
Shuvendu K. Lahiri
Akash Lal
+ Ranking LLM-Generated Loop Invariants for Program Verification 2023 Saikat Chakraborty
Shuvendu K. Lahiri
Sarah Fakhoury
Akash Lal
Madanlal Musuvathi
Aseem Rastogi
Aditya Senthilnathan
Rahul Sharma
Nikhil Swamy
+ PDF Chat Program merge conflict resolution via neural transformers 2022 A. Svyatkovskiy
Sarah Fakhoury
Negar Ghorbani
Todd Mytkowicz
Elizabeth Dinella
Christian Bird
Jinu Jang
Neel Sundaresan
Shuvendu K. Lahiri
+ PDF Chat DeepMerge: Learning to Merge Programs 2022 Elizabeth Dinella
Todd Mytkowicz
A. Svyatkovskiy
Christian Bird
Mayur Naik
Shuvendu K. Lahiri
+ PDF Chat TOGA 2022 Elizabeth Dinella
Gabriel Ryan
Todd Mytkowicz
Shuvendu K. Lahiri
+ PDF Chat InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript 2022 Saikat Dutta
Diego Garbervetsky
Shuvendu K. Lahiri
Max Schäfer
+ PDF Chat SolType: refinement types for arithmetic overflow in solidity 2022 Bryan Tan
Benjamin Mariano
Shuvendu K. Lahiri
Işıl Dillig
Yu Feng
+ Interactive Code Generation via Test-Driven User-Intent Formalization 2022 Shuvendu K. Lahiri
Aaditya Naik
Georgios Sakkas
Piali Choudhury
Curtis von Veh
Madanlal Musuvathi
Jeevana Priya Inala
Chenglong Wang
Jianfeng Gao
+ Automated Synthesis of Asynchronizations 2022 Sidi Mohamed Beillahi
Ahmed Bouajjani
Constantin Enea
Shuvendu K. Lahiri
+ Automated Synthesis of Asynchronizations 2022 Sidi Mohamed Beillahi
Ahmed Bouajjani
Constantin Enea
Shuvendu K. Lahiri
+ SolType: Refinement Types for Solidity. 2021 Bryan Tan
Benjamin Mariano
Shuvendu K. Lahiri
Işıl Dillig
Yu Feng
+ Neural Unit Test Suggestions. 2021 Elizabeth Dinella
Shuvendu K. Lahiri
Todd Mytkowicz
Gabriel Ryan
+ MergeBERT: Program Merge Conflict Resolution via Neural Transformers. 2021 A. Svyatkovskiy
Todd Mytcowicz
Negar Ghorbani
Sarah Fakhoury
Elizabeth Dinella
Christian Bird
Neel Sundaresan
Shuvendu K. Lahiri
+ PDF Chat Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis 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 2021 Rangeet Pan
Vu Le
Nachiappan Nagappan
Sumit Gulwani
Shuvendu K. Lahiri
Mike Kaufman
+ Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts? 2021 Jialu Zhang
Todd Mytkowicz
Mike Kaufman
Ružica Piskač
Shuvendu K. Lahiri
+ InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript 2021 Saikat Dutta
Diego Garbervetsky
Shuvendu K. Lahiri
Max Schäfer
+ DeepMerge: Learning to Merge Programs 2021 Elizabeth Dinella
Todd Mytkowicz
A. Svyatkovskiy
Christian Bird
Mayur Naik
Shuvendu K. Lahiri
+ PDF Chat A Dataset of Dockerfiles 2020 Jordan Henkel
Christian Bird
Shuvendu K. Lahiri
Thomas Reps
+ Learning from, understanding, and supporting DevOps artifacts for docker 2020 Jordan Henkel
Christian Bird
Shuvendu K. Lahiri
Thomas Reps
+ Enabling Open-World Specification Mining via Unsupervised Learning. 2019 Jordan Henkel
Shuvendu K. Lahiri
Ben Liblit
Thomas Reps
+ Enabling Open-World Specification Mining via Unsupervised Learning 2019 Jordan Henkel
Shuvendu K. Lahiri
Ben Liblit
Thomas Reps
+ Formal Specification and Verification of Smart Contracts for Azure Blockchain 2018 Shuvendu K. Lahiri
Shuo Chen
Yuepeng Wang
Işıl Dillig
+ Code vectors: understanding programs through embedded abstracted symbolic traces 2018 Jordan Henkel
Shuvendu K. Lahiri
Ben Liblit
Thomas Reps
+ PDF Chat Datalog-based scalable semantic diffing of concurrent programs 2018 Chungha Sung
Shuvendu K. Lahiri
Constantin Enea
Chao Wang
+ Verifying Semantic Conflict-Freedom in Three-Way Program Merges 2018 Marcelo Sousa
Işıl Dillig
Shuvendu K. Lahiri
+ VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations 2018 Jinghao Shi
Shuvendu K. Lahiri
Ranveer Chandra
Geoffrey Challen
+ Datalog-based Scalable Semantic Diffing of Concurrent Programs 2018 Chungha Sung
Shuvendu K. Lahiri
Constantin Enea
Chao Wang
+ Formal Specification and Verification of Smart Contracts for Azure Blockchain 2018 Yuepeng Wang
Shuvendu K. Lahiri
Shuo Chen
Rong Pan
Işıl Dillig
Cody Born
Immad Naseer
+ PDF Chat Verifying equivalence of database-driven applications 2017 Yuepeng Wang
Işıl Dillig
Shuvendu K. Lahiri
William R. Cook
+ Verifying Equivalence of Database-Driven Applications 2017 Yuepeng Wang
Işıl Dillig
Shuvendu K. Lahiri
William R. Cook
+ Verifying Equivalence of Database-Driven Applications 2017 Yuepeng Wang
Işıl Dillig
Shuvendu K. Lahiri
William R. Cook
+ Interprocedural Semantic Change-Impact Analysis using Equivalence Relations 2016 Alex Gyori
Shuvendu K. Lahiri
Nimrod Partush
+ PDF Chat Predicate abstraction with indexed predicates 2007 Shuvendu K. Lahiri
Randal E. Bryant
+ PDF Chat Predicate Abstraction via Symbolic Decision Procedures 2007 Shuvendu K. Lahiri
Thomas Ball
Byron Cook
+ Predicate Abstraction with Indexed Predicates 2004 Shuvendu K. Lahiri
Randal E. Bryant
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ PyMT5: multi-mode translation of natural language and Python code with transformers 2020 Colin Clement
Dawn Drain
Jonathan Timcheck
A. Svyatkovskiy
Neel Sundaresan
4
+ PDF Chat A Survey of Machine Learning for Big Code and Naturalness 2018 Miltiadis Allamanis
Earl T. Barr
Prémkumar Dévanbu
Charles Sutton
3
+ CodeBERT: A Pre-Trained Model for Programming and Natural Languages 2020 Zhangyin Feng
Daya Guo
Duyu Tang
Nan Duan
Xiaocheng Feng
Ming Gong
Linjun Shou
Bing Qin
Ting Liu
Daxin Jiang
3
+ PDF Chat IntelliCode compose: code generation using transformer 2020 Alexey Svyatkovskiy
Shao Kun Deng
Sheng‐Yu Fu
Neel Sundaresan
3
+ Evaluating Large Language Models Trained on Code 2021 Mark Chen
Jerry Tworek
Heewoo Jun
Qiming Yuan
Henrique Pondé de Oliveira Pinto
Jared Kaplan
Harrison Edwards
Yuri Burda
Nicholas Joseph
Greg Brockman
3
+ PDF Chat @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies 2012 Shin Hwei Tan
Darko Marinov
Lin Tan
Gary T. Leavens
3
+ Learning to Represent Edits 2018 Pengcheng Yin
Graham Neubig
Miltiadis Allamanis
Marc Brockschmidt
Alexander L. Gaunt
2
+ PDF Chat Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis 2021 Kia Rahmani
Mohammad Raza
Sumit Gulwani
Vu Le
Daniel Morris
Arjun Radhakrishna
Gustavo Soares
Ashish Tiwari
2
+ Training language models to follow instructions with human feedback 2022 Long Ouyang
Jeff Wu
Xu Jiang
Diogo Almeida
Carroll L. Wainwright
Pamela Mishkin
Chong Zhang
Sandhini Agarwal
Katarina Slama
Alex Ray
2
+ PDF Chat Studying the Usage of Text-To-Text Transfer Transformer to Support Code-Related Tasks 2021 Antonio Mastropaolo
Simone Scalabrino
Nathan Cooper
David N. Palacio
Denys Poshyvanyk
Rocco Oliveto
Gabriele Bavota
2
+ PaLM: Scaling Language Modeling with Pathways 2022 Aakanksha Chowdhery
Sharan Narang
Jacob Devlin
Maarten Bosma
Gaurav Mishra
Adam Roberts
Paul Barham
Hyung Won Chung
Charles Sutton
Sebastian Gehrmann
2
+ Gated Graph Sequence Neural Networks 2015 Yujia Li
Daniel Tarlow
Marc Brockschmidt
Richard S. Zemel
2
+ PDF Chat EvoSpex: An Evolutionary Algorithm for Learning Postconditions 2021 Facundo Molina
Pablo Ponzio
Nazareno Aguirre
Marcelo F. Frias
2
+ PDF Chat Automated Unit Test Generation for Python 2020 Stephan Lukasczyk
Florian Kroiß
Gordon Fraser
2
+ PDF Chat Slither: A Static Analysis Framework for Smart Contracts 2019 Josselin Feist
Gustavo Grieco
Alex Groce
2
+ PDF Chat Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis 2021 Rangeet Pan
Vu Le
Nachiappan Nagappan
Sumit Gulwani
Shuvendu K. Lahiri
Mike Kaufman
2
+ PDF Chat Securing smart contract with runtime validation 2020 Ao Li
Jemin Andrew Choi
Fan Long
2
+ Big code != big vocabulary 2020 Rafael-Michael Karampatsis
Hlib Babii
Romain Robbes
Charles Sutton
Andrea Janes
2
+ PDF Chat A static analyzer for large safety-critical software 2003 Bruno Blanchet
Patrick Cousot
Radhia Cousot
Jérôme Ferêt
Laurent Mauborgne
Antoine Miné
David Monniaux
Xavier Rival
2
+ A Semantic Framework for the Security Analysis of Ethereum Smart Contracts 2018 Ilya Grishchenko
Matteo Maffei
Clara Schneidewind
2
+ PDF Chat On learning meaningful assert statements for unit test cases 2020 Cody Watson
Michele Tufano
Kevin Moran
Gabriele Bavota
Denys Poshyvanyk
2
+ PDF Chat DeepMerge: Learning to Merge Programs 2022 Elizabeth Dinella
Todd Mytkowicz
A. Svyatkovskiy
Christian Bird
Mayur Naik
Shuvendu K. Lahiri
2
+ BLEURT: Learning Robust Metrics for Text Generation 2020 Thibault Sellam
Dipanjan Das
Ankur P. Parikh
2
+ HoTTSQL: proving query rewrites with univalent SQL semantics 2017 Shumo Chu
Konstantin Weitz
Alvin Cheung
Dan Suciu
2
+ Unit Test Case Generation with Transformers and Focal Context 2020 Michele Tufano
Dawn Drain
A. Svyatkovskiy
Shao Kun Deng
Neel Sundaresan
2
+ Neural Code Comprehension: A Learnable Representation of Code Semantics 2018 Tal Ben‐Nun
Alice Shoshana Jakobovits
Torsten Hoefler
2
+ PDF Chat Neural Machine Translation of Rare Words with Subword Units 2016 Rico Sennrich
Barry Haddow
Alexandra Birch
2
+ Dynamic Neural Program Embedding for Program Repair 2017 Ke Wang
Rishabh Singh
Zhendong Su
2
+ The Classical Decision Problem 1997 Egon Börger
Erich Grädel
Yuri Gurevich
2
+ PDF Chat Predicate abstraction with indexed predicates 2007 Shuvendu K. Lahiri
Randal E. Bryant
2
+ PDF Chat Learning Syntactic Program Transformations from Examples 2017 Reudismam Rolim de Sousa
Gustavo Soares
Loris D’Antoni
Oleksandr Polozov
Sumit Gulwani
Rohit Gheyi
Ryo Suzuki
Björn Hartmann
2
+ PDF Chat Automatically generating commit messages from diffs using neural machine translation 2017 Siyuan Jiang
Ameer Armaly
Collin McMillan
2
+ PDF Chat Generating accurate assert statements for unit test cases using pretrained transformers 2022 Michele Tufano
Dawn Drain
A. Svyatkovskiy
Neel Sundaresan
2
+ PDF Chat A general path-based representation for predicting program properties 2018 Uri Alon
Meital Zilberstein
Omer Levy
Eran Yahav
2
+ PDF Chat Getafix: learning to fix bugs automatically 2019 Johannes Bader
Andrew Scott
Michael Pradel
Satish Chandra
2
+ PDF Chat Predicting Merge Conflicts in Collaborative Software Development 2019 Moein Owhadi-Kareshk
Sarah Nadi
Julia Rubin
2
+ PDF Chat Flow-sensitive composition of thread-modular abstract interpretation 2016 Markus Kusano
Chao Wang
2
+ PDF Chat VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts 2020 Sunbeom So
Myungho Lee
Jisu Park
Heejo Lee
Hakjoo Oh
2
+ PDF Chat Variable and thread bounding for systematic testing of multithreaded programs 2013 Sandeep Bindal
Sorav Bansal
Akash Lal
2
+ Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts 2018 Anastasia Mavridou
Áron Lászka
1
+ Mining Container Image Repositories for Software Configuration and Beyond 2018 Tianyin Xu
Darko Marinov
1
+ CBC User Guide 2005 John Forrest
Robin Lougee-Heimer
1
+ Verifying Equivalence of Database-Driven Applications 2017 Yuepeng Wang
Işıl Dillig
Shuvendu K. Lahiri
William R. Cook
1
+ PDF Chat Refinement types for TypeScript 2016 Panagiotis Vekris
Benjamin Cosman
Ranjit Jhala
1
+ Learning Program Embeddings to Propagate Feedback on Student Code 2015 Chris Piech
Jonathan Huang
Andy Nguyễn
Mike Phulsuksombati
Mehran Sahami
Leonidas Guibas
1
+ Learning to Represent Programs with Graphs 2017 Miltiadis Allamanis
Marc Brockschmidt
Mahmoud Khademi
1
+ Modular Verification of Interrupt-Driven Software 2017 Chungha Sung
Markus Kusano
Chao Wang
1
+ Incorporating Copying Mechanism in Sequence-to-Sequence Learning 2016 Jiatao Gu
Zhengdong Lu
Hang Li
Victor O. K. Li
1
+ A Survey of Machine Learning for Big Code and Naturalness 2017 Miltiadis Allamanis
Earl T. Barr
Prémkumar Dévanbu
Charles Sutton
1
+ Efficient Estimation of Word Representations in Vector Space 2013 Tomáš Mikolov
Kai Chen
Greg S. Corrado
Jay B. Dean
1