conf.researchr.org / Karl Crary

Registered user since Tue 22 Jan 2019

Name: Karl Crary

Affiliation: Carnegie Mellon University

Contributions

POPL 2019Author of Fully Abstract Module Compilation within the Research Papers-track
PADL 2018Author of Hygienic Source-Code Generation Using Functors within the PADL 2018-track
POPL 2018Session Chair of Dependent Types (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
POPL 2017Author of Modules, Abstraction, and Parametric Polymorphism within the POPL-track
PLDI 2015Author of Peer-to-peer Affine Commitment using Bitcoin within the Research Papers-track