PhD candidate in the
Software Practices Lab
at University of British Columbia.
This picture includes most of my favorite things.
email: pletrec@cs.ubc.ca
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.
I'm particularly interested in compilers, language design, type systems, and of course, functional programming.
Type Universes as Allocation Effects
Paulette Koronkevich, William J. Bowman
Under Review
preprint
ANF Preserves Dependent Types up to Extensional Equality
Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman
Journal of Functional Programming
talk (by me) DOI
Dependent-type-preserving Memory Allocation
Paulette Koronkevich
Second place at Principles of Programming Languages (POPL) 2022
talk (by me) preprint
ANF Preserves Dependent Types up to Extensional Equality (MSc Thesis, August 2021)
Paulette Koronkevich
UBC Electronic Theses and Dissertations (ETDs) 2008+
DOI
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
ACM DL
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
ACM DL
One Weird Trick to Untie Landin's Knot (HOPE@ICFP 2023)
talk
abstract
Making the Most out of Conferences (PLMW@ICFP 2022/3)
talk (2023)
talk (2022)
Reigniting Fuse: An Online Partial Evaluator for Scheme
talk
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.