Akash Lal

89 papers A* 20A 9B 14Journal 26Unranked 15
YearRankTypeTitle / Venue / Authors
2025 A* conf
LLM Assistance for Memory Safety.
ICSE
J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
2025 J jnl
Lightweight and modular resource leak checking (extended version).
Int. J. Softw. Tools Technol. Transf.
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2025 J jnl
Memory-Safety Verification of Open Programs with Angelic Assumptions.
Proc. ACM Program. Lang.
Gourav Takhar, Baldip Bijlani, Prantik Chatterjee, Akash Lal, Subhajit Roy
2025 A* conf
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code.
ICSE
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi
2024 — conf
Accelerated Bounded Model Checking Using Interpolation Based Summaries.
TACAS (2)
Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy
2024 — conf
Concurrency Testing: A Journey from Research to Practice.
ISEC
Akash Lal
2024 J jnl
Distributed bounded model checking.
Formal Methods Syst. Des.
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
2024 J jnl
Enabling Memory Safety of C Programs using LLMs.
CoRR
J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2024 B conf
Leveraging LLMs for Program Verification.
FMCAD
Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2024 A conf
Welding Natural Language Queries to Analytics IRs with LLMs.
CIDR
Kaushik Rajan, Aseem Rastogi, Akash Lal, Sampath Rajendra, Krithika Subramanian, Krut Patel
2023 J jnl
Automatic Inference of Resource Leak Specifications.
CoRR
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2023 A* conf
Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks.
ASE
Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada
2023 — ed.
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
CAV (1)
Constantin Enea, Akash Lal
2023 — ed.
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
CAV (2)
Constantin Enea, Akash Lal
2023 — ed.
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
CAV (3)
Constantin Enea, Akash Lal
2023 J jnl
Finding Inductive Loop Invariants using Large Language Models.
CoRR
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
2023 J jnl
Fixing Rust Compilation Errors using LLMs.
CoRR
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi
2023 — conf
Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote.
TACAS (2)
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
2023 J jnl
Inference of Resource Management Specifications.
Proc. ACM Program. Lang.
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2023 — conf
Ranking LLM-Generated Loop Invariants for Program Verification.
EMNLP (Findings)
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023 J jnl
Ranking LLM-Generated Loop Invariants for Program Verification.
CoRR
Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
2023 J jnl
Resource Leak Checker (RLC#) for C# Code using CodeQL.
CoRR
Pritam M. Gharat, Narges Shadab, Shrey Tiwari, Shuvendu K. Lahiri, Akash Lal
2023 — ed.
Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
VSTTE
Akash Lal, Stefano Tonetta
2022 — conf
Proof-Guided Underapproximation Widening for Bounded Model Checking.
CAV (1)
Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy
2021 — conf
Building Reliable Cloud Services Using Coyote Actors.
SoCC
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
2021 B conf
Celestial: A Smart Contracts Verification Framework.
FMCAD
Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal
2021 J jnl
MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels.
CoRR
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
2021 J jnl
MonkeyDB: effectively testing correctness under weak isolation levels.
Proc. ACM Program. Lang.
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
2021 A* conf
Nekara: Generalized Concurrency Testing.
ASE
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
2021 B conf
Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices.
LCTES
Jayaraj Poroor, Akash Lal, Sandesh Ghanta
2020 B conf
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.
FMCAD
Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
2020 J jnl
Building Reliable Cloud Services Using P# (Experience Report).
CoRR
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
2020 B conf
Distributed Bounded Model Checking.
FMCAD
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
2020 J jnl
Distributed Bounded Model Checking.
CoRR
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
2020 A* conf
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries.
OSDI
Partho Sarthi, Kaushik Rajan, Akash Lal, Abhishek Modi, Prakhar Jain, Mo Liu, Ashit Gosalia, Saurabh Kalikar
2020 J jnl
Learning-based controlled concurrency testing.
Proc. ACM Program. Lang.
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
2019 A conf
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code.
EuroSys
Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu
2019 A conf
Reliable State Machines: A Framework for Programming Reliable Cloud Services.
ECOOP
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
2019 J jnl
Reliable State Machines: A Framework for Programming Reliable Cloud Services.
CoRR
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
2019 J jnl
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript).
CoRR
Peizun Liu, Thomas Wahl, Akash Lal
2019 — conf
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers.
CAV (2)
Peizun Liu, Thomas Wahl, Akash Lal
2017 J jnl
An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code.
CoRR
Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi
2017 B conf
Lasso detection using partial-state caching.
FMCAD
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
2017 A* conf
Optimizing Big-Data Queries Using Program Synthesis.
SOSP
Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak
2017 B conf
Precise Null Pointer Analysis Through Global Value Numbering.
ATVA
Ankush Das, Akash Lal
2017 J jnl
Precise Null Pointer Analysis Through Global Value Numbering.
CoRR
Ankush Das, Akash Lal
2017 J jnl
Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation.
Comput. Lang. Syst. Struct.
Deepak D'Souza, Akash Lal
2016 — ed.
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, Chennai, India, December 13-15, 2016
FSTTCS
Akash Lal, S. Akshay, Saket Saurabh, Sandeep Sen
2016 A* conf
A design and verification methodology for secure isolated regions.
PLDI
Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
2016 A* conf
Inferring annotations for device drivers from verification histories.
ASE
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
2016 A conf
Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).
FAST
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
2015 — conf
Angelic Verification: Precise Verification Modulo Unknowns.
CAV (1)
Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li
2015 A* conf
Asynchronous programming, analysis and testing with state machines.
PLDI
Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson
2015 A* conf
DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs.
PLDI
Akash Lal, Shaz Qadeer
2015 A conf
SMACK+Corral: A Modular Verifier - (Competition Contribution).
TACAS
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
2014 B conf
A program transformation for faster goal-directed search.
FMCAD
Akash Lal, Shaz Qadeer
2014 J jnl
Automatically finding atomic regions for fixing bugs in Concurrent programs.
CoRR
Saurabh Joshi, Akash Lal
2014 A conf
MUX: algorithm selection for software model checkers.
MSR
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori
2014 — conf
Powering the static driver verifier using corral.
SIGSOFT FSE
Akash Lal, Shaz Qadeer
2014 B ed.
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
VMCAI
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
2013 A* conf
Combining Relational Learning with SMT Solvers Using CEGAR.
CAV
Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
2013 — conf
PostHat and All That: Automating Abstract Interpretation.
TAPAS@SAS
Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps
2013 — conf
Reachability Modulo Theories.
RP
Akash Lal, Shaz Qadeer
2013 A conf
Variable and thread bounding for systematic testing of multithreaded programs.
ISSTA
Sandeep Bindal, Sorav Bansal, Akash Lal
2012 A* conf
A Solver for Reachability Modulo Theories.
CAV
Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri
2012 — conf
Asynchronous programs with prioritized task-buffers.
SIGSOFT FSE
Michael Emmi, Akash Lal, Shaz Qadeer
2012 A* conf
Detecting Fair Non-termination in Multithreaded Programs.
CAV
Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal
2012 B conf
Finding Non-terminating Executions in Distributed Asynchronous Programs.
SAS
Michael Emmi, Akash Lal
2012 A* conf
Underspecified harnesses and interleaved bugs.
POPL
Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal
2012 J jnl
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
CoRR
Sandeep Bindal, Sorav Bansal, Akash Lal
2011 J jnl
Symbolic analysis via semantic reinterpretation.
Int. J. Softw. Tools Technol. Transf.
Junghee Lim, Akash Lal, Thomas W. Reps
2010 B conf
Alternation for Termination.
SAS
William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
2010 A* conf
Directed Proof Generation for Machine Code.
CAV
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps
2010 J jnl
Reference count analysis with shallow aliasing.
Inf. Process. Lett.
Akash Lal, G. Ramalingam
2010 A* conf
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.
CAV
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal
2009 J jnl
Reducing concurrent analysis under a context bound to sequential analysis.
Formal Methods Syst. Des.
Akash Lal, Thomas W. Reps
2009 — conf
Symbolic Analysis via Semantic Reinterpretation.
SPIN
Junghee Lim, Akash Lal, Thomas W. Reps
2008 A conf
Interprocedural Analysis of Concurrent Programs Under a Context Bound.
TACAS
Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps
2008 B conf
Language Strength Reduction.
SAS
Nicholas Kidd, Akash Lal, Thomas W. Reps
2008 A* conf
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis.
CAV
Akash Lal, Thomas W. Reps
2008 B conf
Solving Multiple Dataflow Queries Using WPDSs.
SAS
Akash Lal, Thomas W. Reps
2007 B conf
Abstract Error Projection.
SAS
Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
2007 — conf
Program Analysis Using Weighted Pushdown Systems.
FSTTCS
Thomas W. Reps, Akash Lal, Nicholas Kidd
2006 J jnl
A constraint programming approach to cutset problems.
Comput. Oper. Res.
François Fages, Akash Lal
2006 A* conf
Improving Pushdown System Model Checking.
CAV
Akash Lal, Thomas W. Reps
2006 A conf
Path Optimization in Programs and Its Application to Debugging.
ESOP
Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit
2005 A* conf
Extended Weighted Pushdown Systems.
CAV
Akash Lal, Thomas W. Reps, Gogul Balakrishnan
2005 A* conf
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
CAV
Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum
2004 — conf
Effective Chemistry for Synchrony and Asynchrony.
IFIP TCS
Deepak Garg, Akash Lal, Sanjiva Prasad