conf.researchr.org / Kimball Germane

Registered user since Mon 7 Nov 2016

Name: Kimball Germane

Affiliation: University of Utah

Contributions

Scheme 2020Committee Member in Program Committee within the Scheme 2020-track
Scheme 2019Author of Stack-Liberated Abstract Garbage Collection within the Scheme 2019-track
VMCAI 2019Author of Relatively Complete Pushdown Analysis of Escape Continuations within the VMCAI 2019-track
Author of Demand Control-Flow Analysis within the VMCAI 2019-track
POPL 2017Author of A Posteriori Environment Analysis with Pushdown Delta CFA within the POPL-track