BibTeX records: Anton Podkopaev

download as .bib file

@article{DBLP:journals/dagstuhl-reports/0001RTVP23,
  author       = {Ori Lahav and
                  Azalea Raad and
                  Joseph Tassarotti and
                  Viktor Vafeiadis and
                  Anton Podkopaev},
  title        = {Formal Methods for Correct Persistent Programming (Dagstuhl Seminar
                  23412)},
  journal      = {Dagstuhl Reports},
  volume       = {13},
  number       = {10},
  pages        = {50--64},
  year         = {2023},
  url          = {https://doi.org/10.4230/DagRep.13.10.50},
  doi          = {10.4230/DAGREP.13.10.50},
  timestamp    = {Wed, 10 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/0001RTVP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/JeffreyRBCKP22,
  author       = {Alan Jeffrey and
                  James Riely and
                  Mark Batty and
                  Simon Cooksey and
                  Ilya Kaysin and
                  Anton Podkopaev},
  title        = {The leaky semicolon: compositional semantic dependencies for relaxed-memory
                  concurrency},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{POPL}},
  pages        = {1--30},
  year         = {2022},
  url          = {https://doi.org/10.1145/3498716},
  doi          = {10.1145/3498716},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/JeffreyRBCKP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/LahavNOPV21,
  author       = {Ori Lahav and
                  Egor Namakonov and
                  Jonas Oberhauser and
                  Anton Podkopaev and
                  Viktor Vafeiadis},
  title        = {Making weak memory models fair},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{OOPSLA}},
  pages        = {1--27},
  year         = {2021},
  url          = {https://doi.org/10.1145/3485475},
  doi          = {10.1145/3485475},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LahavNOPV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pcs/MoiseenkoPK21,
  author       = {Evgenii Moiseenko and
                  Anton Podkopaev and
                  Dmitrij V. Koznov},
  title        = {A Survey of Programming Language Memory Models},
  journal      = {Program. Comput. Softw.},
  volume       = {47},
  number       = {6},
  pages        = {439--456},
  year         = {2021},
  url          = {https://doi.org/10.1134/S0361768821060050},
  doi          = {10.1134/S0361768821060050},
  timestamp    = {Thu, 30 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pcs/MoiseenkoPK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/darts/MoiseenkoPLMV20,
  author       = {Evgenii Moiseenko and
                  Anton Podkopaev and
                  Ori Lahav and
                  Orestis Melkonian and
                  Viktor Vafeiadis},
  title        = {Reconciling Event Structures with Modern Multiprocessors (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {6},
  number       = {2},
  pages        = {04:1--04:3},
  year         = {2020},
  url          = {https://doi.org/10.4230/DARTS.6.2.4},
  doi          = {10.4230/DARTS.6.2.4},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/MoiseenkoPLMV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/MoiseenkoPLMV19,
  author       = {Evgenii Moiseenko and
                  Anton Podkopaev and
                  Ori Lahav and
                  Orestis Melkonian and
                  Viktor Vafeiadis},
  editor       = {Robert Hirschfeld and
                  Tobias Pape},
  title        = {Reconciling Event Structures with Modern Multiprocessors},
  booktitle    = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
                  November 15-17, 2020, Berlin, Germany (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {166},
  pages        = {5:1--5:26},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.5},
  doi          = {10.4230/LIPICS.ECOOP.2020.5},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/MoiseenkoPLMV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/WattPPBDFPG20,
  author       = {Conrad Watt and
                  Christopher Pulte and
                  Anton Podkopaev and
                  Guillaume Barbier and
                  Stephen Dolan and
                  Shaked Flur and
                  Jean Pichon{-}Pharabod and
                  Shu{-}yu Guo},
  editor       = {Alastair F. Donaldson and
                  Emina Torlak},
  title        = {Repairing and mechanising the JavaScript relaxed memory model},
  booktitle    = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
                  Programming Language Design and Implementation, {PLDI} 2020, London,
                  UK, June 15-20, 2020},
  pages        = {346--361},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3385412.3385973},
  doi          = {10.1145/3385412.3385973},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/WattPPBDFPG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/LeeCPCHLV20,
  author       = {Sung{-}Hwan Lee and
                  Minki Cho and
                  Anton Podkopaev and
                  Soham Chakraborty and
                  Chung{-}Kil Hur and
                  Ori Lahav and
                  Viktor Vafeiadis},
  editor       = {Alastair F. Donaldson and
                  Emina Torlak},
  title        = {Promising 2.0: global optimizations in relaxed memory concurrency},
  booktitle    = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
                  Programming Language Design and Implementation, {PLDI} 2020, London,
                  UK, June 15-20, 2020},
  pages        = {362--376},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3385412.3386010},
  doi          = {10.1145/3385412.3386010},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/LeeCPCHLV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2005-10554,
  author       = {Conrad Watt and
                  Christopher Pulte and
                  Anton Podkopaev and
                  Guillaume Barbier and
                  Stephen Dolan and
                  Shaked Flur and
                  Jean Pichon{-}Pharabod and
                  Shu{-}yu Guo},
  title        = {Repairing and Mechanising the JavaScript Relaxed Memory Model},
  journal      = {CoRR},
  volume       = {abs/2005.10554},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.10554},
  eprinttype    = {arXiv},
  eprint       = {2005.10554},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-10554.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2012-01067,
  author       = {Ori Lahav and
                  Egor Namakonov and
                  Jonas Oberhauser and
                  Anton Podkopaev and
                  Viktor Vafeiadis},
  title        = {Making Weak Memory Models Fair},
  journal      = {CoRR},
  volume       = {abs/2012.01067},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.01067},
  eprinttype    = {arXiv},
  eprint       = {2012.01067},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-01067.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/PodkopaevLV19,
  author       = {Anton Podkopaev and
                  Ori Lahav and
                  Viktor Vafeiadis},
  title        = {Bridging the gap between programming languages and hardware weak memory
                  models},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{POPL}},
  pages        = {69:1--69:31},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290382},
  doi          = {10.1145/3290382},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/PodkopaevLV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1911-06567,
  author       = {Evgenii Moiseenko and
                  Anton Podkopaev and
                  Ori Lahav and
                  Orestis Melkonian and
                  Viktor Vafeiadis},
  title        = {Reconciling Event Structures with Modern Multiprocessors},
  journal      = {CoRR},
  volume       = {abs/1911.06567},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.06567},
  eprinttype    = {arXiv},
  eprint       = {1911.06567},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-06567.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1807-07892,
  author       = {Anton Podkopaev and
                  Ori Lahav and
                  Viktor Vafeiadis},
  title        = {Bridging the Gap Between Programming Languages and Hardware Weak Memory
                  Models},
  journal      = {CoRR},
  volume       = {abs/1807.07892},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.07892},
  eprinttype    = {arXiv},
  eprint       = {1807.07892},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-07892.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/PodkopaevLV17,
  author       = {Anton Podkopaev and
                  Ori Lahav and
                  Viktor Vafeiadis},
  editor       = {Peter M{\"{u}}ller},
  title        = {Promising Compilation to ARMv8 {POP}},
  booktitle    = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
                  June 19-23, 2017, Barcelona, Spain},
  series       = {LIPIcs},
  volume       = {74},
  pages        = {22:1--22:28},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.22},
  doi          = {10.4230/LIPICS.ECOOP.2017.22},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/PodkopaevLV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/PodkopaevSN16,
  author       = {Anton Podkopaev and
                  Ilya Sergey and
                  Aleksandar Nanevski},
  title        = {Operational Aspects of {C/C++} Concurrency},
  journal      = {CoRR},
  volume       = {abs/1606.01400},
  year         = {2016},
  url          = {http://arxiv.org/abs/1606.01400},
  eprinttype    = {arXiv},
  eprint       = {1606.01400},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PodkopaevSN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ershov/PodkopaevB14,
  author       = {Anton Podkopaev and
                  Dmitri Boulytchev},
  editor       = {Andrei Voronkov and
                  Irina B. Virbitskaite},
  title        = {Polynomial-Time Optimal Pretty-Printing Combinators with Choice},
  booktitle    = {Perspectives of System Informatics - 9th International Ershov Informatics
                  Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8974},
  pages        = {257--265},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-46823-4\_21},
  doi          = {10.1007/978-3-662-46823-4\_21},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ershov/PodkopaevB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.