Anton Podkopaev

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 15

Top Topics

Programming Language

Semantic Dependencies

Denotational Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Ori Lahav, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, Anton Podkopaev
Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412). Dagstuhl Reports 13 (10) (2023)
Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency. Proc. ACM Program. Lang. 6 (POPL) (2022)
Evgenii Moiseenko, Anton Podkopaev, Dmitrij V. Koznov
A Survey of Programming Language Memory Models. Program. Comput. Softw. 47 (6) (2021)
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Making weak memory models fair. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Reconciling Event Structures with Modern Multiprocessors. ECOOP (2020)
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo
Repairing and Mechanising the JavaScript Relaxed Memory Model. CoRR (2020)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Reconciling Event Structures with Modern Multiprocessors (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo
Repairing and mechanising the JavaScript relaxed memory model. PLDI (2020)
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Making Weak Memory Models Fair. CoRR (2020)
Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis
Promising 2.0: global optimizations in relaxed memory concurrency. PLDI (2020)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Reconciling Event Structures with Modern Multiprocessors. CoRR (2019)
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
Bridging the gap between programming languages and hardware weak memory models. Proc. ACM Program. Lang. 3 (POPL) (2019)
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models. CoRR (2018)
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
Promising Compilation to ARMv8 POP. ECOOP (2017)
Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski
Operational Aspects of C/C++ Concurrency. CoRR (2016)
Anton Podkopaev, Dmitri Boulytchev
Polynomial-Time Optimal Pretty-Printing Combinators with Choice. Ershov Memorial Conference (2014)