face.jpg

About

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!

Publications

  • Gus Henry Smith, Ben Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock. Generate Compilers from Hardware Models! (PLARCH 2023)
  • (Pre-print) 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. (2022). Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface. link