Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Viktor Vafeiadis
@inproceedings{DBLP:conf/esop/StefanescoRV24,
author = {L{\'{e}}o Stefanesco and
Azalea Raad and
Viktor Vafeiadis},
editor = {Stephanie Weirich},
title = {Specifying and Verifying Persistent Libraries},
booktitle = {Programming Languages and Systems - 33rd European Symposium on Programming,
{ESOP} 2024, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg,
April 6-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14577},
pages = {185--211},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57267-8\_8},
doi = {10.1007/978-3-031-57267-8\_8},
timestamp = {Sun, 14 Apr 2024 18:32:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/StefanescoRV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KokologiannakisMV24,
author = {Michalis Kokologiannakis and
Rupak Majumdar and
Viktor Vafeiadis},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Enhancing GenMC's Usability and Performance},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {66--84},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_4},
doi = {10.1007/978-3-031-57249-4\_4},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KokologiannakisMV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KokologiannakisLV23,
author = {Michalis Kokologiannakis and
Ori Lahav and
Viktor Vafeiadis},
title = {Kater: Automating Weak Memory Model Metatheory and Consistency Checking},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {544--572},
year = {2023},
url = {https://doi.org/10.1145/3571212},
doi = {10.1145/3571212},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KokologiannakisLV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DOsualdoRV23,
author = {Emanuele D'Osualdo and
Azalea Raad and
Viktor Vafeiadis},
title = {The Path to Durable Linearizability},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {748--774},
year = {2023},
url = {https://doi.org/10.1145/3571219},
doi = {10.1145/3571219},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/DOsualdoRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BeckBSCBFV0H23,
author = {Martin Beck and
Koustubha Bhat and
Lazar Stricevic and
Geng Chen and
Diogo Behrens and
Ming Fu and
Viktor Vafeiadis and
Haibo Chen and
Hermann H{\"{a}}rtig},
editor = {Tor M. Aamodt and
Natalie D. Enright Jerger and
Michael M. Swift},
title = {AtoMig: Automatically Migrating Millions Lines of Code from {TSO}
to {WMM}},
booktitle = {Proceedings of the 28th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 2,
{ASPLOS} 2023, Vancouver, BC, Canada, March 25-29, 2023},
pages = {61--73},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575693.3579849},
doi = {10.1145/3575693.3579849},
timestamp = {Thu, 02 Feb 2023 08:17:52 +0100},
biburl = {https://dblp.org/rec/conf/asplos/BeckBSCBFV0H23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KokologiannakisMV23,
author = {Michalis Kokologiannakis and
Iason Marmanis and
Viktor Vafeiadis},
editor = {Constantin Enea and
Akash Lal},
title = {Unblocking Dynamic Partial Order Reduction},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13964},
pages = {230--250},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37706-8\_12},
doi = {10.1007/978-3-031-37706-8\_12},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/KokologiannakisMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MarmanisV23,
author = {Iason Marmanis and
Viktor Vafeiadis},
editor = {Alexander Nadel and
Kristin Yvonne Rozier},
title = {Optimal Bounded Partial Order Reduction},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
October 24-27, 2023},
pages = {86--91},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_16},
doi = {10.34727/2023/ISBN.978-3-85448-060-0\_16},
timestamp = {Wed, 13 Dec 2023 14:38:51 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/MarmanisV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/WangTFBSLLVH023,
author = {Jiawei Wang and
Bohdan Trach and
Ming Fu and
Diogo Behrens and
Jonathan Schwender and
Yutao Liu and
Jitang Lei and
Viktor Vafeiadis and
Hermann H{\"{a}}rtig and
Haibo Chen},
editor = {Roxana Geambasu and
Ed Nightingale},
title = {BWoS: Formally Verified Block-based Work Stealing for Parallel Processing},
booktitle = {17th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2023, Boston, MA, USA, July 10-12, 2023},
pages = {833--850},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/osdi23/presentation/wang-jiawei},
timestamp = {Sat, 15 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/WangTFBSLLVH023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MarmanisKV23,
author = {Iason Marmanis and
Michalis Kokologiannakis and
Viktor Vafeiadis},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Reconciling Preemption Bounding with {DPOR}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13993},
pages = {85--104},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30823-9\_5},
doi = {10.1007/978-3-031-30823-9\_5},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MarmanisKV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-01614,
author = {L{\'{e}}o Stefanesco and
Azalea Raad and
Viktor Vafeiadis},
title = {Specifying and Verifying Persistent Libraries},
journal = {CoRR},
volume = {abs/2306.01614},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.01614},
doi = {10.48550/ARXIV.2306.01614},
eprinttype = {arXiv},
eprint = {2306.01614},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-01614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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/MoiseenkoKV22,
author = {Evgenii Moiseenko and
Michalis Kokologiannakis and
Viktor Vafeiadis},
title = {Model checking for a multi-execution memory model},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {758--785},
year = {2022},
url = {https://doi.org/10.1145/3563315},
doi = {10.1145/3563315},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MoiseenkoKV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Kokologiannakis22,
author = {Michalis Kokologiannakis and
Iason Marmanis and
Vladimir Gladstein and
Viktor Vafeiadis},
title = {Truly stateless, optimal dynamic partial order reduction},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--28},
year = {2022},
url = {https://doi.org/10.1145/3498711},
doi = {10.1145/3498711},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/Kokologiannakis22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RaadMV22,
author = {Azalea Raad and
Luc Maranget and
Viktor Vafeiadis},
title = {Extending Intel-x86 consistency and persistency: formalising the semantics
of Intel-x86 memory types and non-temporal stores},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--31},
year = {2022},
url = {https://doi.org/10.1145/3498683},
doi = {10.1145/3498683},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/RaadMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/MarmanisV22,
author = {Iason Marmanis and
Viktor Vafeiadis},
editor = {Akash Lal and
Stefano Tonetta},
title = {SMT-Based Verification of Persistency Invariants of Px86 Programs},
booktitle = {Verified Software. Theories, Tools and Experiments - 14th International
Conference, {VSTTE} 2022, Trento, Italy, October 17-18, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13800},
pages = {92--110},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25803-9\_6},
doi = {10.1007/978-3-031-25803-9\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/MarmanisV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-07631,
author = {Emanuele D'Osualdo and
Azalea Raad and
Viktor Vafeiadis},
title = {The Path to Durable Linearizability},
journal = {CoRR},
volume = {abs/2211.07631},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.07631},
doi = {10.48550/ARXIV.2211.07631},
eprinttype = {arXiv},
eprint = {2211.07631},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-07631.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/pacmpl/Kokologiannakis21,
author = {Michalis Kokologiannakis and
Ilya Kaysin and
Azalea Raad and
Viktor Vafeiadis},
title = {PerSeVerE: persistency semantics for verification under ext4},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3434324},
doi = {10.1145/3434324},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/Kokologiannakis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/OberhauserCBFPO21,
author = {Jonas Oberhauser and
Rafael Lourenco de Lima Chehab and
Diogo Behrens and
Ming Fu and
Antonio Paolillo and
Lilith Oberhauser and
Koustubha Bhat and
Yuzhong Wen and
Haibo Chen and
Jaeho Kim and
Viktor Vafeiadis},
editor = {Tim Sherwood and
Emery D. Berger and
Christos Kozyrakis},
title = {VSync: push-button verification and optimization for synchronization
primitives on weak memory models},
booktitle = {{ASPLOS} '21: 26th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Virtual Event,
USA, April 19-23, 2021},
pages = {530--545},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3445814.3446748},
doi = {10.1145/3445814.3446748},
timestamp = {Sat, 30 Sep 2023 09:34:47 +0200},
biburl = {https://dblp.org/rec/conf/asplos/OberhauserCBFPO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Vafeiadis21,
author = {Viktor Vafeiadis},
editor = {Fabio Gadducci and
Alexandra Silva},
title = {The Challenges of Weak Persistency (Invited Talk)},
booktitle = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2021, August 31 to September 3, 2021, Salzburg, Austria},
series = {LIPIcs},
volume = {211},
pages = {4:1--4:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2021.4},
doi = {10.4230/LIPICS.CALCO.2021.4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Vafeiadis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Kokologiannakis21,
author = {Michalis Kokologiannakis and
Viktor Vafeiadis},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {GenMC: {A} Model Checker for Weak Memory Models},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {427--440},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_20},
doi = {10.1007/978-3-030-81685-8\_20},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Kokologiannakis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AbdullaAGKV21,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Adwait Godbole and
S. Krishna and
Viktor Vafeiadis},
editor = {Nobuko Yoshida},
title = {The Decidability of Verification under {PS} 2.0},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {1--29},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_1},
doi = {10.1007/978-3-030-72019-3\_1},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/AbdullaAGKV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Kokologiannakis21,
author = {Michalis Kokologiannakis and
Xiaowei Ren and
Viktor Vafeiadis},
title = {Dynamic Partial Order Reductions for Spinloops},
booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
CT, USA, October 19-22, 2021},
pages = {163--172},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_25},
doi = {10.34727/2021/ISBN.978-3-85448-046-4\_25},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Kokologiannakis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Kokologiannakis21,
author = {Michalis Kokologiannakis and
Viktor Vafeiadis},
editor = {Karima Echihabi and
Roland Meyer},
title = {{BAM:} Efficient Model Checking for Barriers},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {223--239},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_16},
doi = {10.1007/978-3-030-91014-3\_16},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Kokologiannakis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/OberhauserOPBFV21,
author = {Jonas Oberhauser and
Lilith Oberhauser and
Antonio Paolillo and
Diogo Behrens and
Ming Fu and
Viktor Vafeiadis},
editor = {Karima Echihabi and
Roland Meyer},
title = {Verifying and Optimizing the {HMCS} Lock for Arm Servers},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {240--260},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_17},
doi = {10.1007/978-3-030-91014-3\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/OberhauserOPBFV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06590,
author = {Jonas Oberhauser and
Rafael Lourenco de Lima Chehab and
Diogo Behrens and
Ming Fu and
Antonio Paolillo and
Lilith Oberhauser and
Koustubha Bhat and
Yuzhong Wen and
Haibo Chen and
Jaeho Kim and
Viktor Vafeiadis},
title = {VSync: Push-Button Verification and Optimization for Synchronization
Primitives on Weak Memory Models (Technical Report)},
journal = {CoRR},
volume = {abs/2102.06590},
year = {2021},
url = {https://arxiv.org/abs/2102.06590},
eprinttype = {arXiv},
eprint = {2102.06590},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06590.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}
}
@article{DBLP:journals/pacmpl/RaadLV20,
author = {Azalea Raad and
Ori Lahav and
Viktor Vafeiadis},
title = {Persistent Owicki-Gries reasoning: a program logic for reasoning about
persistent programs on Intel-x86},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {151:1--151:28},
year = {2020},
url = {https://doi.org/10.1145/3428219},
doi = {10.1145/3428219},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/RaadLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RaadWNV20,
author = {Azalea Raad and
John Wickerson and
Gil Neiger and
Viktor Vafeiadis},
title = {Persistency semantics of the Intel-x86 architecture},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {11:1--11:31},
year = {2020},
url = {https://doi.org/10.1145/3371079},
doi = {10.1145/3371079},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/RaadWNV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/Kokologiannakis20,
author = {Michalis Kokologiannakis and
Viktor Vafeiadis},
editor = {James R. Larus and
Luis Ceze and
Karin Strauss},
title = {{HMC:} Model Checking for Hardware Memory Models},
booktitle = {{ASPLOS} '20: Architectural Support for Programming Languages and
Operating Systems, Lausanne, Switzerland, March 16-20, 2020},
pages = {1157--1171},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373376.3378480},
doi = {10.1145/3373376.3378480},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/Kokologiannakis20.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/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-2007-09944,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Adwait Godbole and
Shankaranarayanan Krishna and
Viktor Vafeiadis},
title = {The Decidability of Verification under Promising 2.0},
journal = {CoRR},
volume = {abs/2007.09944},
year = {2020},
url = {https://arxiv.org/abs/2007.09944},
eprinttype = {arXiv},
eprint = {2007.09944},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-09944.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/RaadWV19,
author = {Azalea Raad and
John Wickerson and
Viktor Vafeiadis},
title = {Weak persistency semantics from the ground up: formalising the persistency
semantics of ARMv8 and transactional models},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {135:1--135:27},
year = {2019},
url = {https://doi.org/10.1145/3360561},
doi = {10.1145/3360561},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/RaadWV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Kokologiannakis19,
author = {Michalis Kokologiannakis and
Azalea Raad and
Viktor Vafeiadis},
title = {Effective lock handling in stateless model checking},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {173:1--173:26},
year = {2019},
url = {https://doi.org/10.1145/3360599},
doi = {10.1145/3360599},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/Kokologiannakis19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RaadDRLV19,
author = {Azalea Raad and
Marko Doko and
Lovro Rozic and
Ori Lahav and
Viktor Vafeiadis},
title = {On library correctness under weak memory consistency: specifying and
verifying concurrent libraries under declarative consistency models},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {68:1--68:31},
year = {2019},
url = {https://doi.org/10.1145/3290381},
doi = {10.1145/3290381},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/RaadDRLV19.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/pacmpl/ChakrabortyV19,
author = {Soham Chakraborty and
Viktor Vafeiadis},
title = {Grounding thin-air reads with event structures},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {70:1--70:28},
year = {2019},
url = {https://doi.org/10.1145/3290383},
doi = {10.1145/3290383},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ChakrabortyV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Kokologiannakis19,
author = {Michalis Kokologiannakis and
Azalea Raad and
Viktor Vafeiadis},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Model checking for weakly consistent libraries},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {96--110},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314609},
doi = {10.1145/3314221.3314609},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Kokologiannakis19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RaadLV19,
author = {Azalea Raad and
Ori Lahav and
Viktor Vafeiadis},
editor = {Constantin Enea and
Ruzica Piskac},
title = {On the Semantics of Snapshot Isolation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {1--23},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_1},
doi = {10.1007/978-3-030-11245-5\_1},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/RaadLV19.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/ijpp/HeVQF18,
author = {Mengda He and
Viktor Vafeiadis and
Shengchao Qin and
Jo{\~{a}}o F. Ferreira},
title = {{GPS+:} Reasoning About Fences and Relaxed Atomics},
journal = {Int. J. Parallel Program.},
volume = {46},
number = {6},
pages = {1157--1183},
year = {2018},
url = {https://doi.org/10.1007/s10766-017-0518-x},
doi = {10.1007/S10766-017-0518-X},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/HeVQF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/RaadV18,
author = {Azalea Raad and
Viktor Vafeiadis},
title = {Persistence semantics for weak memory: integrating epoch persistency
with the {TSO} memory model},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {137:1--137:27},
year = {2018},
url = {https://doi.org/10.1145/3276507},
doi = {10.1145/3276507},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/RaadV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Kokologiannakis18,
author = {Michalis Kokologiannakis and
Ori Lahav and
Konstantinos Sagonas and
Viktor Vafeiadis},
title = {Effective stateless model checking for {C/C++} concurrency},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {17:1--17:32},
year = {2018},
url = {https://doi.org/10.1145/3158105},
doi = {10.1145/3158105},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/Kokologiannakis18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SvendsenPDLV18,
author = {Kasper Svendsen and
Jean Pichon{-}Pharabod and
Marko Doko and
Ori Lahav and
Viktor Vafeiadis},
editor = {Amal Ahmed},
title = {A Separation Logic for a Promising Semantics},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {357--384},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_13},
doi = {10.1007/978-3-319-89884-1\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/SvendsenPDLV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RaadLV18,
author = {Azalea Raad and
Ori Lahav and
Viktor Vafeiadis},
editor = {Amal Ahmed},
title = {On Parallel Snapshot Isolation and Release/Acquire Consistency},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {940--967},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_33},
doi = {10.1007/978-3-319-89884-1\_33},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/RaadLV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-06196,
author = {Azalea Raad and
Ori Lahav and
Viktor Vafeiadis},
title = {On the Semantics of Snapshot Isolation},
journal = {CoRR},
volume = {abs/1805.06196},
year = {2018},
url = {http://arxiv.org/abs/1805.06196},
eprinttype = {arXiv},
eprint = {1805.06196},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-06196.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}
}
@article{DBLP:journals/darts/KaiserDDLV17,
author = {Jan{-}Oliver Kaiser and
Hoang{-}Hai Dang and
Derek Dreyer and
Ori Lahav and
Viktor Vafeiadis},
title = {Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency
in Iris (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {15:1--15:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.15},
doi = {10.4230/DARTS.3.2.15},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KaiserDDLV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Vafeiadis17,
author = {Viktor Vafeiadis},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Program Verification Under Weak Memory Consistency Using Separation
Logic},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {30--46},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_2},
doi = {10.1007/978-3-319-63387-9\_2},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/Vafeiadis17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/ChakrabortyV17,
author = {Soham Chakraborty and
Viktor Vafeiadis},
editor = {Vijay Janapa Reddi and
Aaron Smith and
Lingjia Tang},
title = {Formalizing the concurrency semantics of an {LLVM} fragment},
booktitle = {Proceedings of the 2017 International Symposium on Code Generation
and Optimization, {CGO} 2017, Austin, TX, USA, February 4-8, 2017},
pages = {100--110},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3049844},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/ChakrabortyV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KaiserDDLV17,
author = {Jan{-}Oliver Kaiser and
Hoang{-}Hai Dang and
Derek Dreyer and
Ori Lahav and
Viktor Vafeiadis},
editor = {Peter M{\"{u}}ller},
title = {Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency
in Iris},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {17:1--17:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.17},
doi = {10.4230/LIPICS.ECOOP.2017.17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/KaiserDDLV17.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}
}
@inproceedings{DBLP:conf/esop/DokoV17,
author = {Marko Doko and
Viktor Vafeiadis},
editor = {Hongseok Yang},
title = {Tackling Real-Life Relaxed Concurrency with {FSL++}},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {448--475},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_17},
doi = {10.1007/978-3-662-54434-1\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/DokoV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LahavVKHD17,
author = {Ori Lahav and
Viktor Vafeiadis and
Jeehoon Kang and
Chung{-}Kil Hur and
Derek Dreyer},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Repairing sequential consistency in {C/C++11}},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {618--632},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062352},
doi = {10.1145/3062341.3062352},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LahavVKHD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KangHLVD17,
author = {Jeehoon Kang and
Chung{-}Kil Hur and
Ori Lahav and
Viktor Vafeiadis and
Derek Dreyer},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {A promising semantics for relaxed-memory concurrency},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {175--189},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009850},
doi = {10.1145/3009837.3009850},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/KangHLVD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2017,
editor = {Yves Bertot and
Viktor Vafeiadis},
title = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018610},
doi = {10.1145/3018610},
isbn = {978-1-4503-4705-1},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/Balegas0NPCDFGL16,
author = {Valter Balegas and
Cheng Li and
Mahsa Najafzadeh and
Daniel Porto and
Allen Clement and
S{\'{e}}rgio Duarte and
Carla Ferreira and
Johannes Gehrke and
Jo{\~{a}}o Leit{\~{a}}o and
Nuno M. Pregui{\c{c}}a and
Rodrigo Rodrigues and
Marc Shapiro and
Viktor Vafeiadis},
title = {Geo-Replication: Fast If Possible, Consistent If Necessary},
journal = {{IEEE} Data Eng. Bull.},
volume = {39},
number = {1},
pages = {81--92},
year = {2016},
url = {http://sites.computer.org/debull/A16mar/p81.pdf},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/Balegas0NPCDFGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/ChakrabortyV16,
author = {Soham Chakraborty and
Viktor Vafeiadis},
editor = {Bj{\"{o}}rn Franke and
Youfeng Wu and
Fabrice Rastello},
title = {Validating optimizations of concurrent {C/C++} programs},
booktitle = {Proceedings of the 2016 International Symposium on Code Generation
and Optimization, {CGO} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {216--226},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2854038.2854051},
doi = {10.1145/2854038.2854051},
timestamp = {Sun, 08 Aug 2021 01:40:48 +0200},
biburl = {https://dblp.org/rec/conf/cgo/ChakrabortyV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LahavV16,
author = {Ori Lahav and
Viktor Vafeiadis},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Explaining Relaxed Memory Models with Program Transformations},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {479--495},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_29},
doi = {10.1007/978-3-319-48989-6\_29},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LahavV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/HeVQF16,
author = {Mengda He and
Viktor Vafeiadis and
Shengchao Qin and
Jo{\~{a}}o F. Ferreira},
title = {Reasoning about Fences and Relaxed Atomics},
booktitle = {24th Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2016, Heraklion, Crete, Greece,
February 17-19, 2016},
pages = {520--527},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/PDP.2016.103},
doi = {10.1109/PDP.2016.103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/HeVQF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KangKHDV16,
author = {Jeehoon Kang and
Yoonseung Kim and
Chung{-}Kil Hur and
Derek Dreyer and
Viktor Vafeiadis},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Lightweight verification of separate compilation},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {178--190},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837642},
doi = {10.1145/2837614.2837642},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/KangKHDV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LahavGV16,
author = {Ori Lahav and
Nick Giannarakis and
Viktor Vafeiadis},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Taming release-acquire consistency},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {649--662},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837643},
doi = {10.1145/2837614.2837643},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/LahavGV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DokoV16,
author = {Marko Doko and
Viktor Vafeiadis},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {A Program Logic for {C11} Memory Fences},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {413--430},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_20},
doi = {10.1007/978-3-662-49122-5\_20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DokoV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChakrabortyHSV15,
author = {Soham Chakraborty and
Thomas A. Henzinger and
Ali Sezgin and
Viktor Vafeiadis},
title = {Aspect-oriented linearizability proofs},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {1},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(1:20)2015},
doi = {10.2168/LMCS-11(1:20)2015},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChakrabortyHSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ZilianiDKNV15,
author = {Beta Ziliani and
Derek Dreyer and
Neelakantan R. Krishnaswami and
Aleksandar Nanevski and
Viktor Vafeiadis},
title = {Mtac: {A} monad for typed tactic programming in Coq},
journal = {J. Funct. Program.},
volume = {25},
year = {2015},
url = {https://doi.org/10.1017/S0956796815000118},
doi = {10.1017/S0956796815000118},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ZilianiDKNV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GavranNKMV15,
author = {Ivan Gavran and
Filip Niksic and
Aditya Kanade and
Rupak Majumdar and
Viktor Vafeiadis},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Rely/Guarantee Reasoning for Asynchronous Programs},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {483--496},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.483},
doi = {10.4230/LIPICS.CONCUR.2015.483},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/GavranNKMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Vafeiadis15,
author = {Viktor Vafeiadis},
editor = {Xavier Leroy and
Alwen Tiu},
title = {Formal Reasoning about the {C11} Weak Memory Model},
booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
{CPP} 2015, Mumbai, India, January 15-17, 2015},
pages = {1--2},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676724.2693181},
doi = {10.1145/2676724.2693181},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/Vafeiadis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/JiaLV15,
author = {Xiao Jia and
Wei Li and
Viktor Vafeiadis},
editor = {Xavier Leroy and
Alwen Tiu},
title = {Proving Lock-Freedom Easily and Automatically},
booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
{CPP} 2015, Mumbai, India, January 15-17, 2015},
pages = {119--127},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676724.2693179},
doi = {10.1145/2676724.2693179},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/JiaLV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KloosMV15,
author = {Johannes Kloos and
Rupak Majumdar and
Viktor Vafeiadis},
editor = {John Tang Boyland},
title = {Asynchronous Liquid Separation Types},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {396--420},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.396},
doi = {10.4230/LIPICS.ECOOP.2015.396},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/KloosMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LahavV15,
author = {Ori Lahav and
Viktor Vafeiadis},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Owicki-Gries Reasoning for Weak Memory Models},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {311--323},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_25},
doi = {10.1007/978-3-662-47666-6\_25},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LahavV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NeisHKMDV15,
author = {Georg Neis and
Chung{-}Kil Hur and
Jan{-}Oliver Kaiser and
Craig McLaughlin and
Derek Dreyer and
Viktor Vafeiadis},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Pilsner: a compositionally verified compiler for a higher-order imperative
language},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {166--178},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784764},
doi = {10.1145/2784731.2784764},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/NeisHKMDV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TassarottiDV15,
author = {Joseph Tassarotti and
Derek Dreyer and
Viktor Vafeiadis},
editor = {David Grove and
Stephen M. Blackburn},
title = {Verifying read-copy-update in a logic for weak memory},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {110--120},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737992},
doi = {10.1145/2737924.2737992},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TassarottiDV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KangHMGZV15,
author = {Jeehoon Kang and
Chung{-}Kil Hur and
William Mansky and
Dmitri Garbuzov and
Steve Zdancewic and
Viktor Vafeiadis},
editor = {David Grove and
Stephen M. Blackburn},
title = {A formal {C} memory model supporting integer-pointer casts},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {326--335},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2738005},
doi = {10.1145/2737924.2738005},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KangHMGZV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VafeiadisBCMN15,
author = {Viktor Vafeiadis and
Thibaut Balabonski and
Soham Chakraborty and
Robin Morisset and
Francesco Zappa Nardelli},
editor = {Sriram K. Rajamani and
David Walker},
title = {Common Compiler Optimisations are Invalid in the {C11} Memory Model
and what we can do about it},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {209--220},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676995},
doi = {10.1145/2676726.2676995},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/VafeiadisBCMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/HemedRV15,
author = {Nir Hemed and
Noam Rinetzky and
Viktor Vafeiadis},
editor = {Yoram Moses},
title = {Modular Verification of Concurrency-Aware Linearizability},
booktitle = {Distributed Computing - 29th International Symposium, {DISC} 2015,
Tokyo, Japan, October 7-9, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9363},
pages = {371--387},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48653-5\_25},
doi = {10.1007/978-3-662-48653-5\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/HemedRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Vafeiadis15,
author = {Viktor Vafeiadis},
title = {Separation logic for weak memory models},
booktitle = {Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL
2015, Mumbai, India, January 14, 2015},
pages = {11:1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2792434.2792445},
doi = {10.1145/2792434.2792445},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Vafeiadis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbdullaG0V15,
author = {Parosh Aziz Abdulla and
Fabio Gadducci and
Barbara K{\"{o}}nig and
Viktor Vafeiadis},
title = {Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)},
journal = {Dagstuhl Reports},
volume = {5},
number = {11},
pages = {1--28},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.11.1},
doi = {10.4230/DAGREP.5.11.1},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbdullaG0V15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TuronVD14,
author = {Aaron Turon and
Viktor Vafeiadis and
Derek Dreyer},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {{GPS:} navigating weak memory with ghosts, protocols, and separation},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {691--707},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660243},
doi = {10.1145/2660193.2660243},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TuronVD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/0001LCPRV14,
author = {Cheng Li and
Jo{\~{a}}o Leit{\~{a}}o and
Allen Clement and
Nuno M. Pregui{\c{c}}a and
Rodrigo Rodrigues and
Viktor Vafeiadis},
editor = {Garth Gibson and
Nickolai Zeldovich},
title = {Automating the Choice of Consistency Levels in Replicated Systems},
booktitle = {2014 {USENIX} Annual Technical Conference, {USENIX} {ATC} '14, Philadelphia,
PA, USA, June 19-20, 2014},
pages = {281--292},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/li\_cheng\_2},
timestamp = {Mon, 01 Feb 2021 08:43:38 +0100},
biburl = {https://dblp.org/rec/conf/usenix/0001LCPRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SevcikVNJS13,
author = {Jaroslav Sevc{\'{\i}}k and
Viktor Vafeiadis and
Francesco Zappa Nardelli and
Suresh Jagannathan and
Peter Sewell},
title = {CompCertTSO: {A} Verified Compiler for Relaxed-Memory Concurrency},
journal = {J. {ACM}},
volume = {60},
number = {3},
pages = {22:1--22:50},
year = {2013},
url = {https://doi.org/10.1145/2487241.2487248},
doi = {10.1145/2487241.2487248},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/SevcikVNJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HenzingerSV13,
author = {Thomas A. Henzinger and
Ali Sezgin and
Viktor Vafeiadis},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Aspect-Oriented Linearizability Proofs},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {242--256},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_18},
doi = {10.1007/978-3-642-40184-8\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/HenzingerSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZilianiDKNV13,
author = {Beta Ziliani and
Derek Dreyer and
Neelakantan R. Krishnaswami and
Aleksandar Nanevski and
Viktor Vafeiadis},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Mtac: a monad for typed tactic programming in Coq},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {87--100},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500579},
doi = {10.1145/2500365.2500579},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ZilianiDKNV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Vafeiadis13,
author = {Viktor Vafeiadis},
editor = {Sandrine Blazy and
Christine Paulin{-}Mohring and
David Pichardie},
title = {Adjustable References},
booktitle = {Interactive Theorem Proving - 4th International Conference, {ITP}
2013, Rennes, France, July 22-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7998},
pages = {328--337},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39634-2\_24},
doi = {10.1007/978-3-642-39634-2\_24},
timestamp = {Wed, 25 Sep 2019 18:17:56 +0200},
biburl = {https://dblp.org/rec/conf/itp/Vafeiadis13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/VafeiadisN13,
author = {Viktor Vafeiadis and
Chinmay Narayan},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Relaxed separation logic: a program logic for {C11} concurrency},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {867--884},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509532},
doi = {10.1145/2509136.2509532},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/VafeiadisN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HurNDV13,
author = {Chung{-}Kil Hur and
Georg Neis and
Derek Dreyer and
Viktor Vafeiadis},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {The power of parameterization in coinductive proof},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {193--206},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429093},
doi = {10.1145/2429069.2429093},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/HurNDV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ZenginV13,
author = {Mustafa Zengin and
Viktor Vafeiadis},
title = {A Programming Language Approach to Fault Tolerance for Fork-Join Parallelism},
booktitle = {Seventh International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2013, 1-3 July 2013, Birmingham, {UK}},
pages = {105--112},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TASE.2013.22},
doi = {10.1109/TASE.2013.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/ZenginV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HurDNV12,
author = {Chung{-}Kil Hur and
Derek Dreyer and
Georg Neis and
Viktor Vafeiadis},
editor = {John Field and
Michael Hicks},
title = {The marriage of bisimulations and Kripke logical relations},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {59--72},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103666},
doi = {10.1145/2103656.2103666},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/HurDNV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HurDV11,
author = {Chung{-}Kil Hur and
Derek Dreyer and
Viktor Vafeiadis},
title = {Separation Logic in the Presence of Garbage Collection},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {247--256},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.46},
doi = {10.1109/LICS.2011.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HurDV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SevcikVNJS11,
author = {Jaroslav Sevc{\'{\i}}k and
Viktor Vafeiadis and
Francesco Zappa Nardelli and
Suresh Jagannathan and
Peter Sewell},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Relaxed-memory concurrency and verified compilation},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {43--54},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926393},
doi = {10.1145/1926385.1926393},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/SevcikVNJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/VafeiadisN11,
author = {Viktor Vafeiadis and
Francesco Zappa Nardelli},
editor = {Eran Yahav},
title = {Verifying Fence Elimination Optimisations},
booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
pages = {146--162},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7\_14},
doi = {10.1007/978-3-642-23702-7\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/VafeiadisN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Vafeiadis11,
author = {Viktor Vafeiadis},
editor = {Michael W. Mislove and
Jo{\"{e}}l Ouaknine},
title = {Concurrent Separation Logic and Operational Semantics},
booktitle = {Twenty-seventh Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2011, Pittsburgh, PA, USA, May 25-28, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {276},
pages = {335--351},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.09.029},
doi = {10.1016/J.ENTCS.2011.09.029},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Vafeiadis11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Vafeiadis10,
author = {Viktor Vafeiadis},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Automatically Proving Linearizability},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {450--464},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_40},
doi = {10.1007/978-3-642-14295-6\_40},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Vafeiadis10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Dinsdale-YoungDGPV10,
author = {Thomas Dinsdale{-}Young and
Mike Dodds and
Philippa Gardner and
Matthew J. Parkinson and
Viktor Vafeiadis},
editor = {Theo D'Hondt},
title = {Concurrent Abstract Predicates},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {504--528},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_24},
doi = {10.1007/978-3-642-14107-2\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Dinsdale-YoungDGPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NanevskiVB10,
author = {Aleksandar Nanevski and
Viktor Vafeiadis and
Josh Berdine},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Structuring the verification of heap-manipulating programs},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {261--274},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706331},
doi = {10.1145/1706299.1706331},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/NanevskiVB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Vafeiadis10,
author = {Viktor Vafeiadis},
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {RGSep Action Inference},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {345--361},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2\_25},
doi = {10.1007/978-3-642-11319-2\_25},
timestamp = {Sat, 19 Oct 2019 20:29:32 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Vafeiadis10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/CalcagnoDV09,
author = {Cristiano Calcagno and
Dino Distefano and
Viktor Vafeiadis},
editor = {Zhenjiang Hu},
title = {Bi-abductive Resource Invariant Synthesis},
booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
Seoul, Korea, December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5904},
pages = {259--274},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10672-9\_19},
doi = {10.1007/978-3-642-10672-9\_19},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/CalcagnoDV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DoddsFPV09,
author = {Mike Dodds and
Xinyu Feng and
Matthew J. Parkinson and
Viktor Vafeiadis},
editor = {Giuseppe Castagna},
title = {Deny-Guarantee Reasoning},
booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
{ESOP} 2009, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5502},
pages = {363--377},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00590-9\_26},
doi = {10.1007/978-3-642-00590-9\_26},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/DoddsFPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookGMRSSV09,
author = {Byron Cook and
Ashutosh Gupta and
Stephen Magill and
Andrey Rybalchenko and
Jir{\'{\i}} Simsa and
Satnam Singh and
Viktor Vafeiadis},
title = {Finding heap-bounds for hardware synthesis},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {205--212},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351120},
doi = {10.1109/FMCAD.2009.5351120},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CookGMRSSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GotsmanCPV09,
author = {Alexey Gotsman and
Byron Cook and
Matthew J. Parkinson and
Viktor Vafeiadis},
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {Proving that non-blocking algorithms don't block},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
21-23, 2009},
pages = {16--28},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480881.1480886},
doi = {10.1145/1480881.1480886},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/GotsmanCPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Vafeiadis09,
author = {Viktor Vafeiadis},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {Shape-Value Abstraction for Verifying Linearizability},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {335--348},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_27},
doi = {10.1007/978-3-540-93900-9\_27},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Vafeiadis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Vafeiadis08,
author = {Viktor Vafeiadis},
title = {Modular fine-grained concurrency verification},
school = {University of Cambridge, {UK}},
year = {2008},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.612221},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Vafeiadis08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SewellLWNAHV07,
author = {Peter Sewell and
James J. Leifer and
Keith Wansbrough and
Francesco Zappa Nardelli and
Mair Allen{-}Williams and
Pierre Habouzit and
Viktor Vafeiadis},
title = {Acute: High-level programming language design for distributed computation},
journal = {J. Funct. Program.},
volume = {17},
number = {4-5},
pages = {547--612},
year = {2007},
url = {https://doi.org/10.1017/S0956796807006442},
doi = {10.1017/S0956796807006442},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SewellLWNAHV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/VafeiadisP07,
author = {Viktor Vafeiadis and
Matthew J. Parkinson},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {A Marriage of Rely/Guarantee and Separation Logic},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {256--271},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_18},
doi = {10.1007/978-3-540-74407-8\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/VafeiadisP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CalcagnoPV07,
author = {Cristiano Calcagno and
Matthew J. Parkinson and
Viktor Vafeiadis},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Modular Safety Checking for Fine-Grained Concurrency},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {233--248},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_15},
doi = {10.1007/978-3-540-74061-2\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/CalcagnoPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/VafeiadisHHS06,
author = {Viktor Vafeiadis and
Maurice Herlihy and
Tony Hoare and
Marc Shapiro},
editor = {Josep Torrellas and
Siddhartha Chatterjee},
title = {Proving correctness of highly-concurrent linearisable objects},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, {PPOPP} 2006, New York, New York, USA, March
29-31, 2006},
pages = {129--136},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1122971.1122992},
doi = {10.1145/1122971.1122992},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/VafeiadisHHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SewellLWNAHV05,
author = {Peter Sewell and
James J. Leifer and
Keith Wansbrough and
Francesco Zappa Nardelli and
Mair Allen{-}Williams and
Pierre Habouzit and
Viktor Vafeiadis},
editor = {Olivier Danvy and
Benjamin C. Pierce},
title = {Acute: high-level programming language design for distributed computation},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
2005},
pages = {15--26},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086365.1086370},
doi = {10.1145/1086365.1086370},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SewellLWNAHV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 18:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
