Paulette Koronkevich

According to our database, Paulette Koronkevich authored at least 9 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Dependent-Type-Preserving Memory Allocation.

Paulette Koronkevich, William J. Bowman

CoRR, September, 2025

One Weird Trick to Untie Landin's Knot.

Paulette Koronkevich, William J. Bowman

CoRR, July, 2025

Type Universes as Kripke Worlds.

Paulette Koronkevich, William J. Bowman

Proc. ACM Program. Lang., 2025

Type-Preserving Flat Closure Optimization.

Adam T. Geller, Sean Bocirnea, Chester J. F. Gould, Paulette Koronkevich, William J. Bowman

Proc. ACM Program. Lang., 2025

2024

Type Universes as Allocation Effects.

Paulette Koronkevich, William J. Bowman

CoRR, 2024

2022

ANF preserves dependent types up to extensional equality.

Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman

J. Funct. Program., 2022

2021

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

2020

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

2019

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