Alex Reinking

I’m a Ph.D. student at UC Berkeley advised by Jonathan Ragan-Kelley. My research focus is in designing domain-specific programming languages for high performance computing.

In the past, I worked on the Intune team at Microsoft, the Facebook AI and Research team, and Microsoft Research. Some of my research projects include Winston, the code repair and autocompletion tool from my paper “A Type-Directed Approach to Program Repair”; a new compiler for the P programming language; and a formal semantics for the Halide programming language. I recently joined Microsoft again to work on the Koka language, trying to compile high level code with algebraic effects into efficient assembly.

In addition to my academic interests, I play progressive metal music on a seven string electric guitar, and have spent the last few years learning how to cook modernist cuisine.

papers