Portrait of the author running and waving at the camera with his right hand. There are trees in the background.

Tyler Hou 太乐侯 侯诚乐

About

I am a fourth-year undergraduate at UC Berkeley majoring in Applied Mathematics & Computer Science. At Berkeley, I work on the Hydro Project in the Sky Computing Lab. I am interested in programming languages, type theory, compilers, and performance optimization.

Before starting college, I worked at Google (full-time) on search performance, hardware accelerators, and Arm servers. More recently, I interned at Jane Street, where I modified the OCaml Flambda backend to apply tail-call optimization more precisely.

I was a TA at JamCoders, a free summer camp that teaches introductory algorithms and computer science to Jamaican high schoolers. At Berkeley, I have been on course staff for CS 170 [Algorithms] in Spring 2022 and CS 61A [Intro to CS] in Spring 2023. For Fall 2024, I am a TA for CS 164 [PL ∧ Compilers].

Research

Towards Relational Contextual Equality Saturation[draft]
Tyler Hou, Shadaj Laddad, Joesph M. Hellerstein
EGRAPHS 2024 (workshop)
Optimizing Stateful Dataflow with Local Rewrites
Shadaj Laddad, Conor Power, Tyler Hou, Alvin Cheung, Joesph M. Hellerstein
EGRAPHS 2023 (workshop)

Education

BA in Applied Mathematics & Computer Science
· University of California, Berkeley
Classical Diploma
· Phillips Exeter Academy

Work

Jane Street, Software Engineer Intern
summer  · New York, NY
Discord, Software Engineer Intern
summer  · San Francisco, CA
Google, Software Engineer
· San Francisco Bay Area, CA

Design & Acknowledgements

The design for this website took inspiration from Slim Lim, Ink & Switch, and Mae Milano. The body typeface is Garamond Premier Pro, and titles use its display variant—I started using Garamond after admiring how my Horace textbook was typeset. The sans-serif typeface is Futura PT, the monospace is Inconsolata, the Chinese characters are typeset in Adobe Kaiti, and the icons are from Font Awesome. This website is rendered ahead-of-time with Astro, using MathJax to typeset and Shiki to syntax highlight code. The color scheme is based on Solarized Light.