Kimball Germane -

Registered user since Mon 7 Nov 2016

Name: Kimball Germane

Affiliation: University of Utah

Contributions

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