Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025★ 2 cited
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…
cs.PL2025
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…