Paulette Koronkevich

Identifiers

• name variant Paulette Koronkevich 0.60 · backfill

Papers (5)

1. Dependent-Type-Preserving Memory Allocation cs.PL · 2025 · author #1
2. One Weird Trick to Untie Landin's Knot cs.PL · 2025 · author #1
3. Type Universes as Allocation Effects cs.PL · 2024 · author #1
4. PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design cs.HC · 2019 · author #3
5. Obsidian: Typestate and Assets for Safer Blockchain Programming cs.PL · 2019 · author #4

Mentions

• 2509.09059 #1 · arxiv_oai · confidence 0.70 Paulette Koronkevich
• 2507.21317 #1 · arxiv_oai · confidence 0.70 Paulette Koronkevich
• 2407.06473 #1 · arxiv_oai · confidence 0.70 Paulette Koronkevich
• 1912.04719 #3 · arxiv_oai · confidence 0.70 Paulette Koronkevich
• 1909.03523 #4 · arxiv_oai · confidence 0.70 Paulette Koronkevich

Frequent Coauthors

• William J. Bowman 3 shared papers
• Brad A. Myers 2 shared papers
• Jonathan Aldrich 2 shared papers
• Joshua Sunshine 2 shared papers
• Michael Coblenz 2 shared papers
• Celeste Barnaby 1 shared papers
• Gauri Kambhatla 1 shared papers
• Jenna L. Wise 1 shared papers
• Miles Baker 1 shared papers
• Reed Oei 1 shared papers
• Tyler Etzel 1 shared papers
• Yannick Bloem 1 shared papers