• Sign in
  • Sign up
conf.researchr.org / Anton Podkopaev
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2016 profile
  • POPL 2019 profile
  • SPLASH 2020 profile
Anton Podkopaev

Registered user since Wed 23 Dec 2015

Name: Anton Podkopaev

Country: Russia

Affiliation: NRU HSE, JetBrains Research

Personal website: http://podkopaev.net

Research interests: programming languages, weak memory models

Contributions

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

Share
xSun 17 Jan 20:18
using conf.researchr.org (v1.40.0)
Support page
Sign Up