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