Sign in
Vishal Canumalla
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Application Programmer
Blue Gene
Program Synthesis
Abstraction Layer
Top Venues
CoRR
</>
Publications
</>
Gus Henry Smith
,
Benjamin Kushigian
,
Vishal Canumalla
,
Andrew Cheung
,
Steven Lyubomirsky
,
Sorawee Porncharoenwase
,
René Just
,
Gilbert Louis Bernstein
,
Zachary Tatlock
FPGA Technology Mapping Using Sketch-Guided Program Synthesis.
CoRR
(2024)
Gus Henry Smith
,
Benjamin Kushigian
,
Vishal Canumalla
,
Andrew Cheung
,
René Just
,
Zachary Tatlock
Generate Compilers from Hardware Models!
CoRR
(2023)
Bo-Yuan Huang
,
Steven Lyubomirsky
,
Yi Li
,
Mike He
,
Thierry Tambe
,
Gus Henry Smith
,
Akash Gaonkar
,
Vishal Canumalla
,
Gu-Yeon Wei
,
Aarti Gupta
,
Zachary Tatlock
,
Sharad Malik
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface.
CoRR
(2022)