Intro

I’m an undergraduate at the University of Washington, where I study computer science. My research interests lie in programming languages. At the moment, my work is in using programming languages techniques in hardware design compilation.

I am very lucky to be advised by Zachary Tatlock and Gus Smith here at UW.

Currently, I work on Lakeroad, a tool for FPGA synthesis, via sketch-guided synthesis. I also work on the 3LA project, a development methodology for end-to-end testing of specialized hardware. In the past, I’ve worked on Glenside, a language for tensor program rewriting, and a formal specification mutation generator named Gambit.

I’ll be applying to graduate school programs in the U.S. and abroad for the 2023-2024 academic year. If you think I might be a good fit for your group, please contact me!

I’m also interested in industry internships for this upcoming summer of 2024, and maybe fulltime roles if the right one comes along! If you think I am a good fit to work with you in industry, let’s get in touch!

Publications

FPGA Technology Mapping Using Sketch-Guided Program Synthesis
(Conditionally Accepted to ASPLOS 2024)
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Zachary Tatlock

Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface.
(Under Minor Revision to TODAES 2023)
Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Thierry Tambe, Gus Henry Smith, Akash Gaonkar, Vishal Canumalla, Andrew Cheung, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik.

Generate Compilers from Hardware Models!
(PLARCH 2023)
Gus Henry Smith, Ben Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock

Talks and Posters

Application of Sketch-Guided Synthesis to Runtime Reconfigurable FPGA Primitives
(ICFP SRC 2023)
Vishal Canumalla
3rd Place in Undergraduate Category

About

I was born in Dallas Texas, but home to me will always be Washington. I’ve lived here since I was 6!

I used to want to study chemistry in high school, before settling on doing chemistry and computer science. Now I only study computer science. I wonder if it will come full circle one day…

My hobbies are mostly non-technical. I especially enjoy fantasy in any medium: games, books, movies, anything really. I also am an avid wildlife photographer. I find animals give far less criticism on their portraits than my human friends do.

I enjoy snowboarding (decent), tennis (mediocre), basketball (horrendous), and running (improving)!

I have an older brother Ani, who is a Ph.D. student at UCSD CSE. He’s much smarter than me, but I keep up by learning from his example.