SPLASH 2021 (series) / Ori Roth
Registered user since Thu 18 Apr 2019
Name:Ori Roth
Bio:
Ori Roth is a PhD student at the Technion—Israel Institute of Technology. His research interests include programming languages, software engineering, and automata theory.
Country:Israel
Affiliation:Technion
GitHub:https://github.com/OriRoth
Research interests:programming languages, software engineering, static analysis, compilation theory, automata theory
Contributions
| SPLASH 2021 | Study of the Subtyping Machine of Nominal Subtyping with Variance Study of the Subtyping Machine of Nominal Subtyping with Variance | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile