![Joomy Korkut](https://popl24.sigplan.org/getProfileImage/joomykorkut/e28b663b-5432-4327-80fc-cae41df80898/small.jpg?1711485099000)
Registered user since Mon 13 Aug 2018
Name:Joomy Korkut
Country:United States
Affiliation:Bloomberg LP
Personal website: http://joomy.korkutblech.com/
X (Twitter): https://x.com/joomy
GitHub: https://github.com/joom
Research interests:compilers, type systems, formal verification, metaprogramming
Contributions
POPL 2024-profile
View general profile
View general profile