Kimball Germane

I am an assistant professor at Brigham Young University in the Computer Science Department.

I completed a PhD at University of Utah in the School of Computing, working with Matt Might.

I am interested in programming languages, static analysis, and formal methods, particularly applied to higher-order languages.

Conference Papers

• Kimball Germane. "Full Control-Flow Sensitivity for Definitional Interpreters". 31st Static Analysis Symposium (SAS 2024). Pasadena, California. October 2024. [pdf] Accompanying technical report: [pdf]
• Kimball Germane. "m-CFA Exhibits Pushdown Precision". 21st Asian Symposium on Programming Languages and Systems (APLAS 2023). Taipei, Taiwan. November 2023. [pdf]
• Kimball Germane and Jay McCarthy. "Newly-Single and Loving It: Improving Must-Alias Analysis with Heap Fragments." 26th Annual International Conference on Functional Propgramming (ICFP 2021). Online. August 2021. [pdf]
• Kimball Germane and Michael D. Adams. "Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap." 29th Annual European Symposium on Programming (ESOP 2020). Dublin, Ireland. April 2020. Online. April 2021. [pdf]
• Kimball Germane and Michael D. Adams. "Stack-Liberated Abstract Garbage Collection." 20th Annual Scheme and Functional Programming Workshop (SCHEME 2019). Berlin, Germany. August 2019. [pdf]
• Kimball Germane, Jay McCarthy, Michael D. Adams, and Matthew Might. "Demand Control-Flow Analysis." 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019). Cascais, Portugal. January 2019. pages 226–246. [pdf]
• Kimball Germane and Matthew Might. "Relatively Complete Pushdown Analysis of Escape Continuations." 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019). Cascais, Portugal. January 2019. pages 205–225. [pdf]
• Kimball Germane and Matthew Might. "A Posteriori Environment Analysis with Pushdown Delta CFA." Proceedings of the 44th Annual ACM Symposium on the Principles of Programming Languages (POPL 2017). Paris, France. January 2017. [pdf]

Journal Papers

• Kimball Germane and Matthew Might (2014). "Deletion: The curse of the red-black tree." Journal of Functional Programming, 24(4), pp 423–433. July 2014. [pdf]

Technical Reports

• Kimball Germane, Jay McCarthy, Michael D. Adams, and Matthew Might. (2019). "Demand Control-Flow Analysis." January 2019. [pdf]
• Kimball Germane and Matthew Might. "Relatively Complete Pushdown Analysis of Escape Continuations." January 2019. [pdf]
• Kimball Germane and Matthew Might. "A Posteriori Environment Analysis via Pushdown Delta CFA." November 2016. [pdf]

Contact

Email: kimball at cs dot byu dot edu