5 citations · 14 across the 8 of their papers we have counts for
10 papers
Fixing Rust Compilation Errors using LLMs
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra +1
The Rust programming language, with its safety guarantees, has established itself as a viable choice for low-level systems programming language over the traditional, unsafe alterna…
MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada +2
Modern applications, such as social networking systems and e-commerce platforms are centered around using large-scale storage systems for storing and retrieving data. In the presen…
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep +1
Program verification is a resource-hungry task. This paper looks at the problem of parallelizing SMT-based automated program verification, specifically bounded model-checking, so t…
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal +1
Cloud services must typically be distributed across a large number of machines in order to make use of multiple compute and storage resources. This opens the programmer to several…
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)
Peizun Liu, Thomas Wahl, Akash LaL
We address the problem of analyzing asynchronous event-driven programs, in which concurrent agents communicate via unbounded message queues. The safety verification problem for suc…
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj +5
Building reliable applications for the cloud is challenging because of unpredictable failures during a program's execution. This paper presents a programming framework called Relia…
CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code
Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee +4
We present an instrumenting compiler for enforcing data confidentiality in low-level applications (e.g. those written in C) in the presence of an active adversary. In our approach,…
Precise Null Pointer Analysis Through Global Value Numbering
Ankush Das, Akash Lal
Precise analysis of pointer information plays an important role in many static analysis techniques and tools today. The precision, however, must be balanced against the scalability…
Automatically finding atomic regions for fixing bugs in Concurrent programs
Saurabh Joshi, Akash Lal
This paper presents a technique for automatically constructing a fix for buggy concurrent programs: given a concurrent program that does not satisfy user-provided assertions, we in…
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
Sandeep Bindal, Sorav Bansal, Akash Lal
Previous approaches to systematic state-space exploration for testing multi-threaded programs have proposed context-bounding and depth-bounding to be effective ranking algorithms f…