Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Anton Podkopaev

Registered user since Wed 23 Dec 2015

Name:Anton Podkopaev
Country:Russia
Affiliation:MPI-SWS, NRU HSE, JetBrains Research
Personal website:http://podkopaev.net
Research interests:programming languages, weak memory models

Contributions

REMS-DeepSpec 2020 WebAssembly: sequential and concurrent semantics
PLDI 2020 Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
Repairing and Mechanising the JavaScript Relaxed Memory Model
Show activities from other conferences

PLDI 2020-profile
View general profile