FPGA Technology Mapping Using Sketch-Guided Program Synthesis
Gus Henry Smith,
Benjamin Kushigian,
Vishal Canumalla,
Andrew Cheung,
Steven Lyubomirsky,
Sorawee Porncharoenwase,
René Just,
Gilbert Louis Bernstein,
Zachary Tatlock
Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2024
Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
Bo-Yuan Huang*,
Steven Lyubomirsky*,
Yi Li,
Mike He,
Gus Henry Smith,
Thierry Tambe,
Akash Gaonkar,
Vishal Canumalla,
Andrew Cheung,
Gu-Yeon Wei,
Aarti Gupta,
Zachary Tatlock,
Sharad Malik
ACM Transactions on Design Automation of Electronic Systems (TODAES), 2024
There and Back Again: A Netlist’s Tale with Much Egraphin’
Gus Henry Smith,
Zachary D. Sisco,
Thanawat Techaumnuaiwit
Jingtao Xia
Vishal Canumalla
Andrew Cheung
Zachary Tatlock
Chandrakana Nandi
Jonathan Balkind
Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE) 2024
Generate Compilers from Hardware Models!
Gus Henry Smith,
Ben Kushigian,
Vishal Canumalla,
Andrew Cheung,
René Just,
Zachary Tatlock
Workshop on Programming Languages and Computer Architecture (PLARCH) 2023