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
Partner Researcher
论文与出版物
-
-
-
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
作者：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
作者：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
作者：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
作者：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
作者：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, 第 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
-
-
-
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
作者：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
作者：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
作者：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
作者：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
作者：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)
-
Asynchronous programs with prioritized task buffers
Michael Emmi, Akash Lal, Shaz Qadeer
MSR-TR-2012-1 | January 2012
-
Underspecified Harnesses and Interleaved Bugs
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
-
Corral: A Solver for Reachability Modulo Theories
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
MSR-TR-2012-9 | January 2012
-
Reference count analysis with shallow aliasing
Inf. Process. Lett. | December 2010, 第 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
作者：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
-
-
-
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
作者：arxiv
-
Fixing Rust Compilation Errors using LLMs
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi
2308.05177 | October 2023
作者：arxiv
-
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
MSR-TR-2020-43 | December 2020
作者：Microsoft
-
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
作者：arXiv
-
Static Assertion Checking of Production Software with Angelic Verification
| August 2017
作者：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
-
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
-
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, 第 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
-