Anton Podkopaev

Registered user since Wed 23 Dec 2015

Name:Anton Podkopaev
Country:Russia
Affiliation:HSE University; JetBrains Research
Personal website:http://podkopaev.net
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