Paulette Koronkevich

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

General Purpose

Programming Environment

Programming Language

User Centered Design

Top Venues

J. Funct. Program.

ACM Trans. Comput. Hum. Interact.

ACM Trans. Program. Lang. Syst.

Publications

Paulette Koronkevich, William J. Bowman
Type Universes as Allocation Effects. CoRR (2024)
Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman
ANF preserves dependent types up to extensional equality. J. Funct. Program. 32 (2022)
Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design. ACM Trans. Comput. Hum. Interact. 28 (4) (2021)
Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
Obsidian: Typestate and Assets for Safer Blockchain Programming. ACM Trans. Program. Lang. Syst. 42 (3) (2020)
Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
Obsidian: Typestate and Assets for Safer Blockchain Programming. CoRR (2019)
Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers
User-Centered Programming Language Design in the Obsidian Smart Contract Language. CoRR (2019)