@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-dev.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}
}
@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-dev.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}
}
@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-dev.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}
}
@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-dev.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}
}
@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-dev.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}
}
@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}
}
@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-dev.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}
}
@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-dev.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}
}
@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-dev.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}
}
@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-dev.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}
}
@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-dev.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}
}
@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-dev.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}
}
@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-dev.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}
}
@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-dev.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}
}
@InProceedings{maciver_et_al:LIPIcs.ECOOP.2020.13,
author = {MacIver, David R. and Donaldson, Alastair F.},
title = {{Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {13:1--13:27},
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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.13},
URN = {urn:nbn:de:0030-drops-131700},
doi = {10.4230/LIPIcs.ECOOP.2020.13},
annote = {Keywords: Software testing, test-case reduction}
}
@InProceedings{fowler:LIPIcs.ECOOP.2020.14,
author = {Fowler, Simon},
title = {{Model-View-Update-Communicate: Session Types Meet the Elm Architecture}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {14:1--14: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.14},
URN = {urn:nbn:de:0030-drops-131717},
doi = {10.4230/LIPIcs.ECOOP.2020.14},
annote = {Keywords: Session types, concurrent programming, Model-View-Update}
}
@InProceedings{lagouvardos_et_al:LIPIcs.ECOOP.2020.15,
author = {Lagouvardos, Sifis and Dolby, Julian and Grech, Neville and Antoniadis, Anastasios and Smaragdakis, Yannis},
title = {{Static Analysis of Shape in TensorFlow Programs}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {15:1--15: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.15},
URN = {urn:nbn:de:0030-drops-131726},
doi = {10.4230/LIPIcs.ECOOP.2020.15},
annote = {Keywords: Python, TensorFlow, static analysis, Doop, Wala}
}
@InProceedings{nielsen_et_al:LIPIcs.ECOOP.2020.16,
author = {Nielsen, Benjamin Barslev and M{\o}ller, Anders},
title = {{Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {16:1--16: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.16},
URN = {urn:nbn:de:0030-drops-131731},
doi = {10.4230/LIPIcs.ECOOP.2020.16},
annote = {Keywords: JavaScript, dataflow analysis, abstract interpretation}
}
@InProceedings{monat_et_al:LIPIcs.ECOOP.2020.17,
author = {Monat, Rapha\"{e}l and Ouadjaout, Abdelraouf and Min\'{e}, Antoine},
title = {{Static Type Analysis by Abstract Interpretation of Python Programs}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {17:1--17: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.17},
URN = {urn:nbn:de:0030-drops-131748},
doi = {10.4230/LIPIcs.ECOOP.2020.17},
annote = {Keywords: Formal Methods, Static Analysis, Abstract Interpretation, Type Analysis, Dynamic Programming Language, Python Semantics}
}
@InProceedings{dort_et_al:LIPIcs.ECOOP.2020.18,
author = {Dort, Vlastimil and Lhot\'{a}k, Ond\v{r}ej},
title = {{Reference Mutability for DOT}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {18:1--18: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.18},
URN = {urn:nbn:de:0030-drops-131755},
doi = {10.4230/LIPIcs.ECOOP.2020.18},
annote = {Keywords: Reference Mutability, Read-only References, DOT Calculus}
}
@InProceedings{vandenvonder_et_al:LIPIcs.ECOOP.2020.19,
author = {Van den Vonder, Sam and Renaux, Thierry and Oeyen, Bjarno and De Koster, Joeri and De Meuter, Wolfgang},
title = {{Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {19:1--19: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.19},
URN = {urn:nbn:de:0030-drops-131768},
doi = {10.4230/LIPIcs.ECOOP.2020.19},
annote = {Keywords: functional reactive programming, reactive programming, reactive streams, actors, reactors}
}
@InProceedings{demuijnckhughes_et_al:LIPIcs.ECOOP.2020.20,
author = {de Muijnck-Hughes, Jan and Brady, Edwin and Vanderbauwhede, Wim},
title = {{A Framework for Resource Dependent EDSLs in a Dependently Typed Language}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {20:1--20:31},
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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.20},
URN = {urn:nbn:de:0030-drops-131773},
doi = {10.4230/LIPIcs.ECOOP.2020.20},
annote = {Keywords: Dependent Types, Algebraic Effect Handlers, Domain-Specific Languages, Embedded Domain Specific Languages, Idris, Substructural Type-Systems}
}
@InProceedings{xiong_et_al:LIPIcs.ECOOP.2020.21,
author = {Xiong, Shale and Cerone, Andrea and Raad, Azalea and Gardner, Philippa},
title = {{Data Consistency in Transactional Storage Systems: A Centralised Semantics}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {21:1--21:31},
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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.21},
URN = {urn:nbn:de:0030-drops-131782},
doi = {10.4230/LIPIcs.ECOOP.2020.21},
annote = {Keywords: Operational Semantics, Consistency Models, Transactions, Distributed Key-value Stores}
}
@InProceedings{donaldson_et_al:LIPIcs.ECOOP.2020.22,
author = {Donaldson, Alastair F. and Evrard, Hugues and Thomson, Paul},
title = {{Putting Randomized Compiler Testing into Production}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {22:1--22: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.22},
URN = {urn:nbn:de:0030-drops-131791},
doi = {10.4230/LIPIcs.ECOOP.2020.22},
annote = {Keywords: Compilers, metamorphic testing, 3D graphics, experience report}
}
@InProceedings{gordon:LIPIcs.ECOOP.2020.23,
author = {Gordon, Colin S.},
title = {{Lifting Sequential Effects to Control Operators}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {23:1--23: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.23},
URN = {urn:nbn:de:0030-drops-131804},
doi = {10.4230/LIPIcs.ECOOP.2020.23},
annote = {Keywords: Type systems, effect systems, quantales, control operators, delimited continuations}
}
@InProceedings{barbar_et_al:LIPIcs.ECOOP.2020.24,
author = {Barbar, Mohamad and Sui, Yulei and Chen, Shiping},
title = {{Flow-Sensitive Type-Based Heap Cloning}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {24:1--24: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.24},
URN = {urn:nbn:de:0030-drops-131819},
doi = {10.4230/LIPIcs.ECOOP.2020.24},
annote = {Keywords: Heap cloning, type-based analysis, flow-sensitivity}
}
@InProceedings{nieto_et_al:LIPIcs.ECOOP.2020.25,
author = {Nieto, Abel and Zhao, Yaoyu and Lhot\'{a}k, Ond\v{r}ej and Chang, Angela and Pu, Justin},
title = {{Scala with Explicit Nulls}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {25:1--25: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.25},
URN = {urn:nbn:de:0030-drops-131821},
doi = {10.4230/LIPIcs.ECOOP.2020.25},
annote = {Keywords: Scala, Java, nullability, language interoperability, type systems}
}
@InProceedings{huang_et_al:LIPIcs.ECOOP.2020.26,
author = {Huang, Xuejing and Oliveira, Bruno C. d. S.},
title = {{A Type-Directed Operational Semantics For a Calculus with a Merge Operator}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {26:1--26: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.26},
URN = {urn:nbn:de:0030-drops-131832},
doi = {10.4230/LIPIcs.ECOOP.2020.26},
annote = {Keywords: operational semantics, type systems, intersection types}
}
@InProceedings{xie_et_al:LIPIcs.ECOOP.2020.27,
author = {Xie, Ningning and Oliveira, Bruno C. d. S. and Bi, Xuan and Schrijvers, Tom},
title = {{Row and Bounded Polymorphism via Disjoint Polymorphism}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {27:1--27: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.27},
URN = {urn:nbn:de:0030-drops-131846},
doi = {10.4230/LIPIcs.ECOOP.2020.27},
annote = {Keywords: Intersection types, bounded polymorphism, row polymorphism}
}
@InProceedings{sampaio_et_al:LIPIcs.ECOOP.2020.28,
author = {Sampaio, Gabriela and Fragoso Santos, Jos\'{e} and Maksimovi\'{c}, Petar and Gardner, Philippa},
title = {{A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {28:1--28: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.28},
URN = {urn:nbn:de:0030-drops-131853},
doi = {10.4230/LIPIcs.ECOOP.2020.28},
annote = {Keywords: Events, DOM, JavaScript, promises, symbolic execution, bug-finding}
}
@InProceedings{oliveira_et_al:LIPIcs.ECOOP.2020.29,
author = {Oliveira, Bruno C. d. S. and Shaobo, Cui and Rehman, Baber},
title = {{The Duality of Subtyping}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {29:1--29: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.29},
URN = {urn:nbn:de:0030-drops-131864},
doi = {10.4230/LIPIcs.ECOOP.2020.29},
annote = {Keywords: DuoTyping, OOP, Duality, Subtyping, Supertyping}
}
@InProceedings{fallin:LIPIcs.ECOOP.2020.30,
author = {Fallin, Chris},
title = {{Safe, Flexible Aliasing with Deferred Borrows}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {30:1--30: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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.30},
URN = {urn:nbn:de:0030-drops-131878},
doi = {10.4230/LIPIcs.ECOOP.2020.30},
annote = {Keywords: Rust, type systems, ownership types, borrowing}
}
@InProceedings{tasos_et_al:LIPIcs.ECOOP.2020.31,
author = {Tasos, Alexandros and Franco, Juliana and Drossopoulou, Sophia and Wrigstad, Tobias and Eisenbach, Susan},
title = {{Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {31:1--31:3},
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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.31},
URN = {urn:nbn:de:0030-drops-131887},
doi = {10.4230/LIPIcs.ECOOP.2020.31},
annote = {Keywords: Cache utilisation, Data representation, Memory safety}
}
@InProceedings{ancona_et_al:LIPIcs.ECOOP.2020.32,
author = {Ancona, Davide and Dagnino, Francesco and Rot, Jurriaan and Zucca, Elena},
title = {{A Big Step from Finite to Infinite Computations}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {32:1--32:2},
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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.32},
URN = {urn:nbn:de:0030-drops-131895},
doi = {10.4230/LIPIcs.ECOOP.2020.32},
annote = {Keywords: Operational semantics, coinduction, infinite behaviour}
}
@InProceedings{toro_et_al:LIPIcs.ECOOP.2020.33,
author = {Toro, Mat{\'\i}as and Tanter, \'{E}ric},
title = {{Abstracting Gradual References}},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
pages = {33:1--33:4},
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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.33},
URN = {urn:nbn:de:0030-drops-131900},
doi = {10.4230/LIPIcs.ECOOP.2020.33},
annote = {Keywords: Gradual Typing, Mutable References, Abstract interpretation}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing