This picture includes most of my favorite things.
I'm currently working with William J. Bowman on type preserving compilation of dependent types. In my master's thesis I developed a dependent-type-preserving ANF translation. My current project is developing the next stage of the dependent-type-preserving compiler: memory allocation.
Also, Racket is my favorite programming language.
I'm particularly interested in compilers, language design, type systems, and of course, functional programming.
ANF Preserves Dependent Types up to Extensional Equality (MSc Thesis, August 2021)
UBC Electronic Theses and Dissertations (ETDs) 2008+
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
Michael Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, and Brad A. Myers.
ACM Transactions on Computer-Human Interaction (TOCHI) 2021
Obsidian: Typestate and Assets for Safer Blockchain Programming
Michael Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, and Jonathan Aldrich.
ACM Transactions on Programming Languages and Systems (TOPLAS) 2020
While at Indiana University, I had the privilege of working as a teaching assistant for many courses.
Here is some additional stuff I did while at Indiana University.