Registered user since Wed 23 Dec 2015
Name:Anton Podkopaev
Country:Netherlands
Affiliation:JetBrains Research, Constructor University
Personal website: http://podkopaev.net
X (Twitter): https://x.com/inf_anlun
GitHub: https://github.com/anlun
Research interests:programming languages, weak memory models
Contributions
POPL 2024-profile
View general profile
View general profile