Get started
Author

Paulette Koronkevich

Observed names: Koronkevich, Paulette, PAULETTE KORONKEVICH
Observed institution: University of British Columbia
ORCID: 0000-0003-0325-3305
Observed ORCID: 0000-0003-0325-3305
OpenAlex ID: A5072235094
Obsidian
2020 · Michael Coblenz, Reed Oei, et al. · ACM Transactions on Programming Languages and Systems · 27
PLIERS
2021 · Michael Coblenz, Gauri Kambhatla, et al. · ACM Transactions on Computer-Human Interaction · 26
PDF
Obsidian: Typestate and Assets for Safer Blockchain Programming
2019 · Coblenz, Michael, Oei, Reed, et al. · arXiv (Cornell University) · 11
PDF
ANF preserves dependent types up to extensional equality
2022 · PAULETTE KORONKEVICH, RAMON RAKOW, et al. · Journal of Functional Programming · 3
PDF
Type Universes as Allocation Effects
2024 · Koronkevich, Paulette, Bowman, William J. · arXiv (Cornell University) · 2
PDF
Usability Methods for Designing Programming Languages for Software Engineers
2019 · Michael Coblenz, Gauri Kambhatla, et al. · arXiv (Cornell University) · 2
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
2019 · Coblenz, Michael, Kambhatla, Gauri, et al. · arXiv (Cornell University) · 2
PDF
User-Centered Programming Language Design in the Obsidian Smart Contract Language.
2019 · Michael Coblenz, Gauri Kambhatla, et al. · arXiv (Cornell University) · 1
Regions as Continuation Marks
2026 · Paulette Koronkevich, William J. Bowman
Building Teaching Skills and Community for Early-Career Computer Science Academics: Reflections from a Departmental Program
2026 · Paulette Koronkevich, Gautam Kirshan Luhana, et al. · Western Canadian Conference on Computing Education
Type Universes as Kripke Worlds
2025 · Paulette Koronkevich, William J. Bowman · Proceedings of the ACM on Programming Languages
PDF
Type-Preserving Flat Closure Optimization
2025 · Adam T. Geller, Sean Bocirnea, et al. · Proceedings of the ACM on Programming Languages
PDF
ANF preserves dependent types up to extensional equality
2021 · Koronkevich, Paulette · cIRcle (University of British Columbia)
Works count: 16
Citation count: 75
H-index: 3
I10-index: 3
Year
Topic
Type