Published in: DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Shuyang Liu, John Bender, and Jens Palsberg. Compiling Volatile Correctly in Java (Artifact). In Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 2, pp. 3:1-3:2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@Article{liu_et_al:DARTS.8.2.3, author = {Liu, Shuyang and Bender, John and Palsberg, Jens}, title = {{Compiling Volatile Correctly in Java (Artifact)}}, pages = {3:1--3:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2022}, volume = {8}, number = {2}, editor = {Liu, Shuyang and Bender, John and Palsberg, Jens}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.3}, URN = {urn:nbn:de:0030-drops-162018}, doi = {10.4230/DARTS.8.2.3}, annote = {Keywords: formal semantics, concurrency, compilation} }
Published in: LIPIcs, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Shuyang Liu, John Bender, and Jens Palsberg. Compiling Volatile Correctly in Java. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 222, pp. 6:1-6:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{liu_et_al:LIPIcs.ECOOP.2022.6, author = {Liu, Shuyang and Bender, John and Palsberg, Jens}, title = {{Compiling Volatile Correctly in Java}}, booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)}, pages = {6:1--6:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-225-9}, ISSN = {1868-8969}, year = {2022}, volume = {222}, editor = {Ali, Karim and Vitek, Jan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.6}, URN = {urn:nbn:de:0030-drops-162346}, doi = {10.4230/LIPIcs.ECOOP.2022.6}, annote = {Keywords: formal semantics, concurrency, compilation} }
Published in: DARTS, Volume 6, Issue 2, Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, and Viktor Vafeiadis. Reconciling Event Structures with Modern Multiprocessors (Artifact). In Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020). Dagstuhl Artifacts Series (DARTS), Volume 6, Issue 2, pp. 4:1-4:3, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@Article{moiseenko_et_al:DARTS.6.2.4, author = {Moiseenko, Evgenii and Podkopaev, Anton and Lahav, Ori and Melkonian, Orestis and Vafeiadis, Viktor}, title = {{Reconciling Event Structures with Modern Multiprocessors (Artifact)}}, pages = {4:1--4:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2020}, volume = {6}, number = {2}, editor = {Moiseenko, Evgenii and Podkopaev, Anton and Lahav, Ori and Melkonian, Orestis and Vafeiadis, Viktor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.4}, URN = {urn:nbn:de:0030-drops-132015}, doi = {10.4230/DARTS.6.2.4}, annote = {Keywords: Weak Memory Consistency, Event Structures, IMM, Weakestmo} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, and Viktor Vafeiadis. Reconciling Event Structures with Modern Multiprocessors. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 5:1-5:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{moiseenko_et_al:LIPIcs.ECOOP.2020.5, author = {Moiseenko, Evgenii and Podkopaev, Anton and Lahav, Ori and Melkonian, Orestis and Vafeiadis, Viktor}, title = {{Reconciling Event Structures with Modern Multiprocessors}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {5:1--5:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-154-2}, ISSN = {1868-8969}, year = {2020}, volume = {166}, editor = {Hirschfeld, Robert and Pape, Tobias}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.5}, URN = {urn:nbn:de:0030-drops-131622}, doi = {10.4230/LIPIcs.ECOOP.2020.5}, annote = {Keywords: Weak Memory Consistency, Event Structures, IMM, Weakestmo} }
Published in: LIPIcs, Volume 74, 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Anton Podkopaev, Ori Lahav, and Viktor Vafeiadis. Promising Compilation to ARMv8 POP. In 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 74, pp. 22:1-22:28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)
@InProceedings{podkopaev_et_al:LIPIcs.ECOOP.2017.22, author = {Podkopaev, Anton and Lahav, Ori and Vafeiadis, Viktor}, title = {{Promising Compilation to ARMv8 POP}}, booktitle = {31st European Conference on Object-Oriented Programming (ECOOP 2017)}, pages = {22:1--22:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-035-4}, ISSN = {1868-8969}, year = {2017}, volume = {74}, editor = {M\"{u}ller, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2017.22}, URN = {urn:nbn:de:0030-drops-72667}, doi = {10.4230/LIPIcs.ECOOP.2017.22}, annote = {Keywords: ARM, Compilation Correctness, Weak Memory Model} }
Feedback for Dagstuhl Publishing