default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:journals/darts:"
download as .bib file
@article{DBLP:journals/darts/0001BWM24,
author = {David Richter and
Timon B{\"{o}}hler and
Pascal Weisenburger and
Mira Mezini},
title = {Compiling with Arrays (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {18:1--18:7},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.18},
doi = {10.4230/DARTS.10.2.18},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/0001BWM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/0002ZCNLC024,
author = {Liyi Li and
Mingwei Zhu and
Rance Cleaveland and
Alexander Nicolellis and
Yi Lee and
Le Chang and
Xiaodi Wu},
title = {Qafny: {A} Quantum-Program Verifier (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {12:1--12:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.12},
doi = {10.4230/DARTS.10.2.12},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/0002ZCNLC024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AcetoAFI24,
author = {Luca Aceto and
Duncan Paul Attard and
Adrian Francalanza and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Runtime Instrumentation for Reactive Components (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {1:1--1:4},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.1},
doi = {10.4230/DARTS.10.2.1},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/AcetoAFI24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AliTGA24,
author = {Syed W. Ali and
Zelin Tong and
Joseph Goh and
James H. Anderson},
title = {Predictable {GPU} Sharing in Component-Based Real-Time Systems (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {1},
pages = {1:1--1:5},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.1.1},
doi = {10.4230/DARTS.10.1.1},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/AliTGA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ArztMN24,
author = {Steven Arzt and
Marc Miltenberger and
Julius N{\"{a}}umann},
title = {Dynamically Generating Callback Summaries for Enhancing Static Analysis
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {2:1--2:5},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.2},
doi = {10.4230/DARTS.10.2.2},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ArztMN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/CarvalhoS24,
author = {Lu{\'{\i}}s Carvalho and
Jo{\~{a}}o Costa Seco},
title = {A Language-Based Version Control System for Python (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {3:1--3:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.3},
doi = {10.4230/DARTS.10.2.3},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/CarvalhoS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DenglerW24,
author = {Eva Dengler and
Peter W{\"{a}}gemann},
title = {Cr{\^{e}}pe: Clock Reconfigurability for Preemption Control (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {1},
pages = {2:1--2:3},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.1.2},
doi = {10.4230/DARTS.10.1.2},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DenglerW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DerakhshanBY24,
author = {Farzaneh Derakhshan and
Stephanie Balzer and
Yue Yao},
title = {Regrading Policies for Flexible Information Flow Control in Session-Typed
Concurrency (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {4:1--4:3},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.4},
doi = {10.4230/DARTS.10.2.4},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DerakhshanBY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Dimovski24,
author = {Aleksandar S. Dimovski},
title = {Mutation-Based Lifted Repair of Software Product Lines (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {5:1--5:5},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.5},
doi = {10.4230/DARTS.10.2.5},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Dimovski24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DortLLP24,
author = {Vlastimil Dort and
Yufeng Li and
Ondrej Lhot{\'{a}}k and
Pavel Par{\'{\i}}zek},
title = {Pure Methods for roDOT (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {6:1--6:8},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.6},
doi = {10.4230/DARTS.10.2.6},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DortLLP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/EstepNRS24,
author = {Sam Estep and
Wode Ni and
Raven Rothkopf and
Joshua Sunshine},
title = {Rose: Composable Autodiff for the Interactive Web (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {7:1--7:4},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.7},
doi = {10.4230/DARTS.10.2.7},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/EstepNRS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HallerHMST24,
author = {Philipp Haller and
Ayman Hussein and
Hern{\'{a}}n C. Melgratti and
Alceste Scalas and
Emilio Tuosto},
title = {Fair Join Pattern Matching for Actors (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {8:1--8:3},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.8},
doi = {10.4230/DARTS.10.2.8},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HallerHMST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KinsbrunerIP24,
author = {Elad Kinsbruner and
Shachar Itzhaky and
Hila Peleg},
title = {Constrictor: Immutability as a Design Concept (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {9:1--9:4},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.9},
doi = {10.4230/DARTS.10.2.9},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KinsbrunerIP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LagaillardieHY24,
author = {Nicolas Lagaillardie and
Ping Hou and
Nobuko Yoshida},
title = {Fearless Asynchronous Communications with Timed Session Types in Rust
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {10:1--10:3},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.10},
doi = {10.4230/DARTS.10.2.10},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/LagaillardieHY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LiYC24,
author = {Senxi Li and
Tetsuro Yamazaki and
Shigeru Chiba},
title = {InferType: {A} Compiler Toolkit for Implementing Efficient Constraint-Based
Type Inference (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {11:1--11:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.11},
doi = {10.4230/DARTS.10.2.11},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/LiYC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LiuWAYZL24,
author = {Sizhe Liu and
Rohan Wagle and
James H. Anderson and
Ming Yang and
Chi Zhang and
Yunhua Li},
title = {Autonomy Today: Many Delay-Prone Black Boxes (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {1},
pages = {3:1--3:3},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.1.3},
doi = {10.4230/DARTS.10.1.3},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/LiuWAYZL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LoowNACKMG24,
author = {Andreas L{\"{o}}{\"{o}}w and
Daniele Nantes{-}Sobrinho and
Sacha{-}{\'{E}}lie Ayoun and
Caroline Cronj{\"{a}}ger and
Nat Karmios and
Petar Maksimovic and
Philippa Gardner},
title = {Compositional Symbolic Execution for Correctness and Incorrectness
Reasoning (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {13:1--13:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.13},
doi = {10.4230/DARTS.10.2.13},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/LoowNACKMG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MigeedP24,
author = {Zeina Migeed and
Jens Palsberg},
title = {Generalizing Shape Analysis with Gradual Types (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {14:1--14:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.14},
doi = {10.4230/DARTS.10.2.14},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MigeedP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/OttavianoC0C24,
author = {Daniele Ottaviano and
Francesco Ciraolo and
Renato Mancuso and
Marcello Cinque},
title = {The Omnivisor: {A} real-time static partitioning hypervisor extension
for heterogeneous core virtualization over MPSoCs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {1},
pages = {4:1--4:7},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.1.4},
doi = {10.4230/DARTS.10.1.4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/OttavianoC0C24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/PatelSW24,
author = {Nisarg Patel and
Dennis Shasha and
Thomas Wies},
title = {Verifying Lock-Free Search Structure Templates (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {15:1--15:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.15},
doi = {10.4230/DARTS.10.2.15},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/PatelSW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/PlyukhinPM24,
author = {Dan Plyukhin and
Marco Peressotti and
Fabrizio Montesi},
title = {Ozone: Fully Out-of-Order Choreographies (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {16:1--16:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.16},
doi = {10.4230/DARTS.10.2.16},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/PlyukhinPM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/QiuCBHSC24,
author = {Jie Qiu and
Colin Cai and
Sahil Bhatia and
Niranjan Hasabnis and
Sanjit A. Seshia and
Alvin Cheung},
title = {Tenspiler: {A} Verified-Lifting-Based Compiler for Tensor Operations
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {17:1--17:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.17},
doi = {10.4230/DARTS.10.2.17},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/QiuCBHSC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RobinsonP24,
author = {Amos Robinson and
Alex Potanin},
title = {Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {19:1--19:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.19},
doi = {10.4230/DARTS.10.2.19},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/RobinsonP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SchottPFKB24,
author = {Stefan Schott and
Serena Elisa Ponta and
Wolfram Fischer and
Jonas Klauke and
Eric Bodden},
title = {Java Bytecode Normalization for Code Similarity Analysis (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {20:1--20:3},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.20},
doi = {10.4230/DARTS.10.2.20},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SchottPFKB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SinghalKZP0RN024,
author = {Vidush Singhal and
Chaitanya Koparkar and
Joseph Zullo and
Artem Pelenitsyn and
Michael Vollmer and
Mike Rainey and
Ryan Newton and
Milind Kulkarni},
title = {Optimizing Layout of Recursive Datatypes with Marmoset (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {21:1--21:10},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.21},
doi = {10.4230/DARTS.10.2.21},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SinghalKZP0RN024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Sun000024,
author = {Ke Sun and
Di Wang and
Sheng Chen and
Meng Wang and
Dan Hao},
title = {Formalizing, Mechanizing, and Verifying Class-Based Refinement Types
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {22:1--22:3},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.22},
doi = {10.4230/DARTS.10.2.22},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Sun000024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/VassorY24,
author = {Martin Vassor and
Nobuko Yoshida},
title = {Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic
Theory and Implementation (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {23:1--23:5},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.23},
doi = {10.4230/DARTS.10.2.23},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/VassorY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Wiersdorf0FG24,
author = {Ashton Wiersdorf and
Stephen Chang and
Matthias Felleisen and
Ben Greenman},
title = {Type Tailoring (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {24:1--24:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.24},
doi = {10.4230/DARTS.10.2.24},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Wiersdorf0FG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/X24,
author = {Matthias Becker and
Catherine E. Nemitz},
title = {Front Matter, Table of Contents, Artifact Evaluation Process, Artifact
Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {1},
pages = {0:i--0:x},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.1.0},
doi = {10.4230/DARTS.10.1.0},
timestamp = {Tue, 17 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/X24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/X24a,
author = {Karine Even{-}Mendoza and
Rapha{\"{e}}l Monat},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {0:i--0:xii},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.0},
doi = {10.4230/DARTS.10.2.0},
timestamp = {Tue, 17 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/X24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/YoungYSP24,
author = {David Young and
Ziyi Yang and
Ilya Sergey and
Alex Potanin},
title = {Higher-Order Specifications for Deductive Synthesis of Programs with
Pointers (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {25:1--25:2},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.25},
doi = {10.4230/DARTS.10.2.25},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/YoungYSP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ZhouDZ24,
author = {Quan Zhou and
Sixuan Dang and
Danfeng Zhang},
title = {CtChecker: {A} Precise, Sound and Efficient Static Analysis for Constant-Time
Programming (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {26:1--26:5},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.26},
doi = {10.4230/DARTS.10.2.26},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ZhouDZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ZwaanP24,
author = {Aron Zwaan and
Casper Bach Poulsen},
title = {Defining Name Accessibility Using Scope Graphs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {27:1--27:3},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.27},
doi = {10.4230/DARTS.10.2.27},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ZwaanP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/0004F23,
author = {Matthias Becker and
Julien Forget},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {1},
pages = {00:i--00:x},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.1.0},
doi = {10.4230/DARTS.9.1.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/0004F23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AltmeyerADFHGGH23,
author = {Sebastian Altmeyer and
{\'{E}}tienne Andr{\'{e}} and
Silvano Dal{-}Zilio and
Lo{\"{\i}}c Fejoz and
Michael Gonz{\'{a}}lez Harbour and
Susanne Graf and
J. Javier Guti{\'{e}}rrez and
Rafik Henia and
Didier Le Botlan and
Giuseppe Lipari and
Julio L. Medina and
Nicolas Navet and
Sophie Quinton and
Juan Maria Rivas and
Youcheng Sun},
title = {From {FMTV} to {WATERS:} Lessons Learned from the First Verification
Challenge at {ECRTS} (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {1},
pages = {04:1--04:6},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.1.4},
doi = {10.4230/DARTS.9.1.4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/AltmeyerADFHGGH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BarwellHY023,
author = {Adam D. Barwell and
Ping Hou and
Nobuko Yoshida and
Fangyi Zhou},
title = {Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {09:1--09:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.9},
doi = {10.4230/DARTS.9.2.9},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BarwellHY023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Castro-PerezY23,
author = {David Castro{-}Perez and
Nobuko Yoshida},
title = {Dynamically Updatable Multiparty Session Protocols (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {10:1--10:2},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.10},
doi = {10.4230/DARTS.9.2.10},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Castro-PerezY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DenglerRSW23,
author = {Eva Dengler and
Phillip Raffeck and
Simon Schuster and
Peter W{\"{a}}gemann},
title = {FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {1},
pages = {02:1--02:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.1.2},
doi = {10.4230/DARTS.9.1.2},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DenglerRSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/FanP23,
author = {Andong Fan and
Lionel Parreaux},
title = {super-Charging Object-Oriented Programming Through Precise Typing
of Open Recursion (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {22:1--22:2},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.22},
doi = {10.4230/DARTS.9.2.22},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/FanP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Guerra0S23,
author = {Henrique Botelho Guerra and
Jo{\~{a}}o F. Ferreira and
Jo{\~{a}}o Costa Seco},
title = {Hoogle{\(\star\)}: Constants and {\(\lambda\)}-abstractions in Petri-net-based
Synthesis using Symbolic Execution (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {20:1--20:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.20},
doi = {10.4230/DARTS.9.2.20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Guerra0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HaasMYBM23,
author = {Julian Haas and
Ragnar Mogk and
Elena Yanakieva and
Annette Bieniusa and
Mira Mezini},
title = {LoRe: {A} Programming Model for Verifiably Safe Local-First Software
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {11:1--11:2},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.11},
doi = {10.4230/DARTS.9.2.11},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HaasMYBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HarrisC0B23,
author = {Sarah Harris and
Simon Cooksey and
Michael Vollmer and
Mark Batty},
title = {Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {25:1--25:2},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.25},
doi = {10.4230/DARTS.9.2.25},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HarrisC0B23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HennigerA23,
author = {Simon Henniger and
Nada Amin},
title = {The Dolorem Pattern: Growing a Language Through Compile-Time Function
Execution (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {13:1--13:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.13},
doi = {10.4230/DARTS.9.2.13},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HennigerA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/JinY23,
author = {Feiyang Jin and
Lechen Yu},
title = {Determinacy Race Detector for Promises (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {24:1--24:2},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.24},
doi = {10.4230/DARTS.9.2.24},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/JinY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/JongmansF23,
author = {Sung{-}Shik Jongmans and
Francisco Ferreira},
title = {Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via
Implicit Local Types (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {18:1--18:2},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.18},
doi = {10.4230/DARTS.9.2.18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/JongmansF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KuessnerMWM23,
author = {Christian Kuessner and
Ragnar Mogk and
Anna{-}Katharina Wickert and
Mira Mezini},
title = {Algebraic Replicated Data Types: Programming Secure Local-First Software
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {26:1--26:4},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.26},
doi = {10.4230/DARTS.9.2.26},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KuessnerMWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KuhnMT23,
author = {Roland Kuhn and
Hern{\'{a}}n C. Melgratti and
Emilio Tuosto},
title = {Behavioural Types for Local-First Software (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {14:1--14:5},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.14},
doi = {10.4230/DARTS.9.2.14},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KuhnMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Leon023,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Stefan Winter},
title = {Front Matter - {ECOOP} 2023 Artifacts, Table of Contents, Preface,
Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {00:i--00:xii},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.0},
doi = {10.4230/DARTS.9.2.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Leon023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MadsenSL23,
author = {Magnus Madsen and
Jonathan Lindegaard Starup and
Matthew Lutze},
title = {Restrictable Variants: {A} Simple and Practical Alternative to Extensible
Variants (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {12:1--12:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.12},
doi = {10.4230/DARTS.9.2.12},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MadsenSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MoellerWSKF023,
author = {Mark Moeller and
Thomas Wiener and
Alaia Solko{-}Breslin and
Caleb Koch and
Nate Foster and
Alexandra Silva},
title = {Automata Learning with an Incomplete Teacher (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {21:1--21:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.21},
doi = {10.4230/DARTS.9.2.21},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MoellerWSKF023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Muijnck-HughesV23,
author = {Jan de Muijnck{-}Hughes and
Wim Vanderbauwhede},
title = {Wiring Circuits Is Easy as \{0, 1, {\(\omega\)}\}, or Is It... (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {04:1--04:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.4},
doi = {10.4230/DARTS.9.2.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Muijnck-HughesV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/NietoDGTB23,
author = {Abel Nieto and
Arnaud Daby{-}Seesaram and
L{\'{e}}on Gondelman and
Amin Timany and
Lars Birkedal},
title = {Modular Verification of State-Based CRDTs in Separation Logic (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {15:1--15:5},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.15},
doi = {10.4230/DARTS.9.2.15},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/NietoDGTB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/OlivieriNAT0CS23,
author = {Luca Olivieri and
Luca Negrini and
Vincenzo Arceri and
Fabio Tagliaferro and
Pietro Ferrara and
Agostino Cortesi and
Fausto Spoto},
title = {Information Flow Analysis for Detecting Non-Determinism in Blockchain
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {23:1--23:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.23},
doi = {10.4230/DARTS.9.2.23},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/OlivieriNAT0CS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Porre0B23,
author = {Kevin De Porre and
Carla Ferreira and
Elisa Gonzalez Boix},
title = {VeriFx: Correct Replicated Data Types for the Masses (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {19:1--19:2},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.19},
doi = {10.4230/DARTS.9.2.19},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Porre0B23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RamosSANS23,
author = {Frederico Ramos and
Nuno Sabino and
Pedro Ad{\~{a}}o and
David A. Naumann and
Jos{\'{e}} Fragoso Santos},
title = {Toward Tool-Independent Summaries for Symbolic Execution (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {07:1--07:4},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.7},
doi = {10.4230/DARTS.9.2.7},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/RamosSANS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RheinfelsGU23,
author = {Tim Rheinfels and
Maximilian Gaukler and
Peter Ulbrich},
title = {A New Perspective on Criticality: Efficient State Abstraction and
Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {1},
pages = {01:1--01:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.1.1},
doi = {10.4230/DARTS.9.1.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/RheinfelsGU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RichterBWM23,
author = {David Richter and
Timon B{\"{o}}hler and
Pascal Weisenburger and
Mira Mezini},
title = {A Direct-Style Effect Notation for Sequential and Parallel Programs
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {17:1--17:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.17},
doi = {10.4230/DARTS.9.2.17},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/RichterBWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Roth23,
author = {Ori Roth},
title = {Python Type Hints Are Turing Complete (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {01:1--01:4},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.1},
doi = {10.4230/DARTS.9.2.1},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Roth23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RumseviciusVKP23,
author = {Ugnius Rumsevicius and
Siddhanth Venkateshwaran and
Ellen Kidane and
Lu{\'{\i}}s Pina},
title = {Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through
Multi-Version eXecution (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {03:1--03:2},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.3},
doi = {10.4230/DARTS.9.2.3},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/RumseviciusVKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SilverHCHZ23,
author = {Lucas Silver and
Paul He and
Ethan Cecchetti and
Andrew K. Hirsch and
Steve Zdancewic},
title = {Semantics for Noninterference with Interaction Trees (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {06:1--06:2},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.6},
doi = {10.4230/DARTS.9.2.6},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SilverHCHZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SilverWYS23,
author = {Lucas Silver and
Eddy Westbrook and
Matthew Yacavone and
Ryan Scott},
title = {Interaction Tree Specifications: {A} Framework for Specifying Recursive,
Effectful Computations That Supports Auto-Active Verification (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {08:1--08:2},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.8},
doi = {10.4230/DARTS.9.2.8},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SilverWYS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SuchertZCE23,
author = {Felix Suchert and
Lisza Zeidler and
Jer{\'{o}}nimo Castrill{\'{o}}n and
Sebastian Ertel},
title = {ConDRust: Scalable Deterministic Concurrency from Verifiable Rust
Programs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {16:1--16:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.16},
doi = {10.4230/DARTS.9.2.16},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SuchertZCE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/TanO23,
author = {Jinhao Tan and
Bruno C. d. S. Oliveira},
title = {Dependent Merges and First-Class Environments (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {02:1--02:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.2},
doi = {10.4230/DARTS.9.2.2},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/TanO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/YeeG23,
author = {Ming{-}Ho Yee and
Arjun Guha},
title = {Do Machine Learning Models Produce TypeScript Types That Type Check?
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {05:1--05:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.5},
doi = {10.4230/DARTS.9.2.5},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/YeeG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ZippoNS23,
author = {Raffaele Zippo and
Paul Nikolaus and
Giovanni Stea},
title = {Isospeed: Improving (min, +) Convolution by Exploiting (min, +)/(max,
+) Isomorphism (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {1},
pages = {03:1--03:4},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.1.3},
doi = {10.4230/DARTS.9.1.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ZippoNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AromoloBN22,
author = {Federico Aromolo and
Alessandro Biondi and
Geoffrey Nelissen},
title = {Response-Time Analysis for Self-Suspending Tasks Under {EDF} Scheduling
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {1},
pages = {05:1--05:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.1.5},
doi = {10.4230/DARTS.8.1.5},
timestamp = {Sat, 18 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/AromoloBN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AudritoCDSV22,
author = {Giorgio Audrito and
Roberto Casadei and
Ferruccio Damiani and
Guido Salvaneschi and
Mirko Viroli},
title = {Functional Programming for Distributed Systems with {XC} (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {08:1--08:4},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.8},
doi = {10.4230/DARTS.8.2.8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/AudritoCDSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BarlettaCSC22,
author = {Marco Barletta and
Marcello Cinque and
Luigi De Simone and
Raffaele Della Corte},
title = {Achieving Isolation in Mixed-Criticality Industrial Edge Systems with
Real-Time Containers (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {1},
pages = {01:1--01:12},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.1.1},
doi = {10.4230/DARTS.8.1.1},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BarlettaCSC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BeckerRDMTKTF22,
author = {Heiko Becker and
Robert Rabe and
Eva Darulova and
Magnus O. Myreen and
Zachary Tatlock and
Ramana Kumar and
Yong Kiam Tan and
Anthony C. J. Fox},
title = {Verified Compilation and Optimization of Floating-Point Programs in
CakeML (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {10:1--10:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.10},
doi = {10.4230/DARTS.8.2.10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BeckerRDMTKTF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChakrabortyOSH22,
author = {Madhurima Chakraborty and
Renzo Olivares and
Manu Sridharan and
Behnaz Hassanshahi},
title = {Automatic Root Cause Quantification for Missing Edges in JavaScript
Call Graphs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {07:1--07:5},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.7},
doi = {10.4230/DARTS.8.2.7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ChakrabortyOSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChenBT22,
author = {Ruofei Chen and
Stephanie Balzer and
Bernardo Toninho},
title = {Ferrite: {A} Judgmental Embedding of Session Types in Rust (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {14:1--14:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.14},
doi = {10.4230/DARTS.8.2.14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ChenBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChenGJBC22,
author = {Kuan{-}Hsun Chen and
Mario G{\"{u}}nzel and
Boguslaw Jablkowski and
Markus Buschhoff and
Jian{-}Jia Chen},
title = {Unikernel-Based Real-Time Virtualization Under Deferrable Servers:
Analysis and Realization (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {1},
pages = {02:1--02:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.1.2},
doi = {10.4230/DARTS.8.1.2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/ChenGJBC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/CledouEJP22,
author = {Guillermina Cledou and
Luc Edixhoven and
Sung{-}Shik Jongmans and
Jos{\'{e}} Proen{\c{c}}a},
title = {{API} Generation for Multiparty Session Types, Revisited and Revised
Using Scala 3 (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {19:1--19:4},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.19},
doi = {10.4230/DARTS.8.2.19},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/CledouEJP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/FanHXSO22,
author = {Andong Fan and
Xuejing Huang and
Han Xu and
Yaozhu Sun and
Bruno C. d. S. Oliveira},
title = {Direct Foundations for Compositional Programming (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {04:1--04:3},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.4},
doi = {10.4230/DARTS.8.2.4},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/FanHXSO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/GheriLSTY22,
author = {Lorenzo Gheri and
Ivan Lanese and
Neil Sayers and
Emilio Tuosto and
Nobuko Yoshida},
title = {Design-by-Contract for Flexible Multiparty Session Protocols (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {21:1--21:5},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.21},
doi = {10.4230/DARTS.8.2.21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/GheriLSTY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Gorla022,
author = {Alessandra Gorla and
Stefan Winter},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {00:i--00:xii},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.0},
doi = {10.4230/DARTS.8.2.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Gorla022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/GrannanVDS22,
author = {Zachary Grannan and
Niki Vazou and
Eva Darulova and
Alexander J. Summers},
title = {{REST:} Integrating Term Rewriting with Program Verification (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {12:1--12:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.12},
doi = {10.4230/DARTS.8.2.12},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/GrannanVDS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HeLX22,
author = {Dongjie He and
Jingbo Lu and
Jingling Xue},
title = {Qilin: {A} New Framework for Supporting Fine-Grained Context-Sensitivity
in Java Pointer Analysis (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {06:1--06:3},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.6},
doi = {10.4230/DARTS.8.2.6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HeLX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HolikPRSVZ22,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Petr Peringer and
Adam Rogalewicz and
Veronika Sokov{\'{a}} and
Tom{\'{a}}s Vojnar and
Florian Zuleger},
title = {Low-Level Bi-Abduction (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {11:1--11:6},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.11},
doi = {10.4230/DARTS.8.2.11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HolikPRSVZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Jacobs22,
author = {Jules Jacobs},
title = {A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {15:1--15:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.15},
doi = {10.4230/DARTS.8.2.15},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Jacobs22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KelloggSSE22,
author = {Martin Kellogg and
Narges Shadab and
Manu Sridharan and
Michael D. Ernst},
title = {Accumulation Analysis (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {22:1--22:3},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.22},
doi = {10.4230/DARTS.8.2.22},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KelloggSSE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Kritikakou022,
author = {Angeliki Kritikakou and
Matthias Becker},
title = {Front Matter - {ECRTS} 2022 Artifacts, Table of Contents, Preface,
Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {1},
pages = {00:i--00:x},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.1.0},
doi = {10.4230/DARTS.8.1.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Kritikakou022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LadeiraGBHOH22,
author = {Matheus Ladeira and
Emmanuel Grolleau and
Fabien Bonneval and
Gautier Hattenberger and
Yassine Ouhammou and
Yuri H{\'{e}}rouard},
title = {Scheduling Offset-Free Systems Under {FIFO} Priority Protocol (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {1},
pages = {04:1--04:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.1.4},
doi = {10.4230/DARTS.8.1.4},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/LadeiraGBHOH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LagaillardieNY22,
author = {Nicolas Lagaillardie and
Rumyana Neykova and
Nobuko Yoshida},
title = {Stay Safe Under Panic: Affine Rust Programming with Multiparty Session
Types (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {09:1--09:16},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.9},
doi = {10.4230/DARTS.8.2.9},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/LagaillardieNY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LiWZLG22,
author = {Hehao Li and
Yizhuo Wang and
Yiwei Zhang and
Juanru Li and
Dawu Gu},
title = {PEDroid: Automatically Extracting Patches from Android App Updates
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {24:1--24:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.24},
doi = {10.4230/DARTS.8.2.24},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/LiWZLG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LiuBP22,
author = {Shuyang Liu and
John Bender and
Jens Palsberg},
title = {Compiling Volatile Correctly in Java (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {03:1--03:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.3},
doi = {10.4230/DARTS.8.2.3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/LiuBP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MaidaBB22,
author = {Marco Maida and
Sergey Bozhko and
Bj{\"{o}}rn B. Brandenburg},
title = {Foundational Response-Time Analysis as Explainable Evidence of Timeliness
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {1},
pages = {07:1--07:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.1.7},
doi = {10.4230/DARTS.8.1.7},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MaidaBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MarquesS0A22,
author = {Filipe Marques and
Jos{\'{e}} Fragoso Santos and
Nuno Santos and
Pedro Ad{\~{a}}o},
title = {Concolic Execution for WebAssembly (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {20:1--20:3},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.20},
doi = {10.4230/DARTS.8.2.20},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MarquesS0A22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MarshallO22,
author = {Danielle Marshall and
Dominic Orchard},
title = {How to Take the Inverse of a Type (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {01:1--01:3},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.1},
doi = {10.4230/DARTS.8.2.1},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MarshallO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RehmanHXO22,
author = {Baber Rehman and
Xuejing Huang and
Ningning Xie and
Bruno C. d. S. Oliveira},
title = {Union Types with Disjoint Switches (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {17:1--17:6},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.17},
doi = {10.4230/DARTS.8.2.17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/RehmanHXO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RichterKWSFM22,
author = {David Richter and
David Kretzler and
Pascal Weisenburger and
Guido Salvaneschi and
Sebastian Faust and
Mira Mezini},
title = {Prisma: {A} Tierless Language for Enforcing Contract-Client Protocols
in Decentralized Applications (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {16:1--16:3},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.16},
doi = {10.4230/DARTS.8.2.16},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/RichterKWSFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RouxQB22,
author = {Pierre Roux and
Sophie Quinton and
Marc Boyer},
title = {A Formal Link Between Response Time Analysis and Network Calculus
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {1},
pages = {03:1--03:3},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.1.3},
doi = {10.4230/DARTS.8.1.3},
timestamp = {Fri, 23 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/RouxQB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RusuN22,
author = {Vlad Rusu and
David Nowak},
title = {Defining Corecursive Functions in Coq Using Approximations (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {02:1--02:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.2},
doi = {10.4230/DARTS.8.2.2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/RusuN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SarkarS22,
author = {Abhiroop Sarkar and
Bo Joel Svensson},
title = {Synchron - An {API} and Runtime for Embedded Systems (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {25:1--25:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.25},
doi = {10.4230/DARTS.8.2.25},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SarkarS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SchemmelBBNC22,
author = {Daniel Schemmel and
Julian B{\"{u}}ning and
Frank Busse and
Martin Nowack and
Cristian Cadar},
title = {A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {13:1--13:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.13},
doi = {10.4230/DARTS.8.2.13},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SchemmelBBNC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Serrano22,
author = {Manuel Serrano},
title = {JavaScript Sealed Classes (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {23:1--23:4},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.23},
doi = {10.4230/DARTS.8.2.23},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Serrano22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SilvaCGP22,
author = {Iryna De Albuquerque Silva and
Thomas Carle and
Adrien Gauffriau and
Claire Pagetti},
title = {{ACETONE:} Predictable Programming Framework for {ML} Applications
in Safety-Critical Systems (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {1},
pages = {06:1--06:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.1.6},
doi = {10.4230/DARTS.8.1.6},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SilvaCGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/StadelmeierP022,
author = {Andreas Stadelmeier and
Martin Pl{\"{u}}micke and
Peter Thiemann},
title = {Global Type Inference for Featherweight Generic Java - Prototype Implementation
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {18:1--18:4},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.18},
doi = {10.4230/DARTS.8.2.18},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/StadelmeierP022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/XhebrajB0R22,
author = {Anxhelo Xhebraj and
Oliver Bracevac and
Guannan Wei and
Tiark Rompf},
title = {What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {26:1--26:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.26},
doi = {10.4230/DARTS.8.2.26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/XhebrajB0R22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ZhaoO22,
author = {Jinxu Zhao and
Bruno C. d. S. Oliveira},
title = {Elementary Type Inference (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {05:1--05:2},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.5},
doi = {10.4230/DARTS.8.2.5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ZhaoO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/00020DG21,
author = {Paul Harvey and
Simon Fowler and
Ornela Dardha and
Simon J. Gay},
title = {Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {08:1--08:2},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.8},
doi = {10.4230/DARTS.7.2.8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/00020DG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AntwerpenV21,
author = {Hendrik van Antwerpen and
Eelco Visser},
title = {Scope States (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {01:1--01:7},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.1},
doi = {10.4230/DARTS.7.2.1},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/AntwerpenV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ArtecaTS21,
author = {Ellen Arteca and
Frank Tip and
Max Sch{\"{a}}fer},
title = {Enabling Additional Parallelism in Asynchronous JavaScript Applications
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {05:1--05:6},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.5},
doi = {10.4230/DARTS.7.2.5},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ArtecaTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BessaiHD21,
author = {Jan Bessai and
George T. Heineman and
Boris D{\"{u}}dder},
title = {Covariant Conversions (CoCo): {A} Design Pattern for Type-Safe Modular
Software Evolution in Object-Oriented Systems (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {04:1--04:4},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.4},
doi = {10.4230/DARTS.7.2.4},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BessaiHD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BiondiK21,
author = {Alessandro Biondi and
Angeliki Kritikakou},
title = {Front Matter - {ECRTS} 2021 Artifacts, Table of Contents, Artifact
Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {1},
pages = {00:i--00:x},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.1.0},
doi = {10.4230/DARTS.7.1.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BiondiK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BoyerRDP21,
author = {Marc Boyer and
Pierre Roux and
Hugo Daigmorte and
David Puechmaille},
title = {A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows
Computable in Quadratic Time for Network Calculus (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {1},
pages = {02:1--02:3},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.1.2},
doi = {10.4230/DARTS.7.1.2},
timestamp = {Fri, 23 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BoyerRDP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Brady21,
author = {Edwin C. Brady},
title = {Idris 2: Quantitative Type Theory in Practice (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {10:1--10:7},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.10},
doi = {10.4230/DARTS.7.2.10},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Brady21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BurloFS21,
author = {Christian Bartolo Burl{\`{o}} and
Adrian Francalanza and
Alceste Scalas},
title = {On the Monitorability of Session Types, in Theory and Practice (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {02:1--02:3},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.2},
doi = {10.4230/DARTS.7.2.2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/BurloFS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BuyseDH21,
author = {Maxime Buyse and
R{\'{e}}mi Delmas and
Youssef Hamadi},
title = {{ALPACAS:} {A} Language for Parametric Assessment of Critical Architecture
Safety (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {14:1--14:4},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.14},
doi = {10.4230/DARTS.7.2.14},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BuyseDH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DimovskiA21,
author = {Aleksandar S. Dimovski and
Sven Apel},
title = {Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {06:1--06:6},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.6},
doi = {10.4230/DARTS.7.2.6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DimovskiA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HalfondS21,
author = {William G. J. Halfond and
Quentin Sti{\'{e}}venart},
title = {Front Matter - {ECOOP} 2021 Artifacts, Table of Contents, Preface,
Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {00:i--00:xi},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.0},
doi = {10.4230/DARTS.7.2.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HalfondS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HaoL0BR21,
author = {Yu Hao and
Sufian Latif and
Hailong Zhang and
Raef Bassily and
Atanas Rountev},
title = {Differential Privacy for Coverage Analysis of Software Traces (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {07:1--07:3},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.7},
doi = {10.4230/DARTS.7.2.7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HaoL0BR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HeLGX21,
author = {Dongjie He and
Jingbo Lu and
Yaoqing Gao and
Jingling Xue},
title = {Accelerating Object-Sensitive Pointer Analysis by Exploiting Object
Containment and Reachability (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {12:1--12:3},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.12},
doi = {10.4230/DARTS.7.2.12},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HeLGX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MajSKV21,
author = {Petr Maj and
Konrad Siek and
Alexander Kovalenko and
Jan Vitek},
title = {CodeDJ: Reproducible Queries over Large-Scale Software Repositories
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {13:1--13:4},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.13},
doi = {10.4230/DARTS.7.2.13},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MajSKV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MarkovicPN21,
author = {Filip Markovic and
Alessandro Vittorio Papadopoulos and
Thomas Nolte},
title = {On the Convolution Efficiency for Probabilistic Analysis of Real-Time
Systems (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {1},
pages = {01:1--01:2},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.1.1},
doi = {10.4230/DARTS.7.1.1},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MarkovicPN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/NemitzCAW21,
author = {Catherine E. Nemitz and
Shai Caspin and
James H. Anderson and
Bryan C. Ward},
title = {Light Reading: Optimizing Reader/Writer Locking for Read-Dominant
Real-Time Workloads (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {1},
pages = {03:1--03:3},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.1.3},
doi = {10.4230/DARTS.7.1.3},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/NemitzCAW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Rau0S21,
author = {Ohad Rau and
Caleb Voss and
Vivek Sarkar},
title = {Linear Promises: Towards Safer Concurrent Programming (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {15:1--15:3},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.15},
doi = {10.4230/DARTS.7.2.15},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Rau0S21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/TondwalkarKJ21,
author = {Anish Tondwalkar and
Matthew Kolosick and
Ranjit Jhala},
title = {mist: Refinements of Futures Past (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {03:1--03:11},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.3},
doi = {10.4230/DARTS.7.2.3},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/TondwalkarKJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/YeOH21,
author = {Wenjia Ye and
Bruno C. d. S. Oliveira and
Xuejing Huang},
title = {Type-Directed Operational Semantics for Gradual Typing (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {09:1--09:6},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.9},
doi = {10.4230/DARTS.7.2.9},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/YeOH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ZhangSO21,
author = {Weixin Zhang and
Yaozhu Sun and
Bruno C. d. S. Oliveira},
title = {Compositional Programming (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {7},
number = {2},
pages = {11:1--11:2},
year = {2021},
url = {https://doi.org/10.4230/DARTS.7.2.11},
doi = {10.4230/DARTS.7.2.11},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ZhangSO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/000120,
author = {Simon Fowler},
title = {Model-View-Update-Communicate: Session Types Meet the Elm Architecture
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {13:1--13:2},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.13},
doi = {10.4230/DARTS.6.2.13},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/000120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BarbarS020,
author = {Mohamad Barbar and
Yulei Sui and
Shiping Chen},
title = {Flow-Sensitive Type-Based Heap Cloning (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {01:1--01:2},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.1},
doi = {10.4230/DARTS.6.2.1},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/BarbarS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BozhkoB20,
author = {Sergey Bozhko and
Bj{\"{o}}rn B. Brandenburg},
title = {Abstract Response-Time Analysis: {A} Formal Foundation for the Busy-Window
Principle (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {1},
pages = {03:1--03:2},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.1.3},
doi = {10.4230/DARTS.6.1.3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BozhkoB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DalvandiDDW20,
author = {Sadegh Dalvandi and
Simon Doherty and
Brijesh Dongol and
Heike Wehrheim},
title = {Owicki-Gries Reasoning for {C11} {RAR} (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {15:1--15:2},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.15},
doi = {10.4230/DARTS.6.2.15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DalvandiDDW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DiekmannT20,
author = {Lukas Diekmann and
Laurence Tratt},
title = {Don't Panic! Better, Fewer, Syntax Errors for {LR} Parsers (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {17:1--17:2},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.17},
doi = {10.4230/DARTS.6.2.17},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/DiekmannT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DoR20,
author = {Lisa Nguyen Quang Do and
Manuel Rigger},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {00:i--00:xii},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.0},
doi = {10.4230/DARTS.6.2.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DoR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DonaldsonET20,
author = {Alastair F. Donaldson and
Hugues Evrard and
Paul Thomson},
title = {Putting Randomized Compiler Testing into Production (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {03:1--03:2},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.3},
doi = {10.4230/DARTS.6.2.3},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/DonaldsonET20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/GabetY20,
author = {Julia Gabet and
Nobuko Yoshida},
title = {Static Race Detection and Mutex Safety and Liveness for Go Programs
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {12:1--12:3},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.12},
doi = {10.4230/DARTS.6.2.12},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/GabetY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HuangO20,
author = {Xuejing Huang and
Bruno C. d. S. Oliveira},
title = {A Type-Directed Operational Semantics For a Calculus with a Merge
Operator (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {09:1--09:4},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.9},
doi = {10.4230/DARTS.6.2.9},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/HuangO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ImaiNYY20,
author = {Keigo Imai and
Rumyana Neykova and
Nobuko Yoshida and
Shoji Yuen},
title = {Multiparty Session Programming with Global Protocol Combinators (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {18:1--18:2},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.18},
doi = {10.4230/DARTS.6.2.18},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/ImaiNYY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/JacobZZBCT20,
author = {Romain Jacob and
Licong Zhang and
Marco Zimmerling and
Jan Beutel and
Samarjit Chakraborty and
Lothar Thiele},
title = {The Time-Triggered Wireless Architecture (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {1},
pages = {05:1--05:3},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.1.5},
doi = {10.4230/DARTS.6.1.5},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/JacobZZBCT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LagouvardosDGAS20,
author = {Sifis Lagouvardos and
Julian Dolby and
Neville Grech and
Anastasios Antoniadis and
Yannis Smaragdakis},
title = {Static Analysis of Shape in TensorFlow Programs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {06:1--06:3},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.6},
doi = {10.4230/DARTS.6.2.6},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/LagouvardosDGAS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MoiseenkoPLMV20,
author = {Evgenii Moiseenko and
Anton Podkopaev and
Ori Lahav and
Orestis Melkonian and
Viktor Vafeiadis},
title = {Reconciling Event Structures with Modern Multiprocessors (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {04:1--04:3},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.4},
doi = {10.4230/DARTS.6.2.4},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MoiseenkoPLMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MonatOM20,
author = {Rapha{\"{e}}l Monat and
Abdelraouf Ouadjaout and
Antoine Min{\'{e}}},
title = {Static Type Analysis by Abstract Interpretation of Python Programs
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {11:1--11:6},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.11},
doi = {10.4230/DARTS.6.2.11},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/MonatOM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Muijnck-HughesB20,
author = {Jan de Muijnck{-}Hughes and
Edwin C. Brady and
Wim Vanderbauwhede},
title = {A Framework for Resource Dependent EDSLs in a Dependently Typed Language
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {02:1--02:3},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.2},
doi = {10.4230/DARTS.6.2.2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/Muijnck-HughesB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/NietoRRL20,
author = {Abel Nieto and
Marianna Rapoport and
Gregor Richards and
Ondrej Lhot{\'{a}}k},
title = {Blame for Null (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {10:1--10:2},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.10},
doi = {10.4230/DARTS.6.2.10},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/NietoRRL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/NietoZLCP20,
author = {Abel Nieto and
Yaoyu Zhao and
Ondrej Lhot{\'{a}}k and
Angela Chang and
Justin Pu},
title = {Scala with Explicit Nulls (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {14:1--14:2},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.14},
doi = {10.4230/DARTS.6.2.14},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/NietoZLCP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/OliveiraCOC20,
author = {Daniel Bristot de Oliveira and
Daniel Casini and
R{\^{o}}mulo Silva de Oliveira and
Tommaso Cucinotta},
title = {Demystifying the Real-Time Linux Scheduling Latency (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {1},
pages = {02:1--02:3},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.1.2},
doi = {10.4230/DARTS.6.1.2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/OliveiraCOC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/OliveiraCR20,
author = {Bruno C. d. S. Oliveira and
Shaobo Cui and
Baber Rehman},
title = {The Duality of Subtyping (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {08:1--08:6},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.8},
doi = {10.4230/DARTS.6.2.8},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/OliveiraCR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/OsborneBA20,
author = {Sims Osborne and
Joshua Bakita and
James H. Anderson},
title = {Simultaneous Multithreading and Hard Real Time: Can it be Safe? (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {1},
pages = {01:1--01:3},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.1.1},
doi = {10.4230/DARTS.6.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/OsborneBA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/PapadopoulosB20,
author = {Alessandro Vittorio Papadopoulos and
Alessandro Biondi},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {1},
pages = {00:i--00:x},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.1.0},
doi = {10.4230/DARTS.6.1.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/PapadopoulosB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/PelegP20,
author = {Hila Peleg and
Nadia Polikarpova},
title = {Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {16:1--16:2},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.16},
doi = {10.4230/DARTS.6.2.16},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/PelegP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RestucciaPBMB20,
author = {Francesco Restuccia and
Marco Pagani and
Alessandro Biondi and
Mauro Marinoni and
Giorgio C. Buttazzo},
title = {Modeling and Analysis of Bus Contention for Hardware Accelerators
in {FPGA} SoCs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {1},
pages = {04:1--04:3},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.1.4},
doi = {10.4230/DARTS.6.1.4},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/RestucciaPBMB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SampaioSMG20,
author = {Gabriela Sampaio and
Jos{\'{e}} Fragoso Santos and
Petar Maksimovic and
Philippa Gardner},
title = {A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web
Applications (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {05:1--05:3},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.5},
doi = {10.4230/DARTS.6.2.5},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/SampaioSMG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/TasosFDWE20,
author = {Alexandros Tasos and
Juliana Franco and
Sophia Drossopoulou and
Tobias Wrigstad and
Susan Eisenbach},
title = {Implementation of {SHAPES} Case Studies (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {19:1--19:3},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.19},
doi = {10.4230/DARTS.6.2.19},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/TasosFDWE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/VonderROKM20,
author = {Sam Van den Vonder and
Thierry Renaux and
Bjarno Oeyen and
Joeri De Koster and
Wolfgang De Meuter},
title = {Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor
Model (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {6},
number = {2},
pages = {07:1--07:4},
year = {2020},
url = {https://doi.org/10.4230/DARTS.6.2.7},
doi = {10.4230/DARTS.6.2.7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/VonderROKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ArslanagicPV19,
author = {Alen Arslanagic and
Jorge A. P{\'{e}}rez and
Erik Voogd},
title = {Minimal Session Types (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {05:1--05:3},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.5},
doi = {10.4230/DARTS.5.2.5},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/ArslanagicPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/CasiniBLB19,
author = {Daniel Casini and
Tobias Bla{\ss} and
Ingo L{\"{u}}tkebohle and
Bj{\"{o}}rn B. Brandenburg},
title = {Response-Time Analysis of {ROS} 2 Processing Chains Under Reservation-Based
Scheduling (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {1},
pages = {05:1--05:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.1.5},
doi = {10.4230/DARTS.5.1.5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/CasiniBLB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/CavicchioliCSB19,
author = {Roberto Cavicchioli and
Nicola Capodieci and
Marco Solieri and
Marko Bertogna},
title = {{API} Comparison of CPU-To-GPU Command Offloading Latency on Embedded
Platforms (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {1},
pages = {04:1--04:3},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.1.4},
doi = {10.4230/DARTS.5.1.4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/CavicchioliCSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChenHHMB19,
author = {Jian{-}Jia Chen and
Tobias Hahn and
Ruben Hoeksma and
Nicole Megow and
Georg von der Br{\"{u}}ggen},
title = {Scheduling Self-Suspending Tasks: New and Old Results (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {1},
pages = {06:1--06:3},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.1.6},
doi = {10.4230/DARTS.5.1.6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/ChenHHMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChristakisR19,
author = {Maria Christakis and
Manuel Rigger},
title = {Front Matter - {ECOOP} 2019 Artifacts, Table of Contents, Preface,
Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {00:i--00:xi},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.0},
doi = {10.4230/DARTS.5.2.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ChristakisR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChungNV19,
author = {Benjamin Chung and
Francesco Zappa Nardelli and
Jan Vitek},
title = {On Julia's Efficient Algorithm for Subtyping Union Types and Covariant
Tuples (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {08:1--08:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.8},
doi = {10.4230/DARTS.5.2.8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ChungNV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Ekberg19,
author = {Pontus Ekberg},
title = {Dual Priority Scheduling is Not Optimal (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {1},
pages = {01:1--01:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.1.1},
doi = {10.4230/DARTS.5.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Ekberg19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/EsSR19,
author = {Noah Van Es and
Quentin Sti{\'{e}}venart and
Coen De Roover},
title = {Garbage-Free Abstract Interpretation Through Abstract Reference Counting
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {07:1--07:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.7},
doi = {10.4230/DARTS.5.2.7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/EsSR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Fernandez-Reyes19,
author = {Kiko Fernandez{-}Reyes and
Dave Clarke and
Ludovic Henrio and
Einar Broch Johnsen and
Tobias Wrigstad},
title = {Godot: All the Benefits of Implicit and Explicit Futures (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {01:1--01:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.1},
doi = {10.4230/DARTS.5.2.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Fernandez-Reyes19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/FourtounisS19,
author = {George Fourtounis and
Yannis Smaragdakis},
title = {Deep Static Modeling of invokedynamic (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {06:1--06:4},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.6},
doi = {10.4230/DARTS.5.2.6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/FourtounisS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KangTLMJ019,
author = {Hong Jin Kang and
Ferdian Thung and
Julia Lawall and
Gilles Muller and
Lingxiao Jiang and
David Lo},
title = {Semantic Patches for Java Program Transformation (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {10:1--10:3},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.10},
doi = {10.4230/DARTS.5.2.10},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KangTLMJ019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MakwanaK19,
author = {Dhruv C. Makwana and
Neelakantan R. Krishnaswami},
title = {NumLin: Linear Types for Linear Algebra (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {03:1--03:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.3},
doi = {10.4230/DARTS.5.2.3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MakwanaK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MeierMC19,
author = {Shawn Meier and
Sergio Mover and
Bor{-}Yuh Evan Chang},
title = {Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {13:1--13:3},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.13},
doi = {10.4230/DARTS.5.2.13},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MeierMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Muijnck-HughesV19,
author = {Jan de Muijnck{-}Hughes and
Wim Vanderbauwhede},
title = {A Typing Discipline for Hardware Interfaces (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {14:1--14:3},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.14},
doi = {10.4230/DARTS.5.2.14},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/Muijnck-HughesV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/OsborneBA19,
author = {Sims Osborne and
Joshua Bakita and
James H. Anderson},
title = {Simultaneous Multithreading Applied to Real Time (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {1},
pages = {08:1--08:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.1.8},
doi = {10.4230/DARTS.5.1.8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/OsborneBA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/PazzagliaMMC19,
author = {Paolo Pazzaglia and
Claudio Mandrioli and
Martina Maggio and
Anton Cervin},
title = {{DMAC:} Deadline-Miss-Aware Control (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {1},
pages = {03:1--03:3},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.1.3},
doi = {10.4230/DARTS.5.1.3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/PazzagliaMMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/QuintonAP19,
author = {Sophie Quinton and
Sebastian Altmeyer and
Alessandro Papadopoulos},
title = {Front Matter - {ECRTS} 2019 Artifacts, Table of Contents, Preface,
Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {1},
pages = {00:i--00:ix},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.1.0},
doi = {10.4230/DARTS.5.1.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/QuintonAP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/RothG19,
author = {Ori Roth and
Yossi Gil},
title = {Fling - {A} Fluent {API} Generator (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {12:1--12:9},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.12},
doi = {10.4230/DARTS.5.2.12},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/RothG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SensfelderBP19,
author = {Nathana{\"{e}}l Sensfelder and
Julien Brunel and
Claire Pagetti},
title = {Modeling Cache Coherence to Expose Interference (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {1},
pages = {07:1--07:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.1.7},
doi = {10.4230/DARTS.5.1.7},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SensfelderBP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SinghLMBS19,
author = {Robbert Gurdeep Singh and
Carmen Torres Lopez and
Stefan Marr and
Elisa Gonzalez Boix and
Christophe Scholliers},
title = {Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic
Programs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {04:1--04:3},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.4},
doi = {10.4230/DARTS.5.2.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SinghLMBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SpringerM19,
author = {Matthias Springer and
Hidehiko Masuhara},
title = {DynaSOAr: {A} Parallel Memory Allocator for Object-Oriented Programming
on GPUs with Efficient Memory Access (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {02:1--02:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.2},
doi = {10.4230/DARTS.5.2.2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SpringerM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/TesslerF19,
author = {Corey Tessler and
Nathan Fisher},
title = {{NPM-BUNDLE:} Non-Preemptive Multitask Scheduling for Jobs with BUNDLE-Based
Thread-Level Scheduling (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {1},
pages = {02:1--02:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.1.2},
doi = {10.4230/DARTS.5.1.2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/TesslerF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/TurcotteAR19,
author = {Alexi Turcotte and
Ellen Arteca and
Gregor Richards},
title = {Reasoning About Foreign Function Interfaces Without Modelling the
Foreign Language (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {09:1--09:2},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.9},
doi = {10.4230/DARTS.5.2.9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/TurcotteAR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/VillazonSRRBDOB19,
author = {Alex Villaz{\'{o}}n and
Haiyang Sun and
Andrea Ros{\`{a}} and
Eduardo Rosales and
Daniele Bonetta and
Isabella Defilippis and
Sergio Oporto and
Walter Binder},
title = {Automated Large-Scale Multi-Language Dynamic Program Analysis in the
Wild (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {5},
number = {2},
pages = {11:1--11:3},
year = {2019},
url = {https://doi.org/10.4230/DARTS.5.2.11},
doi = {10.4230/DARTS.5.2.11},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/VillazonSRRBDOB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AliY18,
author = {Waqar Ali and
Heechul Yun},
title = {Protecting Real-Time {GPU} Kernels on Integrated {CPU-GPU} SoC Platforms
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {2},
pages = {03:1--03:2},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.2.3},
doi = {10.4230/DARTS.4.2.3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/AliY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AltmayerM18,
author = {Sebastian Altmayer and
Martina Maggio},
title = {Front Matter - {ECRTS} 2018 Artifacts, Table of Contents, Preface,
Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {2},
pages = {00:i--00:ix},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.2.0},
doi = {10.4230/DARTS.4.2.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/AltmayerM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AwanSBAT18,
author = {Muhammad Ali Awan and
Pedro F. Souto and
Konstantinos Bletsas and
Benny Akesson and
Eduardo Tovar},
title = {Worst-case Stall Analysis for Multicore Architectures with Two Memory
Controllers (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {2},
pages = {05:1--05:3},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.2.5},
doi = {10.4230/DARTS.4.2.5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/AwanSBAT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BiO18,
author = {Xuan Bi and
Bruno C. d. S. Oliveira},
title = {Typed First-Class Traits (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {09:1--09:2},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.9},
doi = {10.4230/DARTS.4.3.9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BiO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BiOS18,
author = {Xuan Bi and
Bruno C. d. S. Oliveira and
Tom Schrijvers},
title = {The Essence of Nested Composition (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {05:1--05:2},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.5},
doi = {10.4230/DARTS.4.3.5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BiOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BuresWA18,
author = {Tom{\'{a}}s Bures and
Danny Weyns and
Jesper Andersson},
title = {Front Matter - {SEAMS} 2018 Artifacts, Table of Contents, Preface,
Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {1},
pages = {01:i--01:xiii},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.1.0},
doi = {10.4230/DARTS.4.1.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BuresWA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/CamposV18,
author = {Joana Campos and
Vasco T. Vasconcelos},
title = {Dependent Types for Class-based Mutable Objects (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {01:1--01:2},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.1},
doi = {10.4230/DARTS.4.3.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/CamposV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChenBU18,
author = {Jian{-}Jia Chen and
Georg von der Br{\"{u}}ggen and
Niklas Ueter},
title = {Evaluations of Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline
Sporadic Task Systems (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {2},
pages = {06:1--06:5},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.2.6},
doi = {10.4230/DARTS.4.2.6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/ChenBU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChristakisHR18,
author = {Maria Christakis and
Philipp Haller and
Marianna Rapoport},
title = {Front Matter - {ECOOP} 2018 Artifacts, Table of Contents, Preface,
Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {00:i--00:xii},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.0},
doi = {10.4230/DARTS.4.3.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ChristakisHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ChungLNV18,
author = {Benjamin Chung and
Paley Li and
Francesco Zappa Nardelli and
Jan Vitek},
title = {KafKa: Gradual Typing for Objects (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {10:1--10:3},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.10},
doi = {10.4230/DARTS.4.3.10},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ChungLNV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DelnatHJPRTL18,
author = {Wito Delnat and
Thomas Heyman and
Wouter Joosen and
Davy Preuveneers and
Ansar Rafique and
Eddy Truyen and
Dimitri Van Landuyt},
title = {K8-Scalar: a workbench to compare autoscalers for container-orchestrated
services (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {1},
pages = {03:1--03:6},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.1.2},
doi = {10.4230/DARTS.4.1.2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/DelnatHJPRTL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/InoueAI18,
author = {Hiroaki Inoue and
Tomoyuki Aotani and
Atsushi Igarashi},
title = {ContextWorkflow: {A} Monadic {DSL} for Compensable and Interruptible
Executions (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {04:1--04:2},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.4},
doi = {10.4230/DARTS.4.3.4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/InoueAI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KrugerSABM18,
author = {Stefan Kr{\"{u}}ger and
Johannes Sp{\"{a}}th and
Karim Ali and
Eric Bodden and
Mira Mezini},
title = {CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
APIs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {06:1--06:4},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.6},
doi = {10.4230/DARTS.4.3.6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KrugerSABM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MezzettiMT18,
author = {Gianluca Mezzetti and
Anders M{\o}ller and
Martin Toldam Torp},
title = {Type Regression Testing to Detect Breaking Changes in Node.js Libraries
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {08:1--08:2},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.8},
doi = {10.4230/DARTS.4.3.8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MezzettiMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MilanovaH18,
author = {Ana L. Milanova and
Wei Huang},
title = {Definite Reference Mutability (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {07:1--07:3},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.7},
doi = {10.4230/DARTS.4.3.7},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/MilanovaH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/NemitzAA18,
author = {Catherine E. Nemitz and
Tanya Amert and
James H. Anderson},
title = {Using Lock Servers to Scale Real-Time Locking Protocols: Chasing Ever-Increasing
Core Counts (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {2},
pages = {02:1--02:3},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.2.2},
doi = {10.4230/DARTS.4.2.2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/NemitzAA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/OostvogelsKM18,
author = {Nathalie Oostvogels and
Joeri De Koster and
Wolfgang De Meuter},
title = {Static Typing of Complex Presence Constraints in Interfaces (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {03:1--03:2},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.3},
doi = {10.4230/DARTS.4.3.3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/OostvogelsKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/PapadopoulosBBB18,
author = {Alessandro Vittorio Papadopoulos and
Enrico Bini and
Sanjoy K. Baruah and
Alan Burns},
title = {AdaptMC: {A} Control-Theoretic Approach for Achieving Resilience in
Mixed-Criticality Systems (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {2},
pages = {01:1--01:3},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.2.1},
doi = {10.4230/DARTS.4.2.1},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/PapadopoulosBBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/PazzagliaPBN18,
author = {Paolo Pazzaglia and
Luigi Pannocchi and
Alessandro Biondi and
Marco Di Natale},
title = {Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline
Misses (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {2},
pages = {04:1--04:2},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.2.4},
doi = {10.4230/DARTS.4.2.4},
timestamp = {Sat, 18 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/PazzagliaPBN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/TomanG18,
author = {John Toman and
Dan Grossman},
title = {Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration
Updates (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {02:1--02:2},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.2},
doi = {10.4230/DARTS.4.3.2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/TomanG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Vogel18,
author = {Thomas Vogel},
title = {mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and
Self-Optimization (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {1},
pages = {02:1--02:4},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.1.1},
doi = {10.4230/DARTS.4.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Vogel18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/WagemannDDUS18,
author = {Peter W{\"{a}}gemann and
Christian Dietrich and
Tobias Distler and
Peter Ulbrich and
Wolfgang Schr{\"{o}}der{-}Preikschat},
title = {Whole-System {WCEC} Analysis for Energy-Constrained Real-Time Systems
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {2},
pages = {07:1--07:4},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.2.7},
doi = {10.4230/DARTS.4.2.7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/WagemannDDUS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/AndersonLKTVS17,
author = {Todd A. Anderson and
Hai Liu and
Lindsey Kuper and
Ehsan Totoni and
Jan Vitek and
Tatiana Shpeisman},
title = {Parallelizing Julia with a Non-Invasive {DSL} (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {07:1--07:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.7},
doi = {10.4230/DARTS.3.2.7},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/AndersonLKTVS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BarbosaLMJ17,
author = {Davi Monteiro Barbosa and
R{\'{o}}mulo Gadelha de Moura Lima and
Paulo Henrique Mendes Maia and
Evil{\'{a}}sio Costa Junior},
title = {Lotus@Runtime: {A} Tool for Runtime Monitoring and Verification of
Self-adaptive Systems (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {1},
pages = {07:1--07:5},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.1.7},
doi = {10.4230/DARTS.3.1.7},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BarbosaLMJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/CamaraNG17,
author = {Javier C{\'{a}}mara and
Bashar Nuseibeh and
David Garlan},
title = {Front Matter - {SEAMS} 2017 Artifacts, Table of Contents, Preface,
Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {1},
pages = {00:--1--00:--12},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.1.0},
doi = {10.4230/DARTS.3.1.0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/CamaraNG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/CruzRST17,
author = {Raimil Cruz and
Tamara Rezk and
Bernard P. Serpette and
{\'{E}}ric Tanter},
title = {Type Abstraction for Relaxed Noninterference (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {09:1--09:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.9},
doi = {10.4230/DARTS.3.2.9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/CruzRST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DelbiancoSNB17,
author = {Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ilya Sergey and
Aleksandar Nanevski and
Anindya Banerjee},
title = {Concurrent Data Structures Linked in Time (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {04:1--04:4},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.4},
doi = {10.4230/DARTS.3.2.4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DelbiancoSNB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DietrichJRTP17,
author = {Jens Dietrich and
Kamil Jezek and
Shawn Rasheed and
Amjed Tahir and
Alex Potanin},
title = {Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {13:1--13:3},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.13},
doi = {10.4230/DARTS.3.2.13},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DietrichJRTP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DietrichPJB17,
author = {Jens Dietrich and
David J. Pearce and
Kamil Jezek and
Premek Brada},
title = {Contracts in the Wild: {A} Study of Java Programs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {06:1--06:4},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.6},
doi = {10.4230/DARTS.3.2.6},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DietrichPJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/GerasimouCSW17,
author = {Simos Gerasimou and
Radu Calinescu and
Stepan Shevtsov and
Danny Weyns},
title = {{UNDERSEA:} An Exemplar for Engineering Self-Adaptive Unmanned Underwater
Vehicles (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {1},
pages = {03:1--03:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.1.3},
doi = {10.4230/DARTS.3.1.3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/GerasimouCSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HallerPS17,
author = {Philipp Haller and
Michael Pradel and
Tijs van der Storm},
title = {Front Matter - {ECOOP} 2017 Artifacts, Table of Contents, Preface,
Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {00:--1--00:--12},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.0},
doi = {10.4230/DARTS.3.2.0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HallerPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HarkesV17,
author = {Daco Harkes and
Eelco Visser},
title = {IceDust 2: Derived Bidirectional Relations and Calculation Strategy
Composition (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {01:1--01:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.1},
doi = {10.4230/DARTS.3.2.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HarkesV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/IftikharRBW017,
author = {M. Usman Iftikhar and
Gowri Sankar Ramachandran and
Pablo Bollans{\'{e}}e and
Danny Weyns and
Danny Hughes},
title = {DeltaIoT: {A} Real World Exemplar for Self-Adaptive Internet of Things
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {1},
pages = {04:1--04:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.1.4},
doi = {10.4230/DARTS.3.1.4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/IftikharRBW017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KaiserDDLV17,
author = {Jan{-}Oliver Kaiser and
Hoang{-}Hai Dang and
Derek Dreyer and
Ori Lahav and
Viktor Vafeiadis},
title = {Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency
in Iris (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {15:1--15:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.15},
doi = {10.4230/DARTS.3.2.15},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KaiserDDLV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KrijtJBHG17,
author = {Filip Krijt and
Zbynek Jir{\'{a}}cek and
Tom{\'{a}}s Bures and
Petr Hnetynka and
Ilias Gerostathopoulos},
title = {Intelligent Ensembles - a Declarative Group Description Language and
Java Framework (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {1},
pages = {06:1--06:3},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.1.6},
doi = {10.4230/DARTS.3.1.6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KrijtJBHG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MaggioPFH17,
author = {Martina Maggio and
Alessandro Vittorio Papadopoulos and
Antonio Filieri and
Henry Hoffmann},
title = {Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies
Made Simple (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {1},
pages = {02:1--02:3},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.1.2},
doi = {10.4230/DARTS.3.1.2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MaggioPFH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MayerHK17,
author = {Mika{\"{e}}l Mayer and
Jad Hamza and
Viktor Kuncak},
title = {Proactive Synthesis of Recursive Tree-to-String Functions from Examples
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {16:1--16:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.16},
doi = {10.4230/DARTS.3.2.16},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MayerHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MelicherSPA17,
author = {Darya Melicher and
Yangqingwei Shi and
Alex Potanin and
Jonathan Aldrich},
title = {A Capability-Based Module System for Authority Control (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {02:1--02:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.2},
doi = {10.4230/DARTS.3.2.2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MelicherSPA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Petricek17,
author = {Tomas Petricek},
title = {Data Exploration through Dot-driven Development (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {12:1--12:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.12},
doi = {10.4230/DARTS.3.2.12},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Petricek17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SaleilF17,
author = {Baptiste Saleil and
Marc Feeley},
title = {Interprocedural Specialization of Higher-Order Dynamic Languages Without
Static Analysis (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {14:1--14:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.14},
doi = {10.4230/DARTS.3.2.14},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SaleilF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ScalasDHY17,
author = {Alceste Scalas and
Ornela Dardha and
Raymond Hu and
Nobuko Yoshida},
title = {A Linear Decomposition of Multiparty Sessions for Safe Distributed
Programming (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {03:1--03:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.3},
doi = {10.4230/DARTS.3.2.3},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/ScalasDHY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SchmidGPB17,
author = {Sanny Schmid and
Ilias Gerostathopoulos and
Christian Prehofer and
Tom{\'{a}}s Bures},
title = {Model Problem (CrowdNav) and Framework {(RTX)} for Self-Adaptation
Based on Big Data Analytics (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {1},
pages = {05:1--05:3},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.1.5},
doi = {10.4230/DARTS.3.1.5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SchmidGPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/StievenartNMR17,
author = {Quentin Sti{\'{e}}venart and
Jens Nicolay and
Wolfgang De Meuter and
Coen De Roover},
title = {Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {11:1--11:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.11},
doi = {10.4230/DARTS.3.2.11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/StievenartNMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/WangR17,
author = {Fei Wang and
Tiark Rompf},
title = {Towards Strong Normalization for Dependent Object Types {(DOT)} (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {05:1--05:3},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.5},
doi = {10.4230/DARTS.3.2.5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/WangR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/WilliamsMWZ17,
author = {Jack Williams and
J. Garrett Morris and
Philip Wadler and
Jakub Zalewski},
title = {Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {08:1--08:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.8},
doi = {10.4230/DARTS.3.2.8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/WilliamsMWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ZhangKRS17,
author = {Bo Zhang and
Filip Krikava and
Romain Rouvoy and
Lionel Seinturier},
title = {Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive
Behaviors in Hadoop Clusters (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {1},
pages = {01:1--01:3},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.1.1},
doi = {10.4230/DARTS.3.1.1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ZhangKRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ZhangO17,
author = {Weixin Zhang and
Bruno C. d. S. Oliveira},
title = {{EVF:} An Extensible and Expressive Visitor Framework for Programming
Language Reuse (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {3},
number = {2},
pages = {10:1--10:2},
year = {2017},
url = {https://doi.org/10.4230/DARTS.3.2.10},
doi = {10.4230/DARTS.3.2.10},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ZhangO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/0002H16,
author = {Timothy Jones and
Michael Homer},
title = {Object Inheritance Without Classes (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {06:1--06:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.6},
doi = {10.4230/DARTS.2.1.6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/0002H16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BarrettBDT16,
author = {Edd Barrett and
Carl Friedrich Bolz and
Lukas Diekmann and
Laurence Tratt},
title = {Fine-grained Language Composition: {A} Case Study (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {01:1--01:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.1},
doi = {10.4230/DARTS.2.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BarrettBDT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BolzKT16,
author = {Carl Friedrich Bolz and
Darya Kurilova and
Laurence Tratt},
title = {Making an Embedded {DBMS} JIT-friendly (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {02:1--02:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.2},
doi = {10.4230/DARTS.2.1.2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BolzKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/EyolfsonL16,
author = {Jon Eyolfson and
Patrick Lam},
title = {{C++} const and Immutability: An Empirical Study of Writes-Through-const
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {03:1--03:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.3},
doi = {10.4230/DARTS.2.1.3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/EyolfsonL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/FacchinettiPS16,
author = {Leandro Facchinetti and
Zachary Palmer and
Scott F. Smith},
title = {Higher-Order Demand-Driven Program Analysis (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {09:1--09:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.9},
doi = {10.4230/DARTS.2.1.9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/FacchinettiPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/FennellT16,
author = {Luminous Fennell and
Peter Thiemann},
title = {{LJGS:} Gradual Security Types for Object-Oriented Languages (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {04:1--04:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.4},
doi = {10.4230/DARTS.2.1.4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/FennellT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/FlattS16,
author = {Matthew Flatt and
Tijs van der Storm},
title = {Front Matter, Table of Contents, Preface, Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {00:i--00:x},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.0},
doi = {10.4230/DARTS.2.1.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/FlattS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/JarviP16,
author = {Jaakko J{\"{a}}rvi and
Sean Parent},
title = {One Way to Select Many (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {07:1--07:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.7},
doi = {10.4230/DARTS.2.1.7},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/JarviP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/JezekD16,
author = {Kamil Jezek and
Jens Dietrich},
title = {Magic with Dynamo - Flexible Cross-Component Linking for Java with
Invokedynamic (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {05:1--05:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.5},
doi = {10.4230/DARTS.2.1.5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/JezekD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/PoulsenNTV16,
author = {Casper Bach Poulsen and
Pierre N{\'{e}}ron and
Andrew P. Tolmach and
Eelco Visser},
title = {Scopes Describe Frames: {A} Uniform Model for Memory Layout in Dynamic
Semantics (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {10:1--10:3},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.10},
doi = {10.4230/DARTS.2.1.10},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/PoulsenNTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ScalasY16,
author = {Alceste Scalas and
Nobuko Yoshida},
title = {Lightweight Session Programming in Scala (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {11:1--11:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.11},
doi = {10.4230/DARTS.2.1.11},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ScalasY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SpathDAB16,
author = {Johannes Sp{\"{a}}th and
Lisa Nguyen Quang Do and
Karim Ali and
Eric Bodden},
title = {Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis
for Java (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {12:1--12:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.12},
doi = {10.4230/DARTS.2.1.12},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SpathDAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/Swalens16,
author = {Janwillem Swalens},
title = {Transactional Tasks: Parallelism in Software Transactions (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {13:1--13:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.13},
doi = {10.4230/DARTS.2.1.13},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/Swalens16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/TanLZX16,
author = {Tian Tan and
Yue Li and
Yifei Zhang and
Jingling Xue},
title = {Program Tailoring: Slicing by Sequential Criteria (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {08:1--08:3},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.8},
doi = {10.4230/DARTS.2.1.8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/TanLZX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/TomanG16,
author = {John Toman and
Dan Grossman},
title = {Staccato: {A} Bug Finder for Dynamic Configuration Updates (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {14:1--14:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.14},
doi = {10.4230/DARTS.2.1.14},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/TomanG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BiboudisPFS15,
author = {Aggelos Biboudis and
Nick Palladinos and
George Fourtounis and
Yannis Smaragdakis},
title = {Streams {\`{a}} la carte: Extensible Pipelines with Object Algebras
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {09:1--09:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.9},
doi = {10.4230/DARTS.1.1.9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BiboudisPFS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DemetrescuF15,
author = {Camil Demetrescu and
Matthew Flatt},
title = {Front Matter, Table of Contents},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {00:i--00:vi},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.0},
doi = {10.4230/DARTS.1.1.0},
timestamp = {Mon, 16 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DemetrescuF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/HauzarK15,
author = {David Hauzar and
Jan Kofron},
title = {Framework for Static Analysis of {PHP} Applications (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {11:1--11:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.11},
doi = {10.4230/DARTS.1.1.11},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/HauzarK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ImamS15,
author = {Shams Imam and
Vivek Sarkar},
title = {The Eureka Programming Model for Speculative Task Parallelism (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {06:1--06:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.6},
doi = {10.4230/DARTS.1.1.6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ImamS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/JonesHN15,
author = {Timothy Jones and
Michael Homer and
James Noble},
title = {Brand Objects for Nominal Typing (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {04:1--04:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.4},
doi = {10.4230/DARTS.1.1.4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/JonesHN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KeilGSGT15,
author = {Matthias Keil and
Sankha Narayan Guria and
Andreas Schlegel and
Manuel Geffken and
Peter Thiemann},
title = {Transparent Object Proxies for JavaScript (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {02:1--02:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.2},
doi = {10.4230/DARTS.1.1.2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KeilGSGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KeilT15,
author = {Matthias Keil and
Peter Thiemann},
title = {TreatJS: Higher-Order Contracts for JavaScript (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {01:1--01:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.1},
doi = {10.4230/DARTS.1.1.1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KeilT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/LeeASPC15,
author = {Joseph Lee and
Jonathan Aldrich and
Troy Shaw and
Alex Potanin and
Benjamin Chung},
title = {A Theory of Tagged Objects (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {03:1--03--3},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.3},
doi = {10.4230/DARTS.1.1.3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/LeeASPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MedeirosKRNG15,
author = {Fl{\'{a}}vio Medeiros and
Christian K{\"{a}}stner and
M{\'{a}}rcio Ribeiro and
Sarah Nadi and
Rohit Gheyi},
title = {The Love/Hate Relationship with the {C} Preprocessor: An Interview
Study (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {07:1--07:32},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.7},
doi = {10.4230/DARTS.1.1.7},
timestamp = {Thu, 28 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/darts/MedeirosKRNG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ParkR15,
author = {Changhee Park and
Sukyoung Ryu},
title = {Scalable and Precise Static Analysis of JavaScript Applications via
Loop-Sensitivity (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {12:1--12:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.12},
doi = {10.4230/DARTS.1.1.12},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ParkR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SchwerhoffS15,
author = {Malte Schwerhoff and
Alexander J. Summers},
title = {Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {10:1--10:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.10},
doi = {10.4230/DARTS.1.1.10},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SchwerhoffS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/ShinnarSH15,
author = {Avraham Shinnar and
J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Martin Hirzel},
title = {A Pattern Calculus for Rule Languages: Expressiveness, Compilation,
and Mechanization (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {08:1--08:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.8},
doi = {10.4230/DARTS.1.1.8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/ShinnarSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/St-AmourG15,
author = {Vincent St{-}Amour and
Shu{-}yu Guo},
title = {Optimization Coaching for JavaScript (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {05:1--05:2},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.5},
doi = {10.4230/DARTS.1.1.5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/St-AmourG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-18 05:42 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
