Kimball Germane

According to our database, Kimball Germane authored at least 11 papers between 2014 and 2025.

Collaborative distances:

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

2025

Call-Guarded Abstract Definitional Interpreters.

Kimball Germane

Proc. ACM Program. Lang., 2025

Context-Sensitive Demand-Driven Control-Flow Analysis.

Tim Whiting, Kimball Germane

Proceedings of the Programming Languages and Systems, 2025

2024

Full Control-Flow Sensitivity for Definitional Interpreters.

Kimball Germane

Proceedings of the Static Analysis - 31st International Symposium, 2024

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