Registered user since Tue 30 Jan 2024
Name:Benjamin Mikek
Affiliation:Georgia Institute of Technology
Personal website: https://mikekben.github.io/
GitHub: https://github.com/mikekben
Research interests:Programming Languages, Software Analysis
Contributions
2025
ICFP/SPLASH 2025-profile
View general profile
View general profile