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