conf.researchr.org / Kimball Germane
Registered user since Thu 18 Apr 2024
Name:Kimball Germane
Country:United States
Affiliation:Brigham Young University
Personal website: https://kimball.germane.net
Research interests:Static Analysis, Programming Languages
Contributions
2026
ICFP
- Author of HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect Handlers within the ICFP Papers-track
- Student Research Competition Co-Chair in Program Committee within the ICFP SRC-track
- Author in Program Committee within the ICFP Papers-track
- Student Research Competition Chair in Organising Committee
- Author of Demand-on-Demand Control-Flow Analysis within the ICFP Papers-track
- Presenter of SRC awards within the ICFP Papers-track
2025
ICFP
- Student Research Competition Chair in Organizing Committee
- Author of Call-Guarded Abstract Definitional Interpreters within the ICFP Papers-track
- Student Research Competition Chair in Program Committee within the ICFP Student Research Competition-track
- Session Chair of Algorithms (part of ICFP Papers)
- Student Research Competition Chair of SRC Awards within the ICFP Student Research Competition-track