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-dev.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-dev.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: Dagstuhl Reports, Volume 6, Issue 11 (2017)
Jade Alglave, Patrick Cousot, and Caterina Urban. Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). In Dagstuhl Reports, Volume 6, Issue 11, pp. 108-128, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@Article{alglave_et_al:DagRep.6.11.108, author = {Alglave, Jade and Cousot, Patrick and Urban, Caterina}, title = {{Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)}}, pages = {108--128}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {6}, number = {11}, editor = {Alglave, Jade and Cousot, Patrick and Urban, Caterina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.11.108}, URN = {urn:nbn:de:0030-drops-70415}, doi = {10.4230/DagRep.6.11.108}, annote = {Keywords: Compilation, Computer Memory, Concurrency, Memory Barrier, Memory Ordering, Micro-Architecture, Multiprocessor, Out-of-Order Execution, Parallelism, Program Synthesis, Programming Language, Semantics, Static Analysis, Verification, Weak Memory Model} }
Feedback for Dagstuhl Publishing