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

POPL 2022	Author of The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency within the POPL-track Committee Member in Selection Committee within the Student Research Competition-track
SPLASH 2021	Author of Making Weak Memory Models Fair within the OOPSLA-track
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