| CARVIEW |
Vishal Canumalla
Graduate Student (photo)
Department of Electrical Engineering
Stanford University
vjc at stanford dot edu
Last updated August 2025
I am a second year graduate student in electrical engineering at Stanford. Previously, I graduated from the Allen School at the University of Washington (UW CSE) where I studied computer science.
My research interests are in the intersection of programming languages and computer architecture. Most recently I worked on using program synthesis in automating hardware compilation of FPGAs. At the University of Washington, I was very fortunate to be advised by Zachary Tatlock and Gus Smith. I’ve additionally interned in industry, under Chandrakana Nandi at Certora, and under Derek Gerstmann at Adobe Research.
Recent News
- June 2024
-
🎓 Graduated from the University of Washington with
a Bachelor’s degree in Computer Science! - March 2024
-
🌲 Heading to Stanford for graduate school!
Please see past news for more.
Conference and Journal Publications
FPGA Technology Mapping Using
Sketch-Guided Program Synthesis
Gus Henry Smith,
Ben Kushigian,
Vishal Canumalla,
Andrew Cheung,
Steven Lyubomirsky,
Sorawee Porncharoenwase,
René Just,
Gilbert Louis Bernstein,
Zachary Tatlock
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
TODAES 2024
A full list of these and other smaller papers can be found here.