SPLASH 2020 (series) / Artem Khyzha
Not registered as user yet
Name: Artem Khyzha
Affiliation: Tel Aviv University
Contributions
| SPLASH 2020 | Author of Proving Highly-Concurrent Traversals Correct within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile