Deletion: The curse of the red-black tree. - Kimball Germane; Matthew Might (J. Funct. Program., 2014)

A posteriori environment analysis with Pushdown Delta CFA. - Kimball Germane; Matthew Might (POPL, 2017)

Demand Environment Analysis of Higher-Order Languages. - Kimball Germane (2018)

Demand Control-Flow Analysis. - Kimball Germane; Jay McCarthy; Michael D. Adams 001; Matthew Might (VMCAI, 2019)

Relatively Complete Pushdown Analysis of Escape Continuations. - Kimball Germane; Matthew Might (VMCAI, 2019)

Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap. - Kimball Germane; Michael D. Adams 001 (ESOP, 2020)

Newly-single and loving it: improving higher-order must-alias analysis with heap fragments. - Kimball Germane; Jay McCarthy (Proc. ACM Program. Lang., 2021)

m-CFA Exhibits Perfect Stack Precision. - Kimball Germane (APLAS, 2023)

Full Control-Flow Sensitivity for Definitional Interpreters. - Kimball Germane (SAS, 2024)

Context-Sensitive Demand-Driven Control-Flow Analysis. - Tim Whiting; Kimball Germane (ESOP (2), 2025)