Akash Lal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
46
Venues
19
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
46 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MSR | AFGNN: API Misuse Detection using Graph Neural Networks and Clustering. | Ponnampalam Pirapuraj, Tamal Mondal, Sharanya Gupta, Akash Lal, Somak Aditya, Jyothi Vedurada |
| 2025 | ICSE | RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code. | Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi |
| 2025 | ICSE | LLM Assistance for Memory Safety. | J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy |
| 2024 | CIDR | Welding Natural Language Queries to Analytics IRs with LLMs. | Kaushik Rajan, Aseem Rastogi, Akash Lal, Sampath Rajendra, Krithika Subramanian, Krut Patel |
| 2024 | FMCAD | Leveraging LLMs for Program Verification. | Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma |
| 2024 | TACAS | Accelerated Bounded Model Checking Using Interpolation Based Summaries. | Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy |
| 2023 | EMNLP | Ranking LLM-Generated Loop Invariants for Program Verification. | Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy |
| 2023 | TACAS | Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote. | Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal |
| 2022 | CAV | Proof-Guided Underapproximation Widening for Bounded Model Checking. | Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy |
| 2021 | CLOUD | Building Reliable Cloud Services Using Coyote Actors. | Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer |
| 2021 | FMCAD | Celestial: A Smart Contracts Verification Framework. | Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal |
| 2020 | FMCAD | Distributed Bounded Model Checking. | Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal |
| 2020 | FMCAD | Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. | Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal |
| 2020 | OSDI | 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 |
| 2019 | CAV | Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers. | Peizun Liu, Thomas Wahl, Akash Lal |
| 2019 | ECOOP | 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 |
| 2019 | EuroSys | ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. | Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu |
| 2017 | ATVA | Precise Null Pointer Analysis Through Global Value Numbering. | Ankush Das, Akash Lal |
| 2017 | FMCAD | Lasso detection using partial-state caching. | Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer |
| 2017 | SOSP | Optimizing Big-Data Queries Using Program Synthesis. | Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak |
| 2016 | FAST | 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 |
| 2016 | PLDI | A design and verification methodology for secure isolated regions. | Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani |
| 2015 | CAV | Angelic Verification: Precise Verification Modulo Unknowns. | Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li |
| 2015 | PLDI | Asynchronous programming, analysis and testing with state machines. | Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson |
| 2015 | PLDI | DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs. | Akash Lal, Shaz Qadeer |
| 2015 | TACAS | SMACK+Corral: A Modular Verifier - (Competition Contribution). | Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric |
| 2014 | FMCAD | A program transformation for faster goal-directed search. | Akash Lal, Shaz Qadeer |
| 2014 | MSR | MUX: algorithm selection for software model checkers. | Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori |
| 2013 | CAV | Combining Relational Learning with SMT Solvers Using CEGAR. | Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani |
| 2013 | ISSTA | Variable and thread bounding for systematic testing of multithreaded programs. | Sandeep Bindal, Sorav Bansal, Akash Lal |
| 2012 | CAV | Detecting Fair Non-termination in Multithreaded Programs. | Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal |
| 2012 | CAV | A Solver for Reachability Modulo Theories. | Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri |
| 2012 | POPL | Underspecified harnesses and interleaved bugs. | Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal |
| 2012 | SAS | Finding Non-terminating Executions in Distributed Asynchronous Programs. | Michael Emmi, Akash Lal |
| 2010 | CAV | There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. | Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal |
| 2010 | CAV | Directed Proof Generation for Machine Code. | Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps |
| 2010 | SAS | Alternation for Termination. | William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani |
| 2008 | CAV | Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. | Akash Lal, Thomas W. Reps |
| 2008 | SAS | Language Strength Reduction. | Nicholas Kidd, Akash Lal, Thomas W. Reps |
| 2008 | SAS | Solving Multiple Dataflow Queries Using WPDSs. | Akash Lal, Thomas W. Reps |
| 2008 | TACAS | Interprocedural Analysis of Concurrent Programs Under a Context Bound. | Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps |
| 2007 | SAS | Abstract Error Projection. | Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
| 2006 | CAV | Improving Pushdown System Model Checking. | Akash Lal, Thomas W. Reps |
| 2006 | ESOP | Path Optimization in Programs and Its Application to Debugging. | Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit |
| 2005 | CAV | Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. | Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum |
| 2005 | CAV | Extended Weighted Pushdown Systems. | Akash Lal, Thomas W. Reps, Gogul Balakrishnan |