2 citations · 2 across the 4 of their papers we have counts for
4 papers
FO-Complete Program Verification for Heap Logics
Adithya Murali, Hrishikesh Balakrishnan, Aaron Councilman +1
We develop the first two heap logics that have implicit heaplets and that admit FO-complete program verification. The notion of FO-completeness is a theoretical guarantee that all…
SLMFix: Leveraging Small Language Models for Domain Specific Language Error Fixing with Reinforcement Learning
David Jiahao Fu, Aryan Gupta, Aaron Councilman +3
Large language models (LLMs) have shown impressive capabilities in code generation across many programming languages but even state-of-the-art LLMs generate programs that contain s…
Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
Aaron Councilman, David Jiahao Fu, Aryan Gupta +4
In the past few years LLMs have emerged as a tool that can aid programmers by taking natural language descriptions and generating code based on it. However, the reliability of LLM…
Hercules: A Compiler for Productive Programming of Heterogeneous Systems
Russel Arbore, Aaron Councilman, Xavier Routh +3
Modern computing systems increasingly rely on composing heterogeneous devices to improve performance and efficiency. Programming these systems is often unproductive: algorithm impl…