LLM Assistance for Memory Safety
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
Akash Lal
Senior Principal Researcher
Publications
Publications by Year
-
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi
47th International Conference on Software Engineering (ICSE) | April 2025
-
Leveraging LLMs for Program Verification
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
Enabling Memory Safety of C Programs using LLMs
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2404.01096 | April 2024
Published by arxiv
Welding Natural Language Queries to Analytics IRs with LLMs
Kaushik Rajan, Aseem Rastogi, Akash Lal, Sampath Rajendra, Krithika Subramanian, Krut Patel
(To appear in) International Conference on Innovative Data Systems | January 2024
-
Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Fixing Rust Compilation Errors using LLMs
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi
2308.05177 | October 2023
Published by arxiv
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
OOPSLA | October 2023
Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks
Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada
2023 Automated Software Engineering | September 2023
Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
-
Proof-Guided Underapproximation Widening for Bounded Model Checking
Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy
FLoC 2022 | June 2022
-
Nekara: Generalized Concurrency Testing
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew J. Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
2021 Automated Software Engineering | November 2021
Building Reliable Cloud Services Using Coyote Actors
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
SoCC | November 2021
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
OOPSLA | November 2021
ACM Distinguished Paper Award
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
FMCAD | October 2021
Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices
Jayaraj Poroor, Akash Lal, Sandesh Ghanta
LCTES | June 2021
-
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
MSR-TR-2020-43 | December 2020
Published by Microsoft
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries
Partho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar
Symposium on Operating Systems Design and Implementation (OSDI) | November 2020
Learning-based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
OOPSLA | October 2020
Distinguished Artifact Award
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
FMCAD | July 2020
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
Published by arXiv
-
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
ECOOP 2019 | July 2019
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-level Code
Ajay Brahmakshatriya, Piyus Kedia, Derrick P. McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nameti, Anmol Panda, Pratik Bhatu
EuroSys 2019 | March 2019
-
Optimizing Big-Data Queries Using Program Synthesis
Kaushik Rajan, Akash Lal, Matthias Schlaipfer (TU Wien), Malavika Samak (MIT)
ACM Symposium on Operating Systems Principles | October 2017
Static Assertion Checking of Production Software with Angelic Verification
| August 2017
Published by Microsoft
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | July 2017
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
MSR-TR-2017-37 | July 2017
Precise null-pointer analysis using Global Value Numbering
Ankush Das, Akash Lal
Automated Technology for Verification and Analysis (ATVA) | July 2017
-
Inferring Annotations For Device Drivers From Verification Histories
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
Automated Software Engineering (ASE) | September 2016
ACM SIGSOFT Distinguished Paper Award
A Design and Verification Methodology for Secure Isolated Regions
Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
Programming Languages Design and Implementation (PLDI) | June 2016
Inferring Annotations For Device Drivers From Verification Histories
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
MSR-TR-2016-15 | April 2016
Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
14th USENIX Conference on File and Storage Technologies (FAST) | February 2016
-
Angelic Verification: Precise Verification Modulo Unknowns
Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
Computer Aided Verification (CAV) | July 2015
Asynchronous Programming, Analysis and Testing with State Machines
Akash Lal, Pantazis Deligiannis, Alastair Donaldson, Paul Thomson, Jeroen Ketema
Programming Language Design and Implementation (PLDI) | June 2015
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
Akash Lal, Shaz Qadeer
Programming Language Design and Implementation (PLDI) | June 2015
SMACK+Corral: A Modular Verifier (Competition Contribution)
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
-
Powering the Static Driver Verifier using Corral
Akash Lal, Shaz Qadeer
Foundations of Software Engineering (FSE) | November 2014
ACM SIGSOFT Distinguished Paper
A Program Transformation for Faster Goal-Directed Search
Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | October 2014
Best Paper Award
MUX: Algorithm Selection for Software Model Checkers
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori
Mining Software Repositories (MSR) | May 2014
Get Me Here: Using Verification Tools to Answer Developer Questions
Mike Barnett, Robert DeLIne, Akash Lal, Shaz Qadeer
MSR-TR-2014-10 | February 2014
-
Reachability Modulo Theories
Akash Lal, Shaz Qadeer
7th International workshop on Reachability Problems (Invited Paper) | September 2013
Combining Relational Learning with SMT Solvers using CEGAR
Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani
Computer Aided Verification (CAV) | July 2013
PostHat and All That: Automating Abstract Interpretation
Aditya Thakur, Akash Lal, Junghee Lim, Thomas Reps
The Fourth Workshop on Tools for Automatic Program Analysis (TAPAS) | January 2013
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
Sandeep Bindal, Sorav Bansal, Akash Lal
International Symposium in Software Testing and Analysis (ISSTA) | January 2013
-
Finding Non-Terminating Executions in Distributed Asynchronous Programs
Michael Emmi, Akash Lal
Static Analysis Symposium (SAS) | September 2012
Corral: A Solver for Reachability Modulo Theories
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Detecting Fair Non-Termination in Multithreaded Programs
Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Asynchronous programs with prioritized task buffers
Michael Emmi, Akash Lal, Shaz Qadeer
MSR-TR-2012-1 | January 2012
Corral: A Solver for Reachability Modulo Theories
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
MSR-TR-2012-9 | January 2012
Underspecified Harnesses and Interleaved Bugs
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
-
Reference count analysis with shallow aliasing
Inf. Process. Lett. | December 2010, Vol 111(2): pp. 57-63
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
MSR-TR-2010-61 | May 2010
-
Reference Count Analysis With Shallow Aliasing
MSR-TR-2009-61 | May 2009
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
Akash Lal, Thomas Reps
Formal Methods in System Design (FMSD) | January 2009
Publications by Research Area
-
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi
47th International Conference on Software Engineering (ICSE) | April 2025
LLM Assistance for Memory Safety
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
Leveraging LLMs for Program Verification
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
Enabling Memory Safety of C Programs using LLMs
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2404.01096 | April 2024
Published by arxiv
Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
OOPSLA | October 2023
Fixing Rust Compilation Errors using LLMs
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi
2308.05177 | October 2023
Published by arxiv
Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks
Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada
2023 Automated Software Engineering | September 2023
Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
Proof-Guided Underapproximation Widening for Bounded Model Checking
Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy
FLoC 2022 | June 2022
Nekara: Generalized Concurrency Testing
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew J. Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
2021 Automated Software Engineering | November 2021
Building Reliable Cloud Services Using Coyote Actors
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
SoCC | November 2021
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
OOPSLA | November 2021
ACM Distinguished Paper Award
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
FMCAD | October 2021
Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices
Jayaraj Poroor, Akash Lal, Sandesh Ghanta
LCTES | June 2021
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
MSR-TR-2020-43 | December 2020
Published by Microsoft
Learning-based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
OOPSLA | October 2020
Distinguished Artifact Award
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
FMCAD | July 2020
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
Published by arXiv
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
ECOOP 2019 | July 2019
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-level Code
Ajay Brahmakshatriya, Piyus Kedia, Derrick P. McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nameti, Anmol Panda, Pratik Bhatu
EuroSys 2019 | March 2019
Optimizing Big-Data Queries Using Program Synthesis
Kaushik Rajan, Akash Lal, Matthias Schlaipfer (TU Wien), Malavika Samak (MIT)
ACM Symposium on Operating Systems Principles | October 2017
Static Assertion Checking of Production Software with Angelic Verification
| August 2017
Published by Microsoft
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | July 2017
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
MSR-TR-2017-37 | July 2017
Precise null-pointer analysis using Global Value Numbering
Ankush Das, Akash Lal
Automated Technology for Verification and Analysis (ATVA) | July 2017
Inferring Annotations For Device Drivers From Verification Histories
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
Automated Software Engineering (ASE) | September 2016
ACM SIGSOFT Distinguished Paper Award
A Design and Verification Methodology for Secure Isolated Regions
Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
Programming Languages Design and Implementation (PLDI) | June 2016
Inferring Annotations For Device Drivers From Verification Histories
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
MSR-TR-2016-15 | April 2016
Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
14th USENIX Conference on File and Storage Technologies (FAST) | February 2016
Angelic Verification: Precise Verification Modulo Unknowns
Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
Computer Aided Verification (CAV) | July 2015
Asynchronous Programming, Analysis and Testing with State Machines
Akash Lal, Pantazis Deligiannis, Alastair Donaldson, Paul Thomson, Jeroen Ketema
Programming Language Design and Implementation (PLDI) | June 2015
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
Akash Lal, Shaz Qadeer
Programming Language Design and Implementation (PLDI) | June 2015
SMACK+Corral: A Modular Verifier (Competition Contribution)
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
Powering the Static Driver Verifier using Corral
Akash Lal, Shaz Qadeer
Foundations of Software Engineering (FSE) | November 2014
ACM SIGSOFT Distinguished Paper
A Program Transformation for Faster Goal-Directed Search
Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | October 2014
Best Paper Award
MUX: Algorithm Selection for Software Model Checkers
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori
Mining Software Repositories (MSR) | May 2014
Get Me Here: Using Verification Tools to Answer Developer Questions
Mike Barnett, Robert DeLIne, Akash Lal, Shaz Qadeer
MSR-TR-2014-10 | February 2014
Reachability Modulo Theories
Akash Lal, Shaz Qadeer
7th International workshop on Reachability Problems (Invited Paper) | September 2013
Combining Relational Learning with SMT Solvers using CEGAR
Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani
Computer Aided Verification (CAV) | July 2013
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
Sandeep Bindal, Sorav Bansal, Akash Lal
International Symposium in Software Testing and Analysis (ISSTA) | January 2013
PostHat and All That: Automating Abstract Interpretation
Aditya Thakur, Akash Lal, Junghee Lim, Thomas Reps
The Fourth Workshop on Tools for Automatic Program Analysis (TAPAS) | January 2013
Finding Non-Terminating Executions in Distributed Asynchronous Programs
Michael Emmi, Akash Lal
Static Analysis Symposium (SAS) | September 2012
Detecting Fair Non-Termination in Multithreaded Programs
Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Corral: A Solver for Reachability Modulo Theories
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Corral: A Solver for Reachability Modulo Theories
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
MSR-TR-2012-9 | January 2012
Underspecified Harnesses and Interleaved Bugs
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
Asynchronous programs with prioritized task buffers
Michael Emmi, Akash Lal, Shaz Qadeer
MSR-TR-2012-1 | January 2012
Reference count analysis with shallow aliasing
Inf. Process. Lett. | December 2010, Vol 111(2): pp. 57-63
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
MSR-TR-2010-61 | May 2010
Reference Count Analysis With Shallow Aliasing
MSR-TR-2009-61 | May 2009
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
Akash Lal, Thomas Reps
Formal Methods in System Design (FMSD) | January 2009
-
Welding Natural Language Queries to Analytics IRs with LLMs
Kaushik Rajan, Aseem Rastogi, Akash Lal, Sampath Rajendra, Krithika Subramanian, Krut Patel
(To appear in) International Conference on Innovative Data Systems | January 2024
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries
Partho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar
Symposium on Operating Systems Design and Implementation (OSDI) | November 2020
Optimizing Big-Data Queries Using Program Synthesis
Kaushik Rajan, Akash Lal, Matthias Schlaipfer (TU Wien), Malavika Samak (MIT)
ACM Symposium on Operating Systems Principles | October 2017
-
Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
MUX: Algorithm Selection for Software Model Checkers
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori
Mining Software Repositories (MSR) | May 2014
-
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
MSR-TR-2020-43 | December 2020
Published by Microsoft
A Design and Verification Methodology for Secure Isolated Regions
Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
Programming Languages Design and Implementation (PLDI) | June 2016
-
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries
Partho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar
Symposium on Operating Systems Design and Implementation (OSDI) | November 2020
Optimizing Big-Data Queries Using Program Synthesis
Kaushik Rajan, Akash Lal, Matthias Schlaipfer (TU Wien), Malavika Samak (MIT)
ACM Symposium on Operating Systems Principles | October 2017
Corral: A Solver for Reachability Modulo Theories
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Asynchronous programs with prioritized task buffers
Michael Emmi, Akash Lal, Shaz Qadeer
MSR-TR-2012-1 | January 2012
Publications by Type
-
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi
47th International Conference on Software Engineering (ICSE) | April 2025
LLM Assistance for Memory Safety
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
47th International Conference on Software Engineering (ICSE) | April 2025
Leveraging LLMs for Program Verification
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
Welding Natural Language Queries to Analytics IRs with LLMs
Kaushik Rajan, Aseem Rastogi, Akash Lal, Sampath Rajendra, Krithika Subramanian, Krut Patel
(To appear in) International Conference on Innovative Data Systems | January 2024
Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Madan Musuvathi, Akash Lal, Aseem Rastogi, Nikhil Swamy, Rahul Sharma
2023 Empirical Methods in Natural Language Processing | December 2023
EMNLP-Findings 2023
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu Lahiri, Akash Lal, Manu Sridharan
OOPSLA | October 2023
Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks
Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada
2023 Automated Software Engineering | September 2023
Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
Proof-Guided Underapproximation Widening for Bounded Model Checking
Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy
FLoC 2022 | June 2022
Nekara: Generalized Concurrency Testing
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew J. Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
2021 Automated Software Engineering | November 2021
Building Reliable Cloud Services Using Coyote Actors
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
SoCC | November 2021
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
OOPSLA | November 2021
ACM Distinguished Paper Award
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
FMCAD | October 2021
Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices
Jayaraj Poroor, Akash Lal, Sandesh Ghanta
LCTES | June 2021
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries
Partho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar
Symposium on Operating Systems Design and Implementation (OSDI) | November 2020
Learning-based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
OOPSLA | October 2020
Distinguished Artifact Award
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
FMCAD | July 2020
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
ECOOP 2019 | July 2019
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-level Code
Ajay Brahmakshatriya, Piyus Kedia, Derrick P. McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nameti, Anmol Panda, Pratik Bhatu
EuroSys 2019 | March 2019
Optimizing Big-Data Queries Using Program Synthesis
Kaushik Rajan, Akash Lal, Matthias Schlaipfer (TU Wien), Malavika Samak (MIT)
ACM Symposium on Operating Systems Principles | October 2017
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | July 2017
Precise null-pointer analysis using Global Value Numbering
Ankush Das, Akash Lal
Automated Technology for Verification and Analysis (ATVA) | July 2017
Inferring Annotations For Device Drivers From Verification Histories
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
Automated Software Engineering (ASE) | September 2016
ACM SIGSOFT Distinguished Paper Award
A Design and Verification Methodology for Secure Isolated Regions
Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
Programming Languages Design and Implementation (PLDI) | June 2016
Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
14th USENIX Conference on File and Storage Technologies (FAST) | February 2016
Angelic Verification: Precise Verification Modulo Unknowns
Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
Computer Aided Verification (CAV) | July 2015
Asynchronous Programming, Analysis and Testing with State Machines
Akash Lal, Pantazis Deligiannis, Alastair Donaldson, Paul Thomson, Jeroen Ketema
Programming Language Design and Implementation (PLDI) | June 2015
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
Akash Lal, Shaz Qadeer
Programming Language Design and Implementation (PLDI) | June 2015
SMACK+Corral: A Modular Verifier (Competition Contribution)
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
Powering the Static Driver Verifier using Corral
Akash Lal, Shaz Qadeer
Foundations of Software Engineering (FSE) | November 2014
ACM SIGSOFT Distinguished Paper
A Program Transformation for Faster Goal-Directed Search
Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | October 2014
Best Paper Award
MUX: Algorithm Selection for Software Model Checkers
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori
Mining Software Repositories (MSR) | May 2014
Reachability Modulo Theories
Akash Lal, Shaz Qadeer
7th International workshop on Reachability Problems (Invited Paper) | September 2013
Combining Relational Learning with SMT Solvers using CEGAR
Arun Chaganty, Akash Lal, Aditya Nori, Sriram Rajamani
Computer Aided Verification (CAV) | July 2013
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
Sandeep Bindal, Sorav Bansal, Akash Lal
International Symposium in Software Testing and Analysis (ISSTA) | January 2013
PostHat and All That: Automating Abstract Interpretation
Aditya Thakur, Akash Lal, Junghee Lim, Thomas Reps
The Fourth Workshop on Tools for Automatic Program Analysis (TAPAS) | January 2013
Finding Non-Terminating Executions in Distributed Asynchronous Programs
Michael Emmi, Akash Lal
Static Analysis Symposium (SAS) | September 2012
Detecting Fair Non-Termination in Multithreaded Programs
Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Corral: A Solver for Reachability Modulo Theories
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Underspecified Harnesses and Interleaved Bugs
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
SAS '10: Static Analysis Symposium | September 2010
-
Enabling Memory Safety of C Programs using LLMs
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2404.01096 | April 2024
Published by arxiv
Fixing Rust Compilation Errors using LLMs
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi
2308.05177 | October 2023
Published by arxiv
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
MSR-TR-2020-43 | December 2020
Published by Microsoft
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
Published by arXiv
Static Assertion Checking of Production Software with Angelic Verification
| August 2017
Published by Microsoft
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
MSR-TR-2017-37 | July 2017
Inferring Annotations For Device Drivers From Verification Histories
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
MSR-TR-2016-15 | April 2016
Get Me Here: Using Verification Tools to Answer Developer Questions
Mike Barnett, Robert DeLIne, Akash Lal, Shaz Qadeer
MSR-TR-2014-10 | February 2014
Corral: A Solver for Reachability Modulo Theories
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
MSR-TR-2012-9 | January 2012
Asynchronous programs with prioritized task buffers
Michael Emmi, Akash Lal, Shaz Qadeer
MSR-TR-2012-1 | January 2012
Alternation for Termination
William R. Harris, Akash Lal, Aditya Nori, Sriram Rajamani
MSR-TR-2010-61 | May 2010
Reference Count Analysis With Shallow Aliasing
MSR-TR-2009-61 | May 2009
-
Reference count analysis with shallow aliasing
Inf. Process. Lett. | December 2010, Vol 111(2): pp. 57-63
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
Akash Lal, Thomas Reps
Formal Methods in System Design (FMSD) | January 2009