Registered user since Sun 8 Nov 2020

Name:Artem Khyzha
Affiliation:Tel Aviv University
Research interests:Programming Languages, Formal Methods, Concurrency

Contributions

POPL 2021 Author of Taming x86-TSO Persistency within the POPL-track
SPLASH 2020 Author of Proving Highly-Concurrent Traversals Correct within the OOPSLA-track