@Article{flatt_et_al:DARTS.2.1.0,
author = {Flatt, Matthew and van der Storm, Tijs},
title = {{Front Matter, Table of Contents, Preface, Artifact Evaluation Committee}},
pages = {0:i--0:x},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Flatt, Matthew 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.2.1.0},
URN = {urn:nbn:de:0030-drops-61212},
doi = {10.4230/DARTS.2.1.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Artifact Evaluation Committee}
}
@Article{barrett_et_al:DARTS.2.1.1,
author = {Barrett, Edd and Bolz, Carl Friedrich and Diekmann, Lukas and Tratt, Laurence},
title = {{Fine-grained Language Composition: A Case Study (Artifact)}},
pages = {1:1--1:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Barrett, Edd and Bolz, Carl Friedrich and 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.2.1.1},
URN = {urn:nbn:de:0030-drops-61223},
doi = {10.4230/DARTS.2.1.1},
annote = {Keywords: JIT, tracing, language composition}
}
@Article{bolz_et_al:DARTS.2.1.2,
author = {Bolz, Carl Friedrich and Kurilova, Darya and Tratt, Laurence},
title = {{Making an Embedded DBMS JIT-friendly (Artifact)}},
pages = {2:1--2:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Bolz, Carl Friedrich and Kurilova, Darya 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.2.1.2},
URN = {urn:nbn:de:0030-drops-61233},
doi = {10.4230/DARTS.2.1.2},
annote = {Keywords: DBMSs, JIT, performance, tracing}
}
@Article{eyolfson_et_al:DARTS.2.1.3,
author = {Eyolfson, Jon and Lam, Patrick},
title = {{C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact)}},
pages = {3:1--3:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Eyolfson, Jon and Lam, Patrick},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.3},
URN = {urn:nbn:de:0030-drops-61249},
doi = {10.4230/DARTS.2.1.3},
annote = {Keywords: empirical study, dynamic analysis, immutability}
}
@Article{fennell_et_al:DARTS.2.1.4,
author = {Fennell, Luminous and Thiemann, Peter},
title = {{LJGS: Gradual Security Types for Object-Oriented Languages (Artifact)}},
pages = {4:1--4:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Fennell, Luminous and Thiemann, Peter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.4},
URN = {urn:nbn:de:0030-drops-61253},
doi = {10.4230/DARTS.2.1.4},
annote = {Keywords: gradual typing, security typing, Java, hybrid information flow control}
}
@Article{jezek_et_al:DARTS.2.1.5,
author = {Jezek, Kamil and Dietrich, Jens},
title = {{Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic (Artifact)}},
pages = {5:1--5:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Jezek, Kamil and Dietrich, Jens},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.5},
URN = {urn:nbn:de:0030-drops-61260},
doi = {10.4230/DARTS.2.1.5},
annote = {Keywords: Java, compilation, linking, binary compatibility, invokedynamic}
}
@Article{jones_et_al:DARTS.2.1.6,
author = {Jones, Timothy and Homer, Michael},
title = {{Object Inheritance Without Classes (Artifact)}},
pages = {6:1--6:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Jones, Timothy and Homer, Michael},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.6},
URN = {urn:nbn:de:0030-drops-61278},
doi = {10.4230/DARTS.2.1.6},
annote = {Keywords: Inheritance, Objects, Classes, Operational semantics, PLT Redex}
}
@Article{jarvi_et_al:DARTS.2.1.7,
author = {Järvi, Jaakko and Parent, Sean},
title = {{One Way to Select Many (Artifact)}},
pages = {7:1--7:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Järvi, Jaakko and Parent, Sean},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.7},
URN = {urn:nbn:de:0030-drops-61280},
doi = {10.4230/DARTS.2.1.7},
annote = {Keywords: User interfaces, Multi-selection, JavaScript}
}
@Article{tan_et_al:DARTS.2.1.8,
author = {Tan, Tian and Li, Yue and Zhang, Yifei and Xue, Jingling},
title = {{Program Tailoring: Slicing by Sequential Criteria (Artifact)}},
pages = {8:1--8:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Tan, Tian and Li, Yue and Zhang, Yifei 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.2.1.8},
URN = {urn:nbn:de:0030-drops-61298},
doi = {10.4230/DARTS.2.1.8},
annote = {Keywords: Program Slicing, Program Analysis, API Protocol Specification}
}
@Article{facchinetti_et_al:DARTS.2.1.9,
author = {Facchinetti, Leandro and Palmer, Zachary and Smith, Scott F.},
title = {{Higher-Order Demand-Driven Program Analysis (Artifact)}},
pages = {9:1--9:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Facchinetti, Leandro and Palmer, Zachary and Smith, Scott F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.9},
URN = {urn:nbn:de:0030-drops-61304},
doi = {10.4230/DARTS.2.1.9},
annote = {Keywords: program analysis, polynomial, demand-driven, flow-sensitive, context-sensitive}
}
@Article{bachpoulsen_et_al:DARTS.2.1.10,
author = {Bach Poulsen, Casper and Néron, Pierre and Tolmach, Andrew and Visser, Eelco},
title = {{Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)}},
pages = {10:1--10:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Bach Poulsen, Casper and Néron, Pierre and Tolmach, Andrew 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.2.1.10},
URN = {urn:nbn:de:0030-drops-61314},
doi = {10.4230/DARTS.2.1.10},
annote = {Keywords: Dynamic semantics, scope graphs, memory layout, type soundness, operational semantics}
}
@Article{scalas_et_al:DARTS.2.1.11,
author = {Scalas, Alceste and Yoshida, Nobuko},
title = {{Lightweight Session Programming in Scala (Artifact)}},
pages = {11:1--11:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Scalas, Alceste 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.2.1.11},
URN = {urn:nbn:de:0030-drops-61327},
doi = {10.4230/DARTS.2.1.11},
annote = {Keywords: session types, Scala, concurrency}
}
@Article{spath_et_al:DARTS.2.1.12,
author = {Sp\"{a}th, Johannes and Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric},
title = {{Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)}},
pages = {12:1--12:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Sp\"{a}th, Johannes and Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.12},
URN = {urn:nbn:de:0030-drops-61334},
doi = {10.4230/DARTS.2.1.12},
annote = {Keywords: Demand-Driven; Static Analysis; IFDS; Aliasing; Points-to Analysis}
}
@Article{swalens:DARTS.2.1.13,
author = {Swalens, Janwillem},
title = {{Transactional Tasks: Parallelism in Software Transactions (Artifact)}},
pages = {13:1--13:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Swalens, Janwillem},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.13},
URN = {urn:nbn:de:0030-drops-61348},
doi = {10.4230/DARTS.2.1.13},
annote = {Keywords: Concurrency, Parallelism, Futures, Threads, Fork/Join, Software Transactional Memory}
}
@Article{toman_et_al:DARTS.2.1.14,
author = {Toman, John and Grossman, Dan},
title = {{Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact)}},
pages = {14:1--14:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {2},
number = {1},
editor = {Toman, John and Grossman, Dan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.2.1.14},
URN = {urn:nbn:de:0030-drops-61350},
doi = {10.4230/DARTS.2.1.14},
annote = {Keywords: Dynamic Configuration Updates, Dynamic Analysis, Software configuration}
}
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