@Proceedings{donaldson:LIPIcs.ECOOP.2019,
title = {{LIPIcs, Volume 134, ECOOP'19, Complete Volume}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019},
URN = {urn:nbn:de:0030-drops-108979},
doi = {10.4230/LIPIcs.ECOOP.2019},
annote = {Keywords: Software and its engineering}
}
@InProceedings{donaldson:LIPIcs.ECOOP.2019.0,
author = {Donaldson, Alastair F.},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {0:i--0:xxv},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.0},
URN = {urn:nbn:de:0030-drops-107928},
doi = {10.4230/LIPIcs.ECOOP.2019.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{meier_et_al:LIPIcs.ECOOP.2019.1,
author = {Meier, Shawn and Mover, Sergio and Chang, Bor-Yuh Evan},
title = {{Lifestate: Event-Driven Protocols and Callback Control Flow}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {1:1--1:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.1},
URN = {urn:nbn:de:0030-drops-107932},
doi = {10.4230/LIPIcs.ECOOP.2019.1},
annote = {Keywords: event-driven systems, application-programming protocols, application framework interfaces, callbacks, sound framework modeling, predictive dynamic verification}
}
@InProceedings{fernandezreyes_et_al:LIPIcs.ECOOP.2019.2,
author = {Fernandez-Reyes, Kiko and Clarke, Dave and Henrio, Ludovic and Johnsen, Einar Broch and Wrigstad, Tobias},
title = {{Godot: All the Benefits of Implicit and Explicit Futures}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {2:1--2:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.2},
URN = {urn:nbn:de:0030-drops-107949},
doi = {10.4230/LIPIcs.ECOOP.2019.2},
annote = {Keywords: Futures, Concurrency, Type Systems, Formal Semantics}
}
@InProceedings{weisenburger_et_al:LIPIcs.ECOOP.2019.3,
author = {Weisenburger, Pascal and Salvaneschi, Guido},
title = {{Multitier Modules}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {3:1--3:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.3},
URN = {urn:nbn:de:0030-drops-107957},
doi = {10.4230/LIPIcs.ECOOP.2019.3},
annote = {Keywords: Distributed Programming, Multitier Programming, Abstract Peer Types, Placement Types, Module Systems, Scala}
}
@InProceedings{vergu_et_al:LIPIcs.ECOOP.2019.4,
author = {Vergu, Vlad and Tolmach, Andrew and Visser, Eelco},
title = {{Scopes and Frames Improve Meta-Interpreter Specialization}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {4:1--4:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.4},
URN = {urn:nbn:de:0030-drops-107969},
doi = {10.4230/LIPIcs.ECOOP.2019.4},
annote = {Keywords: Definitional interpreters, partial evaluation}
}
@InProceedings{roberts_et_al:LIPIcs.ECOOP.2019.5,
author = {Roberts, Richard and Marr, Stefan and Homer, Michael and Noble, James},
title = {{Transient Typechecks Are (Almost) Free}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {5:1--5:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.5},
URN = {urn:nbn:de:0030-drops-107974},
doi = {10.4230/LIPIcs.ECOOP.2019.5},
annote = {Keywords: dynamic type checking, gradual types, optional types, Grace, Moth, object-oriented programming}
}
@InProceedings{demuijnckhughes_et_al:LIPIcs.ECOOP.2019.6,
author = {de Muijnck-Hughes, Jan and Vanderbauwhede, Wim},
title = {{A Typing Discipline for Hardware Interfaces}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {6:1--6:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.6},
URN = {urn:nbn:de:0030-drops-107983},
doi = {10.4230/LIPIcs.ECOOP.2019.6},
annote = {Keywords: System-on-a-Chip, AXI, Dependent Types, Substructural Typing}
}
@InProceedings{misonizhnik_et_al:LIPIcs.ECOOP.2019.7,
author = {Misonizhnik, Aleksandr and Mordvinov, Dmitry},
title = {{On Satisfiability of Nominal Subtyping with Variance}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {7:1--7:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.7},
URN = {urn:nbn:de:0030-drops-107997},
doi = {10.4230/LIPIcs.ECOOP.2019.7},
annote = {Keywords: nominal type systems, structural subtyping, first-order logic, decidability, software verification}
}
@InProceedings{sotiropoulos_et_al:LIPIcs.ECOOP.2019.8,
author = {Sotiropoulos, Thodoris and Livshits, Benjamin},
title = {{Static Analysis for Asynchronous JavaScript Programs}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {8:1--8:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.8},
URN = {urn:nbn:de:0030-drops-108007},
doi = {10.4230/LIPIcs.ECOOP.2019.8},
annote = {Keywords: static analysis, asynchrony, JavaScript}
}
@InProceedings{watt_et_al:LIPIcs.ECOOP.2019.9,
author = {Watt, Conrad and Maksimovi\'{c}, Petar and Krishnaswami, Neelakantan R. and Gardner, Philippa},
title = {{A Program Logic for First-Order Encapsulated WebAssembly}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {9:1--9:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.9},
URN = {urn:nbn:de:0030-drops-108011},
doi = {10.4230/LIPIcs.ECOOP.2019.9},
annote = {Keywords: WebAssembly, program logic, separation logic, soundness, mechanisation}
}
@InProceedings{vanes_et_al:LIPIcs.ECOOP.2019.10,
author = {Van Es, Noah and Sti\'{e}venart, Quentin and De Roover, Coen},
title = {{Garbage-Free Abstract Interpretation Through Abstract Reference Counting}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {10:1--10:33},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.10},
URN = {urn:nbn:de:0030-drops-108022},
doi = {10.4230/LIPIcs.ECOOP.2019.10},
annote = {Keywords: abstract interpretation, abstract garbage collection, reference counting}
}
@InProceedings{bastani_et_al:LIPIcs.ECOOP.2019.11,
author = {Bastani, Osbert and Sharma, Rahul and Clapp, Lazaro and Anand, Saswat and Aiken, Alex},
title = {{Eventually Sound Points-To Analysis with Specifications}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {11:1--11:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.11},
URN = {urn:nbn:de:0030-drops-108038},
doi = {10.4230/LIPIcs.ECOOP.2019.11},
annote = {Keywords: specification inference, static points-to analysis, runtime monitoring}
}
@InProceedings{eichholz_et_al:LIPIcs.ECOOP.2019.12,
author = {Eichholz, Matthias and Campbell, Eric and Foster, Nate and Salvaneschi, Guido and Mezini, Mira},
title = {{How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {12:1--12:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.12},
URN = {urn:nbn:de:0030-drops-108041},
doi = {10.4230/LIPIcs.ECOOP.2019.12},
annote = {Keywords: P4, data plane programming, type systems}
}
@InProceedings{gil_et_al:LIPIcs.ECOOP.2019.13,
author = {Gil, Yossi and Roth, Ori},
title = {{Fling - A Fluent API Generator}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {13:1--13:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.13},
URN = {urn:nbn:de:0030-drops-108053},
doi = {10.4230/LIPIcs.ECOOP.2019.13},
annote = {Keywords: fluent API, type system, compilation, code generation}
}
@InProceedings{makwana_et_al:LIPIcs.ECOOP.2019.14,
author = {Makwana, Dhruv C. and Krishnaswami, Neelakantan R.},
title = {{NumLin: Linear Types for Linear Algebra}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {14:1--14:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.14},
URN = {urn:nbn:de:0030-drops-108069},
doi = {10.4230/LIPIcs.ECOOP.2019.14},
annote = {Keywords: numerical, linear, algebra, types, permissions, OCaml}
}
@InProceedings{fourtounis_et_al:LIPIcs.ECOOP.2019.15,
author = {Fourtounis, George and Smaragdakis, Yannis},
title = {{Deep Static Modeling of invokedynamic}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {15:1--15:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.15},
URN = {urn:nbn:de:0030-drops-108076},
doi = {10.4230/LIPIcs.ECOOP.2019.15},
annote = {Keywords: static analysis, invokedynamic}
}
@InProceedings{turcotte_et_al:LIPIcs.ECOOP.2019.16,
author = {Turcotte, Alexi and Arteca, Ellen and Richards, Gregor},
title = {{Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {16:1--16:32},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.16},
URN = {urn:nbn:de:0030-drops-108087},
doi = {10.4230/LIPIcs.ECOOP.2019.16},
annote = {Keywords: Formal Semantics, Language Interoperation, Lua, C, Foreign Function Interfaces}
}
@InProceedings{springer_et_al:LIPIcs.ECOOP.2019.17,
author = {Springer, Matthias and Masuhara, Hidehiko},
title = {{DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {17:1--17:37},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.17},
URN = {urn:nbn:de:0030-drops-108098},
doi = {10.4230/LIPIcs.ECOOP.2019.17},
annote = {Keywords: CUDA, Data Layout, Dynamic Memory Allocation, GPUs, Object-oriented Programming, SIMD, Single-Instruction Multiple-Objects, Structure of Arrays}
}
@InProceedings{mukherjee_et_al:LIPIcs.ECOOP.2019.18,
author = {Mukherjee, Suvam and Raj, Nitin John and Govindraj, Krishnan and Deligiannis, Pantazis and Ravichandran, Chandramouleswaran and Lal, Akash and Rastogi, Aseem and Krishnaswamy, Raja},
title = {{Reliable State Machines: A Framework for Programming Reliable Cloud Services}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {18:1--18:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.18},
URN = {urn:nbn:de:0030-drops-108101},
doi = {10.4230/LIPIcs.ECOOP.2019.18},
annote = {Keywords: Fault tolerance, Cloud computing, Actor framework}
}
@InProceedings{hamin_et_al:LIPIcs.ECOOP.2019.19,
author = {Hamin, Jafar and Jacobs, Bart},
title = {{Transferring Obligations Through Synchronizations}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {19:1--19:58},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.19},
URN = {urn:nbn:de:0030-drops-108113},
doi = {10.4230/LIPIcs.ECOOP.2019.19},
annote = {Keywords: Hoare logic, separation logic, modular program verification, synchronization, transferring obligations, deadlock-freedom}
}
@InProceedings{villazon_et_al:LIPIcs.ECOOP.2019.20,
author = {Villaz\'{o}n, Alex and Sun, Haiyang and Ros\`{a}, Andrea and Rosales, Eduardo and Bonetta, Daniele and Defilippis, Isabella and Oporto, Sergio and Binder, Walter},
title = {{Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {20:1--20:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.20},
URN = {urn:nbn:de:0030-drops-108127},
doi = {10.4230/LIPIcs.ECOOP.2019.20},
annote = {Keywords: Dynamic program analysis, code repositories, GitHub, Node.js, Java, Scala, promises, JIT-unfriendly code, task granularity}
}
@InProceedings{luo_et_al:LIPIcs.ECOOP.2019.21,
author = {Luo, Linghui and Dolby, Julian and Bodden, Eric},
title = {{MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {21:1--21:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.21},
URN = {urn:nbn:de:0030-drops-108139},
doi = {10.4230/LIPIcs.ECOOP.2019.21},
annote = {Keywords: IDE, Tool Support, Static Analysis, Language Server Protocol}
}
@InProceedings{kang_et_al:LIPIcs.ECOOP.2019.22,
author = {Kang, Hong Jin and Thung, Ferdian and Lawall, Julia and Muller, Gilles and Jiang, Lingxiao and Lo, David},
title = {{Semantic Patches for Java Program Transformation}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {22:1--22:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.22},
URN = {urn:nbn:de:0030-drops-108140},
doi = {10.4230/LIPIcs.ECOOP.2019.22},
annote = {Keywords: Program transformation, Java}
}
@InProceedings{arslanagic_et_al:LIPIcs.ECOOP.2019.23,
author = {Arslanagi\'{c}, Alen and P\'{e}rez, Jorge A. and Voogd, Erik},
title = {{Minimal Session Types}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {23:1--23:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.23},
URN = {urn:nbn:de:0030-drops-108151},
doi = {10.4230/LIPIcs.ECOOP.2019.23},
annote = {Keywords: Session types, process calculi, pi-calculus}
}
@InProceedings{chung_et_al:LIPIcs.ECOOP.2019.24,
author = {Chung, Benjamin and Zappa Nardelli, Francesco and Vitek, Jan},
title = {{Julia’s Efficient Algorithm for Subtyping Unions and Covariant Tuples}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {24:1--24:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.24},
URN = {urn:nbn:de:0030-drops-108165},
doi = {10.4230/LIPIcs.ECOOP.2019.24},
annote = {Keywords: Type systems, Subtyping, Union types}
}
@InProceedings{shaikhha_et_al:LIPIcs.ECOOP.2019.25,
author = {Shaikhha, Amir and Parreaux, Lionel},
title = {{Finally, a Polymorphic Linear Algebra Language}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {25:1--25:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.25},
URN = {urn:nbn:de:0030-drops-108172},
doi = {10.4230/LIPIcs.ECOOP.2019.25},
annote = {Keywords: Linear Algebra, Domain-Specific Languages, Tagless Final, Polymorphic Embedding, Object Algebra, Multi-Stage Programming, Graph Processing, Probabilistic Programming, Automatic Differentiation}
}
@InProceedings{pelsmaeker_et_al:LIPIcs.ECOOP.2019.26,
author = {Pelsmaeker, Daniel A. A. and van Antwerpen, Hendrik and Visser, Eelco},
title = {{Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {26:1--26:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.26},
URN = {urn:nbn:de:0030-drops-108182},
doi = {10.4230/LIPIcs.ECOOP.2019.26},
annote = {Keywords: semantics, constraint solving, Statix, name binding, editor services, reference resolution, code completion, refactoring}
}
@InProceedings{torreslopez_et_al:LIPIcs.ECOOP.2019.27,
author = {Torres Lopez, Carmen and Gurdeep Singh, Robbert and Marr, Stefan and Gonzalez Boix, Elisa and Scholliers, Christophe},
title = {{Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {27:1--27:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.27},
URN = {urn:nbn:de:0030-drops-108192},
doi = {10.4230/LIPIcs.ECOOP.2019.27},
annote = {Keywords: Debugging, Parallelism, Concurrency, Actors, Formal Semantics}
}
@InProceedings{majumdar_et_al:LIPIcs.ECOOP.2019.28,
author = {Majumdar, Rupak and Pirron, Marcus and Yoshida, Nobuko and Zufferey, Damien},
title = {{Motion Session Types for Robotic Interactions}},
booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
pages = {28:1--28:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-111-5},
ISSN = {1868-8969},
year = {2019},
volume = {134},
editor = {Donaldson, Alastair F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.28},
URN = {urn:nbn:de:0030-drops-108205},
doi = {10.4230/LIPIcs.ECOOP.2019.28},
annote = {Keywords: Session Types, Robotics, Concurrent Programming, Motions, Communications, Multiparty Session Types, Deadlock Freedom}
}
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