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