Paulette Koronkevich

Graduate student in the Software Practices Lab at University of British Columbia.

This picture includes most of my favorite things.

cv: pdf

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.

research and publications

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)
Paulette Koronkevich
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



CPSC 311: Programming Languages


CPSC 509: Programming Languages

While at Indiana University, I had the privilege of working as a teaching assistant for many courses.

CSCI-C211: Introduction to Computer Science, making videos as supplementary material.
CSCI-C311: Programming Languages
CSCI-B490: Dependent Types
EDUC-X 152: Mapping Your Future

Here is some additional stuff I did while at Indiana University.