PhD Student (photo)
Department of Electrical Engineering
Stanford University
vjc at stanford dot edu
Last updated October 2024
I am a first year PhD 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.
🎓 Graduated from the University of Washington with
a Bachelor’s degree in Computer Science!
🌲 Accepted PhD offer from Stanford for Fall 2024!
Please see past news for more.
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.