2 papers
cs.SE2026
DUET: Agentic Design Understanding via Experimentation and Testing
Gus Henry Smith, Sandesh Adhikary, Vineet Thumuluri +5
AI agents powered by large language models (LLMs) are being used to solve increasingly complex software engineering challenges, but struggle with hardware design tasks. Register Tr…
cs.PL2024
Scaling Program Synthesis Based Technology Mapping with Equality Saturation
Gus Henry Smith, Colin Knizek, Daniel Petrisko +5
State-of-the-art hardware compilers for FPGAs often fail to find efficient mappings of high-level designs to low-level primitives, especially complex programmable primitives like d…