User-Centered Programming Language Design in the Obsidian Smart Contract Language. - Michael J. Coblenz; Gauri Kambhatla; Paulette Koronkevich; Jenna L. Wise; Celeste Barnaby; Jonathan Aldrich; Joshua Sunshine; Brad A. Myers (CoRR, 2019)

Obsidian: Typestate and Assets for Safer Blockchain Programming. - Michael J. Coblenz; Reed Oei; Tyler Etzel; Paulette Koronkevich; Miles Baker; Yannick Bloem; Brad A. Myers; Joshua Sunshine; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2020)

PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design. - Michael J. Coblenz; Gauri Kambhatla; Paulette Koronkevich; Jenna L. Wise; Celeste Barnaby; Joshua Sunshine; Jonathan Aldrich; Brad A. Myers (ACM Trans. Comput. Hum. Interact., 2021)

ANF preserves dependent types up to extensional equality. - Paulette Koronkevich; Ramon Rakow; Amal Ahmed 001; William J. Bowman (J. Funct. Program., 2022)

Type Universes as Allocation Effects. - Paulette Koronkevich; William J. Bowman (CoRR, 2024)

Type-Preserving Flat Closure Optimization. - Adam T. Geller; Sean Bocirnea; Chester J. F. Gould; Paulette Koronkevich; William J. Bowman (Proc. ACM Program. Lang., 2025)

One Weird Trick to Untie Landin's Knot. - Paulette Koronkevich; William J. Bowman (CoRR, 2025)