Skip to content

Presentations

Hilly – A Toy Language for Learning Programming Language Theory

Hilly is a very simple programming language that serves to teach students about the basics of programming language theory, abstract syntax trees, functional programming, and interpreters. I recently hosted a workshop in which we walked through building the Hilly interpreter. The workshop is intended for high schoolers or early undergraduates… Read More »Hilly – A Toy Language for Learning Programming Language Theory

Commutativity Reasoning for the Heap (MS Thesis)

The publication of my thesis is available at https://www.proquest.com/docview/2681771819. I am proud to report that I have completed my thesis for my master’s in computer science at Stevens! You can see my presentation and paper below. Here’s a PDF of the slides, with some bonus slides at the end.