LIPIcs, Volume 166
ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)
Editors: Robert Hirschfeld and Tobias Pape
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Robert Hirschfeld and Tobias Pape. LIPIcs, Volume 166, ECOOP 2020, Complete Volume. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 1-906, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@Proceedings{hirschfeld_et_al:LIPIcs.ECOOP.2020, title = {{LIPIcs, Volume 166, ECOOP 2020, Complete Volume}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {1--906}, 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}, URN = {urn:nbn:de:0030-drops-131566}, doi = {10.4230/LIPIcs.ECOOP.2020}, annote = {Keywords: LIPIcs, Volume 166, ECOOP 2020, Complete Volume} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Robert Hirschfeld and Tobias Pape. Front Matter, Table of Contents, Preface, Conference Organization. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 0:i-0:xxviii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{hirschfeld_et_al:LIPIcs.ECOOP.2020.0, author = {Hirschfeld, Robert and Pape, Tobias}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {0:i--0:xxviii}, 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.0}, URN = {urn:nbn:de:0030-drops-131572}, doi = {10.4230/LIPIcs.ECOOP.2020.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Davide Ancona, Pietro Barbieri, Francesco Dagnino, and Elena Zucca. Sound Regular Corecursion in coFJ. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 1:1-1:28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{ancona_et_al:LIPIcs.ECOOP.2020.1, author = {Ancona, Davide and Barbieri, Pietro and Dagnino, Francesco and Zucca, Elena}, title = {{Sound Regular Corecursion in coFJ}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {1:1--1:28}, 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.1}, URN = {urn:nbn:de:0030-drops-131582}, doi = {10.4230/LIPIcs.ECOOP.2020.1}, annote = {Keywords: Operational semantics, coinduction, programming paradigms, regular terms} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Hila Peleg and Nadia Polikarpova. Perfect Is the Enemy of Good: Best-Effort Program Synthesis. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 2:1-2:30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{peleg_et_al:LIPIcs.ECOOP.2020.2, author = {Peleg, Hila and Polikarpova, Nadia}, title = {{Perfect Is the Enemy of Good: Best-Effort Program Synthesis}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {2:1--2:30}, 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.2}, URN = {urn:nbn:de:0030-drops-131593}, doi = {10.4230/LIPIcs.ECOOP.2020.2}, annote = {Keywords: Program Synthesis, Programming by Example} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Abel Nieto, Marianna Rapoport, Gregor Richards, and Ondřej Lhoták. Blame for Null. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 3:1-3:28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{nieto_et_al:LIPIcs.ECOOP.2020.3, author = {Nieto, Abel and Rapoport, Marianna and Richards, Gregor and Lhot\'{a}k, Ond\v{r}ej}, title = {{Blame for Null}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {3:1--3:28}, 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.3}, URN = {urn:nbn:de:0030-drops-131606}, doi = {10.4230/LIPIcs.ECOOP.2020.3}, annote = {Keywords: nullability, type systems, blame calculus, gradual typing} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Julia Gabet and Nobuko Yoshida. Static Race Detection and Mutex Safety and Liveness for Go Programs. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 4:1-4:30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{gabet_et_al:LIPIcs.ECOOP.2020.4, author = {Gabet, Julia and Yoshida, Nobuko}, title = {{Static Race Detection and Mutex Safety and Liveness for Go Programs}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {4:1--4:30}, 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.4}, URN = {urn:nbn:de:0030-drops-131615}, doi = {10.4230/LIPIcs.ECOOP.2020.4}, annote = {Keywords: Go language, behavioural types, race detection, happens-before relation, safety, liveness} }
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 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Lukas Diekmann and Laurence Tratt. Don't Panic! Better, Fewer, Syntax Errors for LR Parsers. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 6:1-6:32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{diekmann_et_al:LIPIcs.ECOOP.2020.6, author = {Diekmann, Lukas and Tratt, Laurence}, title = {{Don't Panic! Better, Fewer, Syntax Errors for LR Parsers}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {6:1--6:32}, 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.6}, URN = {urn:nbn:de:0030-drops-131630}, doi = {10.4230/LIPIcs.ECOOP.2020.6}, annote = {Keywords: Parsing, error recovery, programming languages} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Liyi Li and Elsa L. Gunter. K-LLVM: A Relatively Complete Semantics of LLVM IR. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 7:1-7:29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{li_et_al:LIPIcs.ECOOP.2020.7, author = {Li, Liyi and Gunter, Elsa L.}, title = {{K-LLVM: A Relatively Complete Semantics of LLVM IR}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {7:1--7:29}, 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.7}, URN = {urn:nbn:de:0030-drops-131649}, doi = {10.4230/LIPIcs.ECOOP.2020.7}, annote = {Keywords: LLVM, formal semantics, K framework, memory model, abstract machine} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Yuya Tsuda, Atsushi Igarashi, and Tomoya Tabuchi. Space-Efficient Gradual Typing in Coercion-Passing Style. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 8:1-8:29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{tsuda_et_al:LIPIcs.ECOOP.2020.8, author = {Tsuda, Yuya and Igarashi, Atsushi and Tabuchi, Tomoya}, title = {{Space-Efficient Gradual Typing in Coercion-Passing Style}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {8:1--8:29}, 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.8}, URN = {urn:nbn:de:0030-drops-131658}, doi = {10.4230/LIPIcs.ECOOP.2020.8}, annote = {Keywords: Gradual typing, coercion calculus, coercion-passing style, dynamic type checking, tail-call optimization} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, and Shoji Yuen. Multiparty Session Programming With Global Protocol Combinators. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 9:1-9:30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{imai_et_al:LIPIcs.ECOOP.2020.9, author = {Imai, Keigo and Neykova, Rumyana and Yoshida, Nobuko and Yuen, Shoji}, title = {{Multiparty Session Programming With Global Protocol Combinators}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {9:1--9:30}, 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.9}, URN = {urn:nbn:de:0030-drops-131662}, doi = {10.4230/LIPIcs.ECOOP.2020.9}, annote = {Keywords: Multiparty Session Types, Communication Protocol, Concurrent and Distributed Programming, OCaml} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Colin S. Gordon. Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl). In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 10:1-10:25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{gordon:LIPIcs.ECOOP.2020.10, author = {Gordon, Colin S.}, title = {{Designing with Static Capabilities and Effects: Use, Mention, and Invariants}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {10:1--10:25}, 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.10}, URN = {urn:nbn:de:0030-drops-131677}, doi = {10.4230/LIPIcs.ECOOP.2020.10}, annote = {Keywords: Effect systems, reference capabilities, object capabilities} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. Owicki-Gries Reasoning for C11 RAR. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 11:1-11:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{dalvandi_et_al:LIPIcs.ECOOP.2020.11, author = {Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}, title = {{Owicki-Gries Reasoning for C11 RAR}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {11:1--11: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.11}, URN = {urn:nbn:de:0030-drops-131687}, doi = {10.4230/LIPIcs.ECOOP.2020.11}, annote = {Keywords: C11, Verification, Hoare logic, Owicki-Gries, Isabelle} }
Published in: LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Magnus Madsen, Ondřej Lhoták, and Frank Tip. A Semantics for the Essence of React. In 34th European Conference on Object-Oriented Programming (ECOOP 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 166, pp. 12:1-12:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{madsen_et_al:LIPIcs.ECOOP.2020.12, author = {Madsen, Magnus and Lhot\'{a}k, Ond\v{r}ej and Tip, Frank}, title = {{A Semantics for the Essence of React}}, booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)}, pages = {12:1--12: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.12}, URN = {urn:nbn:de:0030-drops-131697}, doi = {10.4230/LIPIcs.ECOOP.2020.12}, annote = {Keywords: JavaScript, React, operational semantics, lifecycle, reconciliation} }
Feedback for Dagstuhl Publishing