SPLASH 2020 (series) / Artem Khyzha
Registered user since Sun 8 Nov 2020
Name: Artem Khyzha
Affiliation: Tel Aviv University
Personal website: https://artkhyzha.github.io/
Research interests: Programming Languages, Formal Methods, Concurrency
Contributions
SPLASH 2020 | Proving Highly-Concurrent Traversals Correct | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2020-profile
View general profile
View general profile