
Registered user since Sun 22 Dec 2019
Name:Ilya Kaysin
Country:Russia
Affiliation:National Research University Higher School of Economics, JetBrains Research
Contributions
POPL 2020 | Mechanization of Data Race Freedom guarantee proofs for Weakestmo memory model | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile