@Article{haller_et_al:DARTS.3.2.0,
author = {Haller, Philipp and Pradel, Michael and van der Storm, Tijs},
title = {{ Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}},
pages = {0:i--0:xii},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Haller, Philipp and Pradel, Michael and van der Storm, Tijs},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.0},
URN = {urn:nbn:de:0030-drops-72813},
doi = {10.4230/DARTS.3.2.0},
annote = {Keywords: Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}
}
@Article{harkes_et_al:DARTS.3.2.1,
author = {Harkes, Daco C. and Visser, Eelco},
title = {{IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)}},
pages = {1:1--1:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Harkes, Daco C. 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.3.2.1},
URN = {urn:nbn:de:0030-drops-72826},
doi = {10.4230/DARTS.3.2.1},
annote = {Keywords: incremental computing, data modeling, domain specific language}
}
@Article{melicher_et_al:DARTS.3.2.2,
author = {Melicher, Darya and Shi, Yangqingwei and Potanin, Alex and Aldrich, Jonathan},
title = {{A Capability-Based Module System for Authority Control (Artifact)}},
pages = {2:1--2:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Melicher, Darya and Shi, Yangqingwei and Potanin, Alex and Aldrich, Jonathan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.2},
URN = {urn:nbn:de:0030-drops-72838},
doi = {10.4230/DARTS.3.2.2},
annote = {Keywords: language-based security, capabilities, authority, modules}
}
@Article{scalas_et_al:DARTS.3.2.3,
author = {Scalas, Alceste and Dardha, Ornela and Hu, Raymond and Yoshida, Nobuko},
title = {{A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)}},
pages = {3:1--3:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Scalas, Alceste and Dardha, Ornela and Hu, Raymond 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.3.2.3},
URN = {urn:nbn:de:0030-drops-72847},
doi = {10.4230/DARTS.3.2.3},
annote = {Keywords: process calculi, session types, concurrent programming, Scala}
}
@Article{delbianco_et_al:DARTS.3.2.4,
author = {Delbianco, Germ\'{a}n Andr\'{e}s and Sergey, Ilya and Nanevski, Aleksandar and Banerjee, Anindya},
title = {{Concurrent Data Structures Linked in Time (Artifact)}},
pages = {4:1--4:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Delbianco, Germ\'{a}n Andr\'{e}s and Sergey, Ilya and Nanevski, Aleksandar and Banerjee, Anindya},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.4},
URN = {urn:nbn:de:0030-drops-72850},
doi = {10.4230/DARTS.3.2.4},
annote = {Keywords: separation logic, linearization Points, concurrent snapshots, FCSL}
}
@Article{wang_et_al:DARTS.3.2.5,
author = {Wang, Fei and Rompf, Tiark},
title = {{Towards Strong Normalization for Dependent Object Types (DOT) (Artifact)}},
pages = {5:1--5:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Wang, Fei and Rompf, Tiark},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.5},
URN = {urn:nbn:de:0030-drops-72869},
doi = {10.4230/DARTS.3.2.5},
annote = {Keywords: Scala, DOT, strong normalization, logical relations, recursive types}
}
@Article{dietrich_et_al:DARTS.3.2.6,
author = {Dietrich, Jens and Pearce, David J. and Jezek, Kamil and Brada, Premek},
title = {{Contracts in the Wild: A Study of Java Programs (Artifact)}},
pages = {6:1--6:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Dietrich, Jens and Pearce, David J. and Jezek, Kamil and Brada, Premek},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.6},
URN = {urn:nbn:de:0030-drops-72871},
doi = {10.4230/DARTS.3.2.6},
annote = {Keywords: verification, design-by-contract, assertions, preconditions, postconditions, runtime checking, java, input validation}
}
@Article{anderson_et_al:DARTS.3.2.7,
author = {Anderson, Todd A. and Liu, Hai and Kuper, Lindsey and Totoni, Ehsan and Vitek, Jan and Shpeisman, Tatiana},
title = {{Parallelizing Julia with a Non-Invasive DSL (Artifact)}},
pages = {7:1--7:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Anderson, Todd A. and Liu, Hai and Kuper, Lindsey and Totoni, Ehsan and Vitek, Jan and Shpeisman, Tatiana},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.7},
URN = {urn:nbn:de:0030-drops-72888},
doi = {10.4230/DARTS.3.2.7},
annote = {Keywords: parallelism, scientific computing, domain-specific languages, Julia}
}
@Article{williams_et_al:DARTS.3.2.8,
author = {Williams, Jack and Morris, J. Garrett and Wadler, Philip and Zalewski, Jakub},
title = {{Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact)}},
pages = {8:1--8:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Williams, Jack and Morris, J. Garrett and Wadler, Philip and Zalewski, Jakub},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.8},
URN = {urn:nbn:de:0030-drops-72899},
doi = {10.4230/DARTS.3.2.8},
annote = {Keywords: gradual typing, TypeScript, JavaScript, proxies}
}
@Article{cruz_et_al:DARTS.3.2.9,
author = {Cruz, Raimil and Rezk, Tamara and Serpette, Bernard and Tanter, \'{E}ric},
title = {{Type Abstraction for Relaxed Noninterference (Artifact)}},
pages = {9:1--9:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Cruz, Raimil and Rezk, Tamara and Serpette, Bernard and Tanter, \'{E}ric},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.9},
URN = {urn:nbn:de:0030-drops-72902},
doi = {10.4230/DARTS.3.2.9},
annote = {Keywords: type abstraction, relaxed noninterference, information flow control}
}
@Article{zhang_et_al:DARTS.3.2.10,
author = {Zhang, Weixin and Oliveira, Bruno C. d. S.},
title = {{EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact)}},
pages = {10:1--10:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Zhang, Weixin 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.3.2.10},
URN = {urn:nbn:de:0030-drops-72918},
doi = {10.4230/DARTS.3.2.10},
annote = {Keywords: visitor pattern, object algebras, modularity, domain-specific languages}
}
@Article{stievenart_et_al:DARTS.3.2.11,
author = {Sti\'{e}venart, Quentin and Nicolay, Jens and De Meuter, Wolfgang and De Roover, Coen},
title = {{Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)}},
pages = {11:1--11:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Sti\'{e}venart, Quentin and Nicolay, Jens and De Meuter, Wolfgang 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.3.2.11},
URN = {urn:nbn:de:0030-drops-72920},
doi = {10.4230/DARTS.3.2.11},
annote = {Keywords: static analysis, abstraction, abstract interpretation, actors, mailbox}
}
@Article{petricek:DARTS.3.2.12,
author = {Petricek, Tomas},
title = {{Data Exploration through Dot-driven Development (Artifact)}},
pages = {12:1--12:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Petricek, Tomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.12},
URN = {urn:nbn:de:0030-drops-72936},
doi = {10.4230/DARTS.3.2.12},
annote = {Keywords: data science, type providers, pivot tables, aggregation}
}
@Article{dietrich_et_al:DARTS.3.2.13,
author = {Dietrich, Jens and Jezek, Kamil and Rasheed, Shawn and Tahir, Amjed and Potanin, Alex},
title = {{Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact)}},
pages = {13:1--13:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Dietrich, Jens and Jezek, Kamil and Rasheed, Shawn and Tahir, Amjed and Potanin, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.13},
URN = {urn:nbn:de:0030-drops-72944},
doi = {10.4230/DARTS.3.2.13},
annote = {Keywords: serialisation, denial of service, degradation of service, Java, C#, JavaScript, Ruby, vulnerabilities, library design, collection libraries}
}
@Article{saleil_et_al:DARTS.3.2.14,
author = {Saleil, Baptiste and Feeley, Marc},
title = {{Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact)}},
pages = {14:1--14:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Saleil, Baptiste and Feeley, Marc},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.14},
URN = {urn:nbn:de:0030-drops-72952},
doi = {10.4230/DARTS.3.2.14},
annote = {Keywords: just-in-time compilation, interprocedural optimization, dynamic language, higher-order function, scheme}
}
@Article{kaiser_et_al:DARTS.3.2.15,
author = {Kaiser, Jan-Oliver and Dang, Hoang-Hai and Dreyer, Derek and Lahav, Ori and Vafeiadis, Viktor},
title = {{Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact)}},
pages = {15:1--15:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Kaiser, Jan-Oliver and Dang, Hoang-Hai and Dreyer, Derek and Lahav, Ori 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.3.2.15},
URN = {urn:nbn:de:0030-drops-72966},
doi = {10.4230/DARTS.3.2.15},
annote = {Keywords: weak memory models, release-acquire, concurrency, separation logic}
}
@Article{mayer_et_al:DARTS.3.2.16,
author = {Mayer, Mika\"{e}l and Hamza, Jad and Kuncak, Viktor},
title = {{Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact)}},
pages = {16:1--16:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2017},
volume = {3},
number = {2},
editor = {Mayer, Mika\"{e}l and Hamza, Jad and Kuncak, Viktor},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.16},
URN = {urn:nbn:de:0030-drops-72970},
doi = {10.4230/DARTS.3.2.16},
annote = {Keywords: programming by example, active learning, program synthesis}
}
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