Anton Podkopaev

According to our database, Anton Podkopaev authored at least 13 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

CoqPilot, a plugin for LLM-based generation of proofs.

Andrei Kozyrev, Gleb Solovev, Nikita Khramov, Anton Podkopaev

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2023

Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412).

Ori Lahav, Azalea Raad, Joseph Tassarotti, Viktor Vafeiadis, Anton Podkopaev

Dagstuhl Reports, 2023

2022

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

Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev

Proc. ACM Program. Lang., 2022

2021

A Survey of Programming Language Memory Models.

Evgenii Moiseenko, Anton Podkopaev, Dmitrij V. Koznov

Program. Comput. Softw., 2021

Making weak memory models fair.

Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis

Proc. ACM Program. Lang., 2021

2020

Reconciling Event Structures with Modern Multiprocessors (Artifact).

Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis

Dagstuhl Artifacts Ser., 2020

Repairing and mechanising the JavaScript relaxed memory model.

Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, Shu-yu Guo

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Promising 2.0: global optimizations in relaxed memory concurrency.

Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Reconciling Event Structures with Modern Multiprocessors.

Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Bridging the gap between programming languages and hardware weak memory models.

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

Proc. ACM Program. Lang., 2019

2017

Promising Compilation to ARMv8 POP.

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Operational Aspects of C/C++ Concurrency.

Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski

CoRR, 2016

2014

Polynomial-Time Optimal Pretty-Printing Combinators with Choice.

Anton Podkopaev, Dmitri Boulytchev

Proceedings of the Perspectives of System Informatics, 2014