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 | Taming x86-TSO Persistency | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile