15 citations · 23 across the 3 of their papers we have counts for
3 papers
Finding Inductive Loop Invariants using Large Language Models
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty +6
Loop invariants are fundamental to reasoning about programs with loops. They establish properties about a given loop's behavior. When they additionally are inductive, they become u…
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…
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…