Akash Lal

According to our database, Akash Lal authored at least 69 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Accelerated Bounded Model Checking Using Interpolation Based Summaries.

Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Concurrency Testing: A Journey from Research to Practice.

Akash Lal

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

Welding Natural Language Queries to Analytics IRs with LLMs.

Kaushik Rajan, Aseem Rastogi, Akash Lal, Sampath Rajendra, Krithika Subramanian, Krut Patel

Proceedings of the 14th Conference on Innovative Data Systems Research, 2024

2023

Inference of Resource Management Specifications.

Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan

Proc. ACM Program. Lang., October, 2023

Resource Leak Checker (RLC#) for C# Code using CodeQL.

Pritam M. Gharat, Narges Shadab, Shrey Tiwari, Shuvendu K. Lahiri, Akash Lal

CoRR, 2023

Finding Inductive Loop Invariants using Large Language Models.

Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma

CoRR, 2023

Fixing Rust Compilation Errors using LLMs.

Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi

CoRR, 2023

Automatic Inference of Resource Leak Specifications.

Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan

CoRR, 2023

Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote.

Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks.

Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

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

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

2022

Proof-Guided Underapproximation Widening for Bounded Model Checking.

Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

MonkeyDB: effectively testing correctness under weak isolation levels.

Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal

Proc. ACM Program. Lang., 2021

MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels.

Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal

CoRR, 2021

Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices.

Jayaraj Poroor, Akash Lal, Sandesh Ghanta

Proceedings of the LCTES '21: 22nd ACM SIGPLAN/SIGBED International Conference on Languages, 2021

Nekara: Generalized Concurrency Testing.

Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Celestial: A Smart Contracts Verification Framework.

Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal

Proceedings of the Formal Methods in Computer Aided Design, 2021

Building Reliable Cloud Services Using Coyote Actors.

Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer

Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020

Learning-based controlled concurrency testing.

Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal

Proc. ACM Program. Lang., 2020

Building Reliable Cloud Services Using P# (Experience Report).

Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer

CoRR, 2020

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

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

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

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Distributed Bounded Model Checking.

Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript).

Peizun Liu, Thomas Wahl, Akash Lal

CoRR, 2019

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

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

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

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers.

Peizun Liu, Thomas Wahl, Akash Lal

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2017

An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code.

Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi

CoRR, 2017

Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation.

Deepak D'Souza, Akash Lal

Comput. Lang. Syst. Struct., 2017

Optimizing Big-Data Queries Using Program Synthesis.

Matthias Schlaipfer, Kaushik Rajan, Akash Lal, Malavika Samak

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Lasso detection using partial-state caching.

Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Precise Null Pointer Analysis Through Global Value Numbering.

Ankush Das, Akash Lal

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

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

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Inferring annotations for device drivers from verification histories.

Zvonimir Pavlinovic, Akash Lal, Rahul Sharma

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 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

Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

2015

SMACK+Corral: A Modular Verifier - (Competition Contribution).

Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs.

Akash Lal, Shaz Qadeer

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Asynchronous programming, analysis and testing with state machines.

Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Angelic Verification: Precise Verification Modulo Unknowns.

Ankush Das, Shuvendu K. Lahiri, Akash Lal, Yi Li

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Automatically finding atomic regions for fixing bugs in Concurrent programs.

Saurabh Joshi, Akash Lal

CoRR, 2014

Powering the static driver verifier using corral.

Akash Lal, Shaz Qadeer

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

MUX: algorithm selection for software model checkers.

Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

A program transformation for faster goal-directed search.

Akash Lal, Shaz Qadeer

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

PostHat and All That: Automating Abstract Interpretation.

Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps

Proceedings of the Fourth Workshop on Tools for Automatic Program Analysis, 2013

Reachability Modulo Theories.

Akash Lal, Shaz Qadeer

Proceedings of the Reachability Problems - 7th International Workshop, 2013

Variable and thread bounding for systematic testing of multithreaded programs.

Sandeep Bindal, Sorav Bansal, Akash Lal

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Combining Relational Learning with SMT Solvers Using CEGAR.

Arun Tejasvi Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Asynchronous programs with prioritized task-buffers.

Michael Emmi, Akash Lal, Shaz Qadeer

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Finding Non-terminating Executions in Distributed Asynchronous Programs.

Michael Emmi, Akash Lal

Proceedings of the Static Analysis - 19th International Symposium, 2012

Underspecified harnesses and interleaved bugs.

Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

A Solver for Reachability Modulo Theories.

Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Detecting Fair Non-termination in Multithreaded Programs.

Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Symbolic analysis via semantic reinterpretation.

Junghee Lim, Akash Lal, Thomas W. Reps

Int. J. Softw. Tools Technol. Transf., 2011

2010

Reference count analysis with shallow aliasing.

Akash Lal, G. Ramalingam

Inf. Process. Lett., 2010

Alternation for Termination.

William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Static Analysis - 17th International Symposium, 2010

Directed Proof Generation for Machine Code.

Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

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

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Reducing concurrent analysis under a context bound to sequential analysis.

Akash Lal, Thomas W. Reps

Formal Methods Syst. Des., 2009

2008

Interprocedural Analysis of Concurrent Programs Under a Context Bound.

Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Solving Multiple Dataflow Queries Using WPDSs.

Akash Lal, Thomas W. Reps

Proceedings of the Static Analysis, 15th International Symposium, 2008

Language Strength Reduction.

Nicholas Kidd, Akash Lal, Thomas W. Reps

Proceedings of the Static Analysis, 15th International Symposium, 2008

2007

Abstract Error Projection.

Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili

Proceedings of the Static Analysis, 14th International Symposium, 2007

Program Analysis Using Weighted Pushdown Systems.

Thomas W. Reps, Akash Lal, Nicholas Kidd

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006

A constraint programming approach to cutset problems.

François Fages, Akash Lal

Comput. Oper. Res., 2006

Path Optimization in Programs and Its Application to Debugging.

Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit

Proceedings of the Programming Languages and Systems, 2006

Improving Pushdown System Model Checking.

Akash Lal, Thomas W. Reps

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Extended Weighted Pushdown Systems.

Akash Lal, Thomas W. Reps, Gogul Balakrishnan

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

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

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Effective Chemistry for Synchrony and Asynchrony.

Deepak Garg, Akash Lal, Sanjiva Prasad

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004