@Article{halfond_et_al:DARTS.7.2.0,
author = {Halfond, William G. J. and Sti\'{e}venart, Quentin},
title = {{Front Matter - ECOOP 2021 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}},
pages = {0:i--0:xi},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Halfond, William G. J. and Sti\'{e}venart, Quentin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.0},
URN = {urn:nbn:de:0030-drops-140243},
doi = {10.4230/DARTS.7.2.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@Article{vanantwerpen_et_al:DARTS.7.2.1,
author = {van Antwerpen, Hendrik and Visser, Eelco},
title = {{Scope States (Artifact)}},
pages = {1:1--1:7},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {van Antwerpen, Hendrik and Visser, Eelco},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.1},
URN = {urn:nbn:de:0030-drops-140259},
doi = {10.4230/DARTS.7.2.1},
annote = {Keywords: type checking, name resolution, parallel algorithms}
}
@Article{bartoloburlo_et_al:DARTS.7.2.2,
author = {Bartolo Burl\`{o}, Christian and Francalanza, Adrian and Scalas, Alceste},
title = {{On the Monitorability of Session Types, in Theory and Practice (Artifact)}},
pages = {2:1--2:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Bartolo Burl\`{o}, Christian and Francalanza, Adrian and Scalas, Alceste},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.2},
URN = {urn:nbn:de:0030-drops-140267},
doi = {10.4230/DARTS.7.2.2},
annote = {Keywords: Session types, monitorability, monitor correctness, Scala}
}
@Article{tondwalkar_et_al:DARTS.7.2.3,
author = {Tondwalkar, Anish and Kolosick, Matt and Jhala, Ranjit},
title = {{mist: Refinements of Futures Past (Artifact)}},
pages = {3:1--3:11},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Tondwalkar, Anish and Kolosick, Matt and Jhala, Ranjit},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.3},
URN = {urn:nbn:de:0030-drops-140275},
doi = {10.4230/DARTS.7.2.3},
annote = {Keywords: Refinement Types, Implicit Parameters, Verification, Dependent Pairs}
}
@Article{bessai_et_al:DARTS.7.2.4,
author = {Bessai, Jan and Heineman, George T. and D\"{u}dder, Boris},
title = {{Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact)}},
pages = {4:1--4:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Bessai, Jan and Heineman, George T. and D\"{u}dder, Boris},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.4},
URN = {urn:nbn:de:0030-drops-140287},
doi = {10.4230/DARTS.7.2.4},
annote = {Keywords: Expression problem, software evolution, type safety, producer method, binary method}
}
@Article{arteca_et_al:DARTS.7.2.5,
author = {Arteca, Ellen and Tip, Frank and Sch\"{a}fer, Max},
title = {{Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact)}},
pages = {5:1--5:6},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Arteca, Ellen and Tip, Frank and Sch\"{a}fer, Max},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.5},
URN = {urn:nbn:de:0030-drops-140290},
doi = {10.4230/DARTS.7.2.5},
annote = {Keywords: asynchronous programming, refactoring, side-effect analysis, performance optimization, static analysis, JavaScript}
}
@Article{dimovski_et_al:DARTS.7.2.6,
author = {Dimovski, Aleksandar S. and Apel, Sven},
title = {{Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact)}},
pages = {6:1--6:6},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Dimovski, Aleksandar S. and Apel, Sven},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.6},
URN = {urn:nbn:de:0030-drops-140303},
doi = {10.4230/DARTS.7.2.6},
annote = {Keywords: Dynamic program families, Static analysis, Abstract interpretation, Decision tree lifted domain}
}
@Article{hao_et_al:DARTS.7.2.7,
author = {Hao, Yu and Latif, Sufian and Zhang, Hailong and Bassily, Raef and Rountev, Atanas},
title = {{Differential Privacy for Coverage Analysis of Software Traces (Artifact)}},
pages = {7:1--7:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Hao, Yu and Latif, Sufian and Zhang, Hailong and Bassily, Raef and Rountev, Atanas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.7},
URN = {urn:nbn:de:0030-drops-140319},
doi = {10.4230/DARTS.7.2.7},
annote = {Keywords: Trace Profiling, Differential Privacy, Program Analysis}
}
@Article{harvey_et_al:DARTS.7.2.8,
author = {Harvey, Paul and Fowler, Simon and Dardha, Ornela and Gay, Simon J.},
title = {{Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)}},
pages = {8:1--8:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Harvey, Paul and Fowler, Simon and Dardha, Ornela and Gay, Simon J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.8},
URN = {urn:nbn:de:0030-drops-140327},
doi = {10.4230/DARTS.7.2.8},
annote = {Keywords: Concurrency, session types, adaptation, actors, trust}
}
@Article{ye_et_al:DARTS.7.2.9,
author = {Ye, Wenjia and Oliveira, Bruno C. d. S. and Huang, Xuejing},
title = {{Type-Directed Operational Semantics for Gradual Typing (Artifact)}},
pages = {9:1--9:6},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Ye, Wenjia and Oliveira, Bruno C. d. S. and Huang, Xuejing},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.9},
URN = {urn:nbn:de:0030-drops-140337},
doi = {10.4230/DARTS.7.2.9},
annote = {Keywords: Gradual Typing, Operational Semantics, Type Systems}
}
@Article{brady:DARTS.7.2.10,
author = {Brady, Edwin},
title = {{Idris 2: Quantitative Type Theory in Practice (Artifact)}},
pages = {10:1--10:7},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Brady, Edwin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.10},
URN = {urn:nbn:de:0030-drops-140342},
doi = {10.4230/DARTS.7.2.10},
annote = {Keywords: Dependent types, linear types, concurrency}
}
@Article{zhang_et_al:DARTS.7.2.11,
author = {Zhang, Weixin and Sun, Yaozhu and Oliveira, Bruno C. d. S.},
title = {{Compositional Programming (Artifact)}},
pages = {11:1--11:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Zhang, Weixin and Sun, Yaozhu 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.7.2.11},
URN = {urn:nbn:de:0030-drops-140356},
doi = {10.4230/DARTS.7.2.11},
annote = {Keywords: Expression Problem, Compositionality, Traits}
}
@Article{he_et_al:DARTS.7.2.12,
author = {He, Dongjie and Lu, Jingbo and Gao, Yaoqing and Xue, Jingling},
title = {{Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact)}},
pages = {12:1--12:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {He, Dongjie and Lu, Jingbo and Gao, Yaoqing and Xue, Jingling},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.12},
URN = {urn:nbn:de:0030-drops-140363},
doi = {10.4230/DARTS.7.2.12},
annote = {Keywords: Object-Sensitive Pointer Analysis, CFL Reachability, Object Containment}
}
@Article{maj_et_al:DARTS.7.2.13,
author = {Maj, Petr and Siek¹, Konrad and Kovalenko, Alexander and Vitek, Jan},
title = {{CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact)}},
pages = {13:1--13:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Maj, Petr and Siek¹, Konrad and Kovalenko, Alexander 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.7.2.13},
URN = {urn:nbn:de:0030-drops-140371},
doi = {10.4230/DARTS.7.2.13},
annote = {Keywords: Software, Mining Code Repositories, Source Code Analysis}
}
@Article{buyse_et_al:DARTS.7.2.14,
author = {Buyse, Maxime and Delmas, R\'{e}mi and Hamadi, Youssef},
title = {{ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact)}},
pages = {14:1--14:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Buyse, Maxime and Delmas, R\'{e}mi and Hamadi, Youssef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.14},
URN = {urn:nbn:de:0030-drops-140382},
doi = {10.4230/DARTS.7.2.14},
annote = {Keywords: Domain-Specific Language, Deep Embedding, Scala 3, Architecture Modelling, Safety Assessment, Static Analysis, Monte-Carlo Methods}
}
@Article{rau_et_al:DARTS.7.2.15,
author = {Rau, Ohad and Voss, Caleb and Sarkar, Vivek},
title = {{Linear Promises: Towards Safer Concurrent Programming (Artifact)}},
pages = {15:1--15:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2021},
volume = {7},
number = {2},
editor = {Rau, Ohad and Voss, Caleb and Sarkar, Vivek},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.7.2.15},
URN = {urn:nbn:de:0030-drops-140394},
doi = {10.4230/DARTS.7.2.15},
annote = {Keywords: promises, type systems, linear typing, operational semantics, concurrency}
}
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