Kimball Germane

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 6

Top Topics

Garbage Collection

Average Precision

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Kimball Germane
m-CFA Exhibits Perfect Stack Precision. APLAS (2023)
Kimball Germane, Jay McCarthy
Newly-single and loving it: improving higher-order must-alias analysis with heap fragments. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Kimball Germane, Michael D. Adams
Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap. ESOP (2020)
Kimball Germane, Matthew Might
Relatively Complete Pushdown Analysis of Escape Continuations. VMCAI (2019)
Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might
Demand Control-Flow Analysis. VMCAI (2019)
Kimball Germane, Matthew Might
A posteriori environment analysis with Pushdown Delta CFA. POPL (2017)
Kimball Germane, Matthew Might
Deletion: The curse of the red-black tree. J. Funct. Program. 24 (4) (2014)