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

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