Akash Lal

Orcid: 0009-0002-4359-9378

According to our database1, Akash Lal authored at least 70 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Enabling Memory Safety of C Programs using LLMs.
CoRR, 2024

Accelerated Bounded Model Checking Using Interpolation Based Summaries.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Concurrency Testing: A Journey from Research to Practice.
Proceedings of the 17th Innovations in Software Engineering Conference, 2024

Welding Natural Language Queries to Analytics IRs with LLMs.
Proceedings of the 14th Conference on Innovative Data Systems Research, 2024

2023
Inference of Resource Management Specifications.
Proc. ACM Program. Lang., October, 2023

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

Finding Inductive Loop Invariants using Large Language Models.
CoRR, 2023

Fixing Rust Compilation Errors using LLMs.
CoRR, 2023

Automatic Inference of Resource Leak Specifications.
CoRR, 2023

Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Ranking LLM-Generated Loop Invariants for Program Verification.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

2022
Proof-Guided Underapproximation Widening for Bounded Model Checking.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
MonkeyDB: effectively testing correctness under weak isolation levels.
Proc. ACM Program. Lang., 2021

MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels.
CoRR, 2021

Robust I/O-compute concurrency for machine learning pipelines in constrained cyber-physical devices.
Proceedings of the LCTES '21: 22nd ACM SIGPLAN/SIGBED International Conference on Languages, 2021

Nekara: Generalized Concurrency Testing.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Celestial: A Smart Contracts Verification Framework.
Proceedings of the Formal Methods in Computer Aided Design, 2021

Building Reliable Cloud Services Using Coyote Actors.
Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020
Learning-based controlled concurrency testing.
Proc. ACM Program. Lang., 2020

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

Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries.
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.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Distributed Bounded Model Checking.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

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

ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

Reliable State Machines: A Framework for Programming Reliable Cloud Services.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

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

Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation.
Comput. Lang. Syst. Struct., 2017

Optimizing Big-Data Queries Using Program Synthesis.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Lasso detection using partial-state caching.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Precise Null Pointer Analysis Through Global Value Numbering.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
A design and verification methodology for secure isolated regions.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Inferring annotations for device drivers from verification histories.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Uncovering Bugs in Distributed Storage Systems during Testing (Not in Production!).
Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

2015
SMACK+Corral: A Modular Verifier - (Competition Contribution).
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.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Asynchronous programming, analysis and testing with state machines.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Angelic Verification: Precise Verification Modulo Unknowns.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Automatically finding atomic regions for fixing bugs in Concurrent programs.
CoRR, 2014

Powering the static driver verifier using corral.
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.
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

A program transformation for faster goal-directed search.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013
PostHat and All That: Automating Abstract Interpretation.
Proceedings of the Fourth Workshop on Tools for Automatic Program Analysis, 2013

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

Variable and thread bounding for systematic testing of multithreaded programs.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Combining Relational Learning with SMT Solvers Using CEGAR.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Asynchronous programs with prioritized task-buffers.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Finding Non-terminating Executions in Distributed Asynchronous Programs.
Proceedings of the Static Analysis - 19th International Symposium, 2012

Underspecified harnesses and interleaved bugs.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

A Solver for Reachability Modulo Theories.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Detecting Fair Non-termination in Multithreaded Programs.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Symbolic analysis via semantic reinterpretation.
Int. J. Softw. Tools Technol. Transf., 2011

2010
Reference count analysis with shallow aliasing.
Inf. Process. Lett., 2010

Alternation for Termination.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Directed Proof Generation for Machine Code.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Reducing concurrent analysis under a context bound to sequential analysis.
Formal Methods Syst. Des., 2009

2008
Interprocedural Analysis of Concurrent Programs Under a Context Bound.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Solving Multiple Dataflow Queries Using WPDSs.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Language Strength Reduction.
Proceedings of the Static Analysis, 15th International Symposium, 2008

2007
Abstract Error Projection.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Program Analysis Using Weighted Pushdown Systems.
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

2006
A constraint programming approach to cutset problems.
Comput. Oper. Res., 2006

Path Optimization in Programs and Its Application to Debugging.
Proceedings of the Programming Languages and Systems, 2006

Improving Pushdown System Model Checking.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Extended Weighted Pushdown Systems.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Effective Chemistry for Synchrony and Asynchrony.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004


  Loading...