Kimball Germane

According to our database, Kimball Germane authored at least 8 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

m-CFA Exhibits Perfect Stack Precision.

Kimball Germane

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2021

Newly-single and loving it: improving higher-order must-alias analysis with heap fragments.

Kimball Germane, Jay McCarthy

Proc. ACM Program. Lang., 2021

2020

Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap.

Kimball Germane, Michael D. Adams

Proceedings of the Programming Languages and Systems, 2020

2019

Relatively Complete Pushdown Analysis of Escape Continuations.

Kimball Germane, Matthew Might

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Demand Control-Flow Analysis.

Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

Demand Environment Analysis of Higher-Order Languages.

Kimball Germane

PhD thesis, 2018

2017

A posteriori environment analysis with Pushdown Delta CFA.

Kimball Germane, Matthew Might

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2014

Deletion: The curse of the red-black tree.

Kimball Germane, Matthew Might

J. Funct. Program., 2014