@Article{demetrescu_et_al:DARTS.1.1.0,
author = {Demetrescu, Camil and Flatt, Matthew},
title = {{Front Matter, Table of Contents}},
pages = {0:i--0:vi},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2016},
volume = {1},
number = {1},
editor = {Demetrescu, Camil and Flatt, Matthew},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.0},
URN = {urn:nbn:de:0030-drops-61407},
doi = {10.4230/DARTS.1.1.0},
annote = {Keywords: Front Matter, Table of Contents}
}
@Article{keil_et_al:DARTS.1.1.1,
author = {Keil, Matthias and Thiemann, Peter},
title = {{TreatJS: Higher-Order Contracts for JavaScript (Artifact)}},
pages = {1:1--1:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {Keil, Matthias 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.1.1.1},
URN = {urn:nbn:de:0030-drops-55105},
doi = {10.4230/DARTS.1.1.1},
annote = {Keywords: Higher-Order Contracts, JavaScript, Proxies}
}
@Article{keil_et_al:DARTS.1.1.2,
author = {Keil, Matthias and Guria, Sankha Narayan and Schlegel, Andreas and Geffken, Manuel and Thiemann, Peter},
title = {{Transparent Object Proxies for JavaScript (Artifact)}},
pages = {2:1--2:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {Keil, Matthias and Guria, Sankha Narayan and Schlegel, Andreas and Geffken, Manuel 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.1.1.2},
URN = {urn:nbn:de:0030-drops-55114},
doi = {10.4230/DARTS.1.1.2},
annote = {Keywords: JavaScript, Proxies, Equality, Contracts}
}
@Article{lee_et_al:DARTS.1.1.3,
author = {Lee, Joseph and Aldrich, Jonathan and Shaw, Troy and Potanin, Alex and Chung, Benjamin},
title = {{A Theory of Tagged Objects (Artifact)}},
pages = {3:1--3:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {Lee, Joseph and Aldrich, Jonathan and Shaw, Troy and Potanin, Alex and Chung, Benjamin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.3},
URN = {urn:nbn:de:0030-drops-55121},
doi = {10.4230/DARTS.1.1.3},
annote = {Keywords: objects, classes, tags, nominal and structural types}
}
@Article{jones_et_al:DARTS.1.1.4,
author = {Jones, Timothy and Homer, Michael and Noble, James},
title = {{Brand Objects for Nominal Typing (Artifact)}},
pages = {4:1--4:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {Jones, Timothy and Homer, Michael and Noble, James},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.4},
URN = {urn:nbn:de:0030-drops-55134},
doi = {10.4230/DARTS.1.1.4},
annote = {Keywords: brands, types, structural, nominal, Grace}
}
@Article{stamour_et_al:DARTS.1.1.5,
author = {St-Amour, Vincent and Guo, Shu-yu},
title = {{Optimization Coaching for JavaScript (Artifact)}},
pages = {5:1--5:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {St-Amour, Vincent and Guo, Shu-yu},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.5},
URN = {urn:nbn:de:0030-drops-55146},
doi = {10.4230/DARTS.1.1.5},
annote = {Keywords: Optimization Coaching, JavaScript, Performance Tools}
}
@Article{imam_et_al:DARTS.1.1.6,
author = {Imam, Shams and Sarkar, Vivek},
title = {{The Eureka Programming Model for Speculative Task Parallelism (Artifact)}},
pages = {6:1--6:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {Imam, Shams 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.1.1.6},
URN = {urn:nbn:de:0030-drops-55157},
doi = {10.4230/DARTS.1.1.6},
annote = {Keywords: Async-Finish Model, Delimited Continuations, Eureka Model, Parallel Programming, Speculative Parallelism, Task Cancellation, Task Termination}
}
@Article{medeiros_et_al:DARTS.1.1.7,
author = {Medeiros, Fl\'{a}vio and K\"{a}stner, Christian and Ribeiro, M\'{a}rcio and Nadi, Sarah and Gheyi, Rohit},
title = {{The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact)}},
pages = {7:1--7:32},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {Medeiros, Fl\'{a}vio and K\"{a}stner, Christian and Ribeiro, M\'{a}rcio and Nadi, Sarah and Gheyi, Rohit},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.7},
URN = {urn:nbn:de:0030-drops-55162},
doi = {10.4230/DARTS.1.1.7},
annote = {Keywords: C Preprocessor, CPP, Interviews, Surveys, and Grounded Theory}
}
@Article{shinnar_et_al:DARTS.1.1.8,
author = {Shinnar, Avraham and Sim\'{e}on, J\'{e}r\^{o}me and Hirzel, Martin},
title = {{A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)}},
pages = {8:1--8:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {Shinnar, Avraham and Sim\'{e}on, J\'{e}r\^{o}me and Hirzel, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.8},
URN = {urn:nbn:de:0030-drops-55179},
doi = {10.4230/DARTS.1.1.8},
annote = {Keywords: Rules, Pattern Matching, Aggregation, Nested Queries, Mechanization}
}
@Article{biboudis_et_al:DARTS.1.1.9,
author = {Biboudis, Aggelos and Palladinos, Nick and Fourtounis, George and Smaragdakis, Yannis},
title = {{Streams \`{a} la carte: Extensible Pipelines with Object Algebras (Artifact)}},
pages = {9:1--9:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {Biboudis, Aggelos and Palladinos, Nick and 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.1.1.9},
URN = {urn:nbn:de:0030-drops-55189},
doi = {10.4230/DARTS.1.1.9},
annote = {Keywords: object algebras, streams, extensibility, domain-specific languages, expression problem, library design}
}
@Article{schwerhoff_et_al:DARTS.1.1.10,
author = {Schwerhoff, Malte and Summers, Alexander J.},
title = {{Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)}},
pages = {10:1--10:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {Schwerhoff, Malte and Summers, Alexander J.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.10},
URN = {urn:nbn:de:0030-drops-55192},
doi = {10.4230/DARTS.1.1.10},
annote = {Keywords: Magic Wand, Software Verification, Automatic Verifiers, Separation Logic, Implicit Dynamic Frames}
}
@Article{hauzar_et_al:DARTS.1.1.11,
author = {Hauzar, David and Kofron, Jan},
title = {{Framework for Static Analysis of PHP Applications (Artifact)}},
pages = {11:1--11:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {Hauzar, David and Kofron, Jan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.11},
URN = {urn:nbn:de:0030-drops-55208},
doi = {10.4230/DARTS.1.1.11},
annote = {Keywords: Static analysis, abstract interpretation, dynamic languages, PHP, security}
}
@Article{park_et_al:DARTS.1.1.12,
author = {Park, Changhee and Ryu, Sukyoung},
title = {{Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact)}},
pages = {12:1--12:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2015},
volume = {1},
number = {1},
editor = {Park, Changhee and Ryu, Sukyoung},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.12},
URN = {urn:nbn:de:0030-drops-55216},
doi = {10.4230/DARTS.1.1.12},
annote = {Keywords: JavaScript, static analysis, loops}
}
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