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
- HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect Handlers
- 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
- Demand-on-Demand Control-Flow Analysis
Using general profile