Anton Podkopaev -

Registered user since Wed 23 Dec 2015

Name: Anton Podkopaev

Country: Russia

Affiliation: HSE University, JetBrains Research

Personal website: http://podkopaev.net

Twitter: https://twitter.com/inf_anlun

GitHub: https://github.com/anlun

Research interests: programming languages, weak memory models

Contributions

PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
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