I’m a PhD student at Tufts University, and my research focuses on compiling small-step abstract machines to efficient implementations. This is ongoing work with Kathleen Fisher and Norman Ramsey.
I finished a master’s thesis at Northeastern University, where I worked on a type system for Racket’s first-class contracts with Asumu Takikawa and Matthias Felleisen. Eventually, this work will be integrated with Typed Racket.
Before Northeastern, I did time in industry and a BS in computer science. My undergraduate degree is from San Jose State University.
Abstract machines, contracts, programming languages