@Article{christakis_et_al:DARTS.5.2.0,
author = {Christakis, Maria and Rigger, Manuel},
title = {{Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}},
pages = {0:i--0:xi},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Christakis, Maria and Rigger, Manuel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.0},
URN = {urn:nbn:de:0030-drops-107779},
doi = {10.4230/DARTS.5.2.0},
annote = {Keywords: Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}
}
@Article{fernandezreyes_et_al:DARTS.5.2.1,
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}},
pages = {1:1--1:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Fernandez-Reyes, Kiko and Clarke, Dave and Henrio, Ludovic and Johnsen, Einar Broch and Wrigstad, Tobias},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.1},
URN = {urn:nbn:de:0030-drops-107786},
doi = {10.4230/DARTS.5.2.1},
annote = {Keywords: Futures, Concurrency, Type Systems, Formal Semantics}
}
@Article{springer_et_al:DARTS.5.2.2,
author = {Springer, Matthias and Masuhara, Hidehiko},
title = {{DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access}},
pages = {2:1--2:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Springer, Matthias and Masuhara, Hidehiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.2},
URN = {urn:nbn:de:0030-drops-107793},
doi = {10.4230/DARTS.5.2.2},
annote = {Keywords: CUDA, Data Layout, Dynamic Memory Allocation, GPUs, Object-oriented Programming, SIMD, Single-Instruction Multiple-Objects, Structure of Arrays}
}
@Article{makwana_et_al:DARTS.5.2.3,
author = {Makwana, Dhruv C. and Krishnaswami, Neelakantan R.},
title = {{NumLin: Linear Types for Linear Algebra}},
pages = {3:1--3:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Makwana, Dhruv C. and Krishnaswami, Neelakantan R.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.3},
URN = {urn:nbn:de:0030-drops-107806},
doi = {10.4230/DARTS.5.2.3},
annote = {Keywords: numerical, linear, algebra, types, permissions, OCaml}
}
@Article{singh_et_al:DARTS.5.2.4,
author = {Singh, Robbert Gurdeep and Lopez, Carmen Torres and Marr, Stefan and Boix, Elisa Gonzalez and Scholliers, Christophe},
title = {{Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs}},
pages = {4:1--4:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Singh, Robbert Gurdeep and Lopez, Carmen Torres and Marr, Stefan and Boix, Elisa Gonzalez and Scholliers, Christophe},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.4},
URN = {urn:nbn:de:0030-drops-107815},
doi = {10.4230/DARTS.5.2.4},
annote = {Keywords: Debugging, Concurrency, Actors, Formal Semantics}
}
@Article{arslanagic_et_al:DARTS.5.2.5,
author = {Arslanagi\'{c}, Alen and P\'{e}rez, Jorge A. and Voogd, Erik},
title = {{Minimal Session Types}},
pages = {5:1--5:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Arslanagi\'{c}, Alen and P\'{e}rez, Jorge A. and Voogd, Erik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.5},
URN = {urn:nbn:de:0030-drops-107825},
doi = {10.4230/DARTS.5.2.5},
annote = {Keywords: Session types, process calculi, pi-calculus}
}
@Article{fourtounis_et_al:DARTS.5.2.6,
author = {Fourtounis, George and Smaragdakis, Yannis},
title = {{Deep Static Modeling of invokedynamic}},
pages = {6:1--6:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Fourtounis, George and Smaragdakis, Yannis},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.6},
URN = {urn:nbn:de:0030-drops-107835},
doi = {10.4230/DARTS.5.2.6},
annote = {Keywords: invokedynamic, lambdas, static analysis}
}
@Article{vanes_et_al:DARTS.5.2.7,
author = {Van Es, Noah and Sti\'{e}venart, Quentin and De Roover, Coen},
title = {{Garbage-Free Abstract Interpretation Through Abstract Reference Counting}},
pages = {7:1--7:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Van Es, Noah and Sti\'{e}venart, Quentin and De Roover, Coen},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.7},
URN = {urn:nbn:de:0030-drops-107843},
doi = {10.4230/DARTS.5.2.7},
annote = {Keywords: static analysis, abstract interpretation, abstract garbage collection, reference counting}
}
@Article{chung_et_al:DARTS.5.2.8,
author = {Chung, Benjamin and Nardelli, Francesco Zappa and Vitek, Jan},
title = {{On Julia’s Efficient Algorithm for Subtyping Union Types and Covariant Tuples}},
pages = {8:1--8:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Chung, Benjamin and Nardelli, Francesco Zappa and Vitek, Jan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.8},
URN = {urn:nbn:de:0030-drops-107855},
doi = {10.4230/DARTS.5.2.8},
annote = {Keywords: Type systems, subtyping, algorithmic type systems, distributive unions}
}
@Article{turcotte_et_al:DARTS.5.2.9,
author = {Turcotte, Alexi and Arteca, Ellen and Richards, Gregor},
title = {{Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language}},
pages = {9:1--9:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Turcotte, Alexi and Arteca, Ellen and Richards, Gregor},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.9},
URN = {urn:nbn:de:0030-drops-107863},
doi = {10.4230/DARTS.5.2.9},
annote = {Keywords: Language design, Language interoperation, Formal semantics}
}
@Article{kang_et_al:DARTS.5.2.10,
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}},
pages = {10:1--10:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Kang, Hong Jin and Thung, Ferdian and Lawall, Julia and Muller, Gilles and Jiang, Lingxiao and Lo, David},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.10},
URN = {urn:nbn:de:0030-drops-107875},
doi = {10.4230/DARTS.5.2.10},
annote = {Keywords: Java, semantic patches, automatic program transformation}
}
@Article{villazon_et_al:DARTS.5.2.11,
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}},
pages = {11:1--11:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {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},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.11},
URN = {urn:nbn:de:0030-drops-107881},
doi = {10.4230/DARTS.5.2.11},
annote = {Keywords: Dynamic program analysis, code repositories, GitHub, Node.js, Java, Scala, promises, JIT-unfriendly code, task granularity}
}
@Article{roth_et_al:DARTS.5.2.12,
author = {Roth, Ori and Gil, Yossi},
title = {{Fling - A Fluent API Generator}},
pages = {12:1--12:9},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Roth, Ori and Gil, Yossi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.12},
URN = {urn:nbn:de:0030-drops-107897},
doi = {10.4230/DARTS.5.2.12},
annote = {Keywords: Fluent API, compilation, generics, code generation}
}
@Article{meier_et_al:DARTS.5.2.13,
author = {Meier, Shawn and Mover, Sergio and Chang, Bor-Yuh Evan},
title = {{Lifestate: Event-Driven Protocols and Callback Control Flow}},
pages = {13:1--13:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {Meier, Shawn and Mover, Sergio and Chang, Bor-Yuh Evan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.13},
URN = {urn:nbn:de:0030-drops-107902},
doi = {10.4230/DARTS.5.2.13},
annote = {Keywords: domain-specific languages, event-based programming, language implementation, new programming models or languages, object-oriented programming, semantics, testing, verification, automated}
}
@Article{demuijnckhughes_et_al:DARTS.5.2.14,
author = {de Muijnck-Hughes, Jan and Vanderbauwhede, Wim},
title = {{A Typing Discipline for Hardware Interfaces}},
pages = {14:1--14:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2019},
volume = {5},
number = {2},
editor = {de Muijnck-Hughes, Jan and Vanderbauwhede, Wim},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.5.2.14},
URN = {urn:nbn:de:0030-drops-107919},
doi = {10.4230/DARTS.5.2.14},
annote = {Keywords: System-on-a-Chip, AXI, Dependent Types, Substructural Typing}
}
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