Akash Lal

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 40

Top Topics

Concurrent Programs

Natural Language Queries

Top Venues

Publications

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