Joomy Korkut

Registered user since Mon 13 Aug 2018

Name:Joomy Korkut
Country:United States
Affiliation:Bloomberg LP
Research interests:compilers, type systems, formal verification, metaprogramming

Contributions

Show activities from other conferences

SPLASH 2024-profile
View general profile