Concepedia

Anton Podkopaev

AP

Statistics

Publications

4

Citations

91

H-Index

4

Active since

2017

Affiliations

Max Planck Institute for Software Systems(Current)

National Research University Higher School of Economics

University of Cambridge

Anton Podkopaev is an author at Max Planck Institute for Software Systems specializing in parallel programming, hardware systems, and computational linguistics.

ORCID

Top concepts

Publications per year

2017–2022

4

Publications

4

Promising 2.0: global optimizations in relaxed memory concurrency

Sung-Hwan Lee, Minki Cho, Anton Podkopaev et al. · 2020 · 46 citations · Full text

The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency

Alan Jeffrey, James Riely, Mark Batty et al. · Proceedings of the ACM on Programming Languages · 2022 · 18 citations · Full text

, , +24

Repairing and mechanising the JavaScript relaxed memory model

Conrad Watt, Christopher Pulte, Anton Podkopaev et al. · 2020 · 17 citations · Full text

Promising Compilation to ARMv8 POP

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 10 citations · Full text

1–4 of 4