@Article{nguyenquangdo_et_al:DARTS.6.2.0,
author = {Nguyen Quang Do, Lisa and Rigger, Manuel},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
pages = {0:i--0:xii},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Nguyen Quang Do, Lisa 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.6.2.0},
URN = {urn:nbn:de:0030-drops-131977},
doi = {10.4230/DARTS.6.2.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@Article{barbar_et_al:DARTS.6.2.1,
author = {Barbar, Mohamad and Sui, Yulei and Chen, Shiping},
title = {{Flow-Sensitive Type-Based Heap Cloning (Artifact)}},
pages = {1:1--1:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Barbar, Mohamad and Sui, Yulei and Chen, Shiping},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.1},
URN = {urn:nbn:de:0030-drops-131988},
doi = {10.4230/DARTS.6.2.1},
annote = {Keywords: Heap cloning, type-based analysis, flow-sensitivity}
}
@Article{demuijnckhughes_et_al:DARTS.6.2.2,
author = {de Muijnck-Hughes, Jan and Brady, Edwin and Vanderbauwhede, Wim},
title = {{A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact)}},
pages = {2:1--2:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {de Muijnck-Hughes, Jan and Brady, Edwin 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.6.2.2},
URN = {urn:nbn:de:0030-drops-131995},
doi = {10.4230/DARTS.6.2.2},
annote = {Keywords: Dependent Types, Algebraic Effect Handlers, Domain-Specific Languages, Embedded Domain Specific Languages, Idris, Substructural Type-Systems}
}
@Article{donaldson_et_al:DARTS.6.2.3,
author = {Donaldson, Alastair F. and Evrard, Hugues and Thomson, Paul},
title = {{Putting Randomized Compiler Testing into Production (Artifact)}},
pages = {3:1--3:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Donaldson, Alastair F. and Evrard, Hugues and Thomson, Paul},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.3},
URN = {urn:nbn:de:0030-drops-132005},
doi = {10.4230/DARTS.6.2.3},
annote = {Keywords: Compilers, metamorphic testing, 3D graphics, experience report}
}
@Article{moiseenko_et_al:DARTS.6.2.4,
author = {Moiseenko, Evgenii and Podkopaev, Anton and Lahav, Ori and Melkonian, Orestis and Vafeiadis, Viktor},
title = {{Reconciling Event Structures with Modern Multiprocessors (Artifact)}},
pages = {4:1--4:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Moiseenko, Evgenii and Podkopaev, Anton and Lahav, Ori and Melkonian, Orestis and Vafeiadis, Viktor},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.4},
URN = {urn:nbn:de:0030-drops-132015},
doi = {10.4230/DARTS.6.2.4},
annote = {Keywords: Weak Memory Consistency, Event Structures, IMM, Weakestmo}
}
@Article{sampaio_et_al:DARTS.6.2.5,
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 (Artifact)}},
pages = {5:1--5:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Sampaio, Gabriela and Fragoso Santos, Jos\'{e} and Maksimovi\'{c}, Petar and Gardner, Philippa},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.5},
URN = {urn:nbn:de:0030-drops-132028},
doi = {10.4230/DARTS.6.2.5},
annote = {Keywords: Events, DOM, JavaScript, promises, symbolic execution, bug-finding}
}
@Article{lagouvardos_et_al:DARTS.6.2.6,
author = {Lagouvardos, Sifis and Dolby, Julian and Grech, Neville and Antoniadis, Anastasios and Smaragdakis, Yannis},
title = {{Static Analysis of Shape in TensorFlow Programs (Artifact)}},
pages = {6:1--6:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Lagouvardos, Sifis and Dolby, Julian and Grech, Neville and Antoniadis, Anastasios 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.6.2.6},
URN = {urn:nbn:de:0030-drops-132035},
doi = {10.4230/DARTS.6.2.6},
annote = {Keywords: Python, TensorFlow, static analysis, Doop, Wala}
}
@Article{vandenvonder_et_al:DARTS.6.2.7,
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 (Artifact)}},
pages = {7:1--7:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Van den Vonder, Sam and Renaux, Thierry and Oeyen, Bjarno and De Koster, Joeri and De Meuter, Wolfgang},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.7},
URN = {urn:nbn:de:0030-drops-132045},
doi = {10.4230/DARTS.6.2.7},
annote = {Keywords: functional reactive programming, reactive programming, reactive streams, actors, reactors}
}
@Article{oliveira_et_al:DARTS.6.2.8,
author = {Oliveira, Bruno C. d. S. and Shaobo, Cui and Rehman, Baber},
title = {{The Duality of Subtyping (Artifact)}},
pages = {8:1--8:6},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Oliveira, Bruno C. d. S. and Shaobo, Cui and Rehman, Baber},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.8},
URN = {urn:nbn:de:0030-drops-132051},
doi = {10.4230/DARTS.6.2.8},
annote = {Keywords: DuoTyping, OOP, Duality, Subtyping, Supertyping}
}
@Article{huang_et_al:DARTS.6.2.9,
author = {Huang, Xuejing and Oliveira, Bruno C. d. S.},
title = {{A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact)}},
pages = {9:1--9:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Huang, Xuejing and Oliveira, Bruno C. d. S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.9},
URN = {urn:nbn:de:0030-drops-132060},
doi = {10.4230/DARTS.6.2.9},
annote = {Keywords: operational semantics, type systems, intersection types}
}
@Article{nieto_et_al:DARTS.6.2.10,
author = {Nieto, Abel and Rapoport, Marianna and Richards, Gregor and Lhot\'{a}k, Ond\v{r}ej},
title = {{Blame for Null (Artifact)}},
pages = {10:1--10:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Nieto, Abel and Rapoport, Marianna and Richards, Gregor and Lhot\'{a}k, Ond\v{r}ej},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.10},
URN = {urn:nbn:de:0030-drops-132070},
doi = {10.4230/DARTS.6.2.10},
annote = {Keywords: nullability, type systems, blame calculus, gradual typing}
}
@Article{monat_et_al:DARTS.6.2.11,
author = {Monat, Rapha\"{e}l and Ouadjaout, Abdelraouf and Min\'{e}, Antoine},
title = {{Static Type Analysis by Abstract Interpretation of Python Programs (Artifact)}},
pages = {11:1--11:6},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Monat, Rapha\"{e}l and Ouadjaout, Abdelraouf and Min\'{e}, Antoine},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.11},
URN = {urn:nbn:de:0030-drops-132082},
doi = {10.4230/DARTS.6.2.11},
annote = {Keywords: Formal Methods, Static Analysis, Abstract Interpretation, Type Analysis, Dynamic Programming Language, Python Semantics}
}
@Article{gabet_et_al:DARTS.6.2.12,
author = {Gabet, Julia and Yoshida, Nobuko},
title = {{Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact)}},
pages = {12:1--12:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Gabet, Julia and Yoshida, Nobuko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.12},
URN = {urn:nbn:de:0030-drops-132096},
doi = {10.4230/DARTS.6.2.12},
annote = {Keywords: Go language, behavioural types, race detection, happens-before relation, safety, liveness}
}
@Article{fowler:DARTS.6.2.13,
author = {Fowler, Simon},
title = {{Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact)}},
pages = {13:1--13:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Fowler, Simon},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.13},
URN = {urn:nbn:de:0030-drops-132109},
doi = {10.4230/DARTS.6.2.13},
annote = {Keywords: Session types, concurrent programming, Model-View-Update}
}
@Article{nieto_et_al:DARTS.6.2.14,
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 (Artifact)}},
pages = {14:1--14:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Nieto, Abel and Zhao, Yaoyu and Lhot\'{a}k, Ond\v{r}ej and Chang, Angela and Pu, Justin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.14},
URN = {urn:nbn:de:0030-drops-132117},
doi = {10.4230/DARTS.6.2.14},
annote = {Keywords: Scala, Java, nullability, language interoperability, type systems}
}
@Article{dalvandi_et_al:DARTS.6.2.15,
author = {Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike},
title = {{Owicki-Gries Reasoning for C11 RAR (Artifact)}},
pages = {15:1--15:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.15},
URN = {urn:nbn:de:0030-drops-132123},
doi = {10.4230/DARTS.6.2.15},
annote = {Keywords: C11, Verification, Hoare logic, Owicki-Gries, Isabelle}
}
@Article{peleg_et_al:DARTS.6.2.16,
author = {Peleg, Hila and Polikarpova, Nadia},
title = {{Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact)}},
pages = {16:1--16:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Peleg, Hila and Polikarpova, Nadia},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.16},
URN = {urn:nbn:de:0030-drops-132136},
doi = {10.4230/DARTS.6.2.16},
annote = {Keywords: Program Synthesis, Programming by Example}
}
@Article{diekmann_et_al:DARTS.6.2.17,
author = {Diekmann, Lukas and Tratt, Laurence},
title = {{Don't Panic! Better, Fewer, Syntax Errors for LR Parsers (Artifact)}},
pages = {17:1--17:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Diekmann, Lukas and Tratt, Laurence},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.17},
URN = {urn:nbn:de:0030-drops-132143},
doi = {10.4230/DARTS.6.2.17},
annote = {Keywords: Parsing, error recovery, programming languages}
}
@Article{imai_et_al:DARTS.6.2.18,
author = {Imai, Keigo and Neykova, Rumyana and Yoshida, Nobuko and Yuen, Shoji},
title = {{Multiparty Session Programming with Global Protocol Combinators (Artifact)}},
pages = {18:1--18:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Imai, Keigo and Neykova, Rumyana and Yoshida, Nobuko and Yuen, Shoji},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.18},
URN = {urn:nbn:de:0030-drops-132159},
doi = {10.4230/DARTS.6.2.18},
annote = {Keywords: Multiparty Session Types, Communication Protocol, Concurrent and Distributed Programming, OCaml}
}
@Article{tasos_et_al:DARTS.6.2.19,
author = {Tasos, Alexandros and Franco, Juliana and Drossopoulou, Sophia and Wrigstad, Tobias and Eisenbach, Susan},
title = {{Implementation of SHAPES Case Studies (Artifact)}},
pages = {19:1--19:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2020},
volume = {6},
number = {2},
editor = {Tasos, Alexandros and Franco, Juliana and Drossopoulou, Sophia and Wrigstad, Tobias and Eisenbach, Susan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.19},
URN = {urn:nbn:de:0030-drops-132167},
doi = {10.4230/DARTS.6.2.19},
annote = {Keywords: Cache utilisation, Data representation, Memory safety}
}
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