conf.researchr.org / Kimball Germane

Registered user since Mon 7 Nov 2016

Name:Kimball Germane
Affiliation:University of Utah

Contributions

ICFP 2021 Author of Newly-Single and Loving It: Improving Higher-Order Must-Alias Analysis with Heap Fragments within the Research Papers-track
Scheme 2020 Committee Member in Program Committee within the Scheme 2020-track
Scheme 2019 Author of Stack-Liberated Abstract Garbage Collection within the Scheme 2019-track
VMCAI 2019 Author 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 2017 Author of A Posteriori Environment Analysis with Pushdown Delta CFA within the POPL-track