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	Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
ECOOP 2020	Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track
PLDI 2020	Author of Promising 2.0: Global Optimizations in Relaxed Memory Concurrency within the PLDI Research Papers-track Author of Repairing and Mechanising the JavaScript Relaxed Memory Model within the PLDI Research Papers-track
POPL 2019	Author of Bridging the Gap Between Programming Languages and Hardware Weak Memory Models within the Research Papers-track
ECOOP 2017	Author of Promising Compilation to ARMv8 POP within the ECOOP Research Papers-track
POPL 2016	Author of Operational Aspects of C/C++ Concurrency within the SRC-track