@Article{evenmendoza_et_al:DARTS.10.2.0,
author = {Even-Mendoza, Karine and Monat, Rapha\"{e}l},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
pages = {0:i--0:xii},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Even-Mendoza, Karine and Monat, Rapha\"{e}l},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.0},
URN = {urn:nbn:de:0030-drops-208982},
doi = {10.4230/DARTS.10.2.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@Article{aceto_et_al:DARTS.10.2.1,
author = {Aceto, Luca and Attard, Duncan Paul and Francalanza, Adrian and Ing\'{o}lfsd\'{o}ttir, Anna},
title = {{Runtime Instrumentation for Reactive Components (Artifact)}},
pages = {1:1--1:4},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Aceto, Luca and Attard, Duncan Paul and Francalanza, Adrian and Ing\'{o}lfsd\'{o}ttir, Anna},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.1},
URN = {urn:nbn:de:0030-drops-208991},
doi = {10.4230/DARTS.10.2.1},
annote = {Keywords: Runtime instrumentation, decentralised monitoring, reactive systems}
}
@Article{arzt_et_al:DARTS.10.2.2,
author = {Arzt, Steven and Miltenberger, Marc and N\"{a}umann, Julius},
title = {{Dynamically Generating Callback Summaries for Enhancing Static Analysis (Artifact)}},
pages = {2:1--2:5},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Arzt, Steven and Miltenberger, Marc and N\"{a}umann, Julius},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.2},
URN = {urn:nbn:de:0030-drops-209009},
doi = {10.4230/DARTS.10.2.2},
annote = {Keywords: dynamic analysis, callback detection, java, android}
}
@Article{carvalho_et_al:DARTS.10.2.3,
author = {Carvalho, Lu{\'\i}s and Costa Seco, Jo\~{a}o},
title = {{A Language-Based Version Control System for Python (Artifact)}},
pages = {3:1--3:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Carvalho, Lu{\'\i}s and Costa Seco, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.3},
URN = {urn:nbn:de:0030-drops-209017},
doi = {10.4230/DARTS.10.2.3},
annote = {Keywords: Software evolution, type theory}
}
@Article{derakhshan_et_al:DARTS.10.2.4,
author = {Derakhshan, Farzaneh and Balzer, Stephanie and Yao, Yue},
title = {{Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact)}},
pages = {4:1--4:3},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Derakhshan, Farzaneh and Balzer, Stephanie and Yao, Yue},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.4},
URN = {urn:nbn:de:0030-drops-209020},
doi = {10.4230/DARTS.10.2.4},
annote = {Keywords: Regrading policies, session types, progress-sensitive noninterference}
}
@Article{dimovski:DARTS.10.2.5,
author = {Dimovski, Aleksandar S.},
title = {{Mutation-Based Lifted Repair of Software Product Lines (Artifact)}},
pages = {5:1--5:5},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Dimovski, Aleksandar S.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.5},
URN = {urn:nbn:de:0030-drops-209036},
doi = {10.4230/DARTS.10.2.5},
annote = {Keywords: Program repair, Software Product Lines, Code mutations, Variability encoding}
}
@Article{dort_et_al:DARTS.10.2.6,
author = {Dort, Vlastimil and Li, Yufeng and Lhot\'{a}k, Ond\v{r}ej and Par{\'\i}zek, Pavel},
title = {{Pure Methods for roDOT (Artifact)}},
pages = {6:1--6:8},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Dort, Vlastimil and Li, Yufeng and Lhot\'{a}k, Ond\v{r}ej and Par{\'\i}zek, Pavel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.6},
URN = {urn:nbn:de:0030-drops-209046},
doi = {10.4230/DARTS.10.2.6},
annote = {Keywords: type systems, DOT calculus, pure methods}
}
@Article{estep_et_al:DARTS.10.2.7,
author = {Estep, Sam and Ni, Wode and Rothkopf, Raven and Sunshine, Joshua},
title = {{Rose: Composable Autodiff for the Interactive Web (Artifact)}},
pages = {7:1--7:4},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Estep, Sam and Ni, Wode and Rothkopf, Raven and Sunshine, Joshua},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.7},
URN = {urn:nbn:de:0030-drops-209053},
doi = {10.4230/DARTS.10.2.7},
annote = {Keywords: Automatic differentiation, differentiable programming, compilers, web}
}
@Article{haller_et_al:DARTS.10.2.8,
author = {Haller, Philipp and Hussein, Ayman and Melgratti, Hern\'{a}n and Scalas, Alceste and Tuosto, Emilio},
title = {{Fair Join Pattern Matching for Actors (Artifact)}},
pages = {8:1--8:3},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Haller, Philipp and Hussein, Ayman and Melgratti, Hern\'{a}n and Scalas, Alceste and Tuosto, Emilio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.8},
URN = {urn:nbn:de:0030-drops-209062},
doi = {10.4230/DARTS.10.2.8},
annote = {Keywords: Concurrency, join patterns, join calculus, actor model}
}
@Article{kinsbruner_et_al:DARTS.10.2.9,
author = {Kinsbruner, Elad and Itzhaky, Shachar and Peleg, Hila},
title = {{Constrictor: Immutability as a Design Concept (Artifact)}},
pages = {9:1--9:4},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Kinsbruner, Elad and Itzhaky, Shachar and Peleg, Hila},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.9},
URN = {urn:nbn:de:0030-drops-209071},
doi = {10.4230/DARTS.10.2.9},
annote = {Keywords: Immutability, Design Enforcement, SMT, Liskov Substitution Principle, Object-oriented Programming}
}
@Article{lagaillardie_et_al:DARTS.10.2.10,
author = {Lagaillardie, Nicolas and Hou, Ping and Yoshida, Nobuko},
title = {{Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact)}},
pages = {10:1--10:3},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Lagaillardie, Nicolas and Hou, Ping and Yoshida, Nobuko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.10},
URN = {urn:nbn:de:0030-drops-209084},
doi = {10.4230/DARTS.10.2.10},
annote = {Keywords: session types, affine types, \pi-calculus, asynchrony, timeouts, failures, Rust}
}
@Article{li_et_al:DARTS.10.2.11,
author = {Li, Senxi and Yamazaki, Tetsuro and Chiba, Shigeru},
title = {{InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference (Artifact)}},
pages = {11:1--11:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Li, Senxi and Yamazaki, Tetsuro and Chiba, Shigeru},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.11},
URN = {urn:nbn:de:0030-drops-209094},
doi = {10.4230/DARTS.10.2.11},
annote = {Keywords: Domain Specific Languages, Compilation, Static Analysis, Type Inference, Constraint Solving, SMT Solver}
}
@Article{li_et_al:DARTS.10.2.12,
author = {Li, Liyi and Zhu, Mingwei and Cleaveland, Rance and Nicolellis, Alexander and Lee, Yi and Chang, Le and Wu, Xiaodi},
title = {{Qafny: A Quantum-Program Verifier (Artifact)}},
pages = {12:1--12:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Li, Liyi and Zhu, Mingwei and Cleaveland, Rance and Nicolellis, Alexander and Lee, Yi and Chang, Le and Wu, Xiaodi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.12},
URN = {urn:nbn:de:0030-drops-209104},
doi = {10.4230/DARTS.10.2.12},
annote = {Keywords: Quantum Computing, Automated Verification, Separation Logic}
}
@Article{loow_et_al:DARTS.10.2.13,
author = {L\"{o}\"{o}w, Andreas and Nantes-Sobrinho, Daniele and Ayoun, Sacha-\'{E}lie and Cronj\"{a}ger, Caroline and Karmios, Nat and Maksimovi\'{c}, Petar and Gardner, Philippa},
title = {{Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact)}},
pages = {13:1--13:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {L\"{o}\"{o}w, Andreas and Nantes-Sobrinho, Daniele and Ayoun, Sacha-\'{E}lie and Cronj\"{a}ger, Caroline and Karmios, Nat and Maksimovi\'{c}, Petar and Gardner, Philippa},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.13},
URN = {urn:nbn:de:0030-drops-209110},
doi = {10.4230/DARTS.10.2.13},
annote = {Keywords: separation logic, incorrectness logic, symbolic execution, bi-abduction}
}
@Article{migeed_et_al:DARTS.10.2.14,
author = {Migeed, Zeina and Palsberg, Jens},
title = {{Generalizing Shape Analysis with Gradual Types (Artifact)}},
pages = {14:1--14:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Migeed, Zeina and Palsberg, Jens},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.14},
URN = {urn:nbn:de:0030-drops-209125},
doi = {10.4230/DARTS.10.2.14},
annote = {Keywords: Gradual Types, Type Theory}
}
@Article{patel_et_al:DARTS.10.2.15,
author = {Patel, Nisarg and Shasha, Dennis and Wies, Thomas},
title = {{Verifying Lock-Free Search Structure Templates (Artifact)}},
pages = {15:1--15:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Patel, Nisarg and Shasha, Dennis and Wies, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.15},
URN = {urn:nbn:de:0030-drops-209138},
doi = {10.4230/DARTS.10.2.15},
annote = {Keywords: skiplists, lock-free, separation logic, linearizability, future-dependent linearization points, hindsight reasoning}
}
@Article{plyukhin_et_al:DARTS.10.2.16,
author = {Plyukhin, Dan and Peressotti, Marco and Montesi, Fabrizio},
title = {{Ozone: Fully Out-of-Order Choreographies (Artifact)}},
pages = {16:1--16:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Plyukhin, Dan and Peressotti, Marco and Montesi, Fabrizio},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.16},
URN = {urn:nbn:de:0030-drops-209145},
doi = {10.4230/DARTS.10.2.16},
annote = {Keywords: Choreographic programming, Asynchrony, Concurrency.}
}
@Article{qiu_et_al:DARTS.10.2.17,
author = {Qiu, Jie and Cai, Colin and Bhatia, Sahil and Hasabnis, Niranjan and Seshia, Sanjit A. and Cheung, Alvin},
title = {{Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact)}},
pages = {17:1--17:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Qiu, Jie and Cai, Colin and Bhatia, Sahil and Hasabnis, Niranjan and Seshia, Sanjit A. and Cheung, Alvin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.17},
URN = {urn:nbn:de:0030-drops-209150},
doi = {10.4230/DARTS.10.2.17},
annote = {Keywords: Program Synthesis, Code Transpilation, Tensor DSLs, Verification}
}
@Article{richter_et_al:DARTS.10.2.18,
author = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira},
title = {{Compiling with Arrays (Artifact)}},
pages = {18:1--18:7},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Richter, David and B\"{o}hler, Timon and Weisenburger, Pascal and Mezini, Mira},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.18},
URN = {urn:nbn:de:0030-drops-209168},
doi = {10.4230/DARTS.10.2.18},
annote = {Keywords: array languages, functional programming, domain-specific languages, normalization by evaluation, common subexpression elimination, polarity, positive function type, intrinsic types}
}
@Article{robinson_et_al:DARTS.10.2.19,
author = {Robinson, Amos and Potanin, Alex},
title = {{Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact)}},
pages = {19:1--19:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Robinson, Amos and Potanin, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.19},
URN = {urn:nbn:de:0030-drops-209177},
doi = {10.4230/DARTS.10.2.19},
annote = {Keywords: Lustre, streaming, reactive, verification}
}
@Article{schott_et_al:DARTS.10.2.20,
author = {Schott, Stefan and Ponta, Serena Elisa and Fischer, Wolfram and Klauke, Jonas and Bodden, Eric},
title = {{Java Bytecode Normalization for Code Similarity Analysis (Artifact)}},
pages = {20:1--20:3},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Schott, Stefan and Ponta, Serena Elisa and Fischer, Wolfram and Klauke, Jonas and Bodden, Eric},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.20},
URN = {urn:nbn:de:0030-drops-209189},
doi = {10.4230/DARTS.10.2.20},
annote = {Keywords: Bytecode, Java Compiler, Code Similarity Analysis}
}
@Article{singhal_et_al:DARTS.10.2.21,
author = {Singhal, Vidush and Koparkar, Chaitanya and Zullo, Joseph and Pelenitsyn, Artem and Vollmer, Michael and Rainey, Mike and Newton, Ryan and Kulkarni, Milind},
title = {{Optimizing Layout of Recursive Datatypes with Marmoset (Artifact)}},
pages = {21:1--21:10},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Singhal, Vidush and Koparkar, Chaitanya and Zullo, Joseph and Pelenitsyn, Artem and Vollmer, Michael and Rainey, Mike and Newton, Ryan and Kulkarni, Milind},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.21},
URN = {urn:nbn:de:0030-drops-209199},
doi = {10.4230/DARTS.10.2.21},
annote = {Keywords: Tree traversals, Compilers, Data layout optimization, Dense data layout}
}
@Article{sun_et_al:DARTS.10.2.22,
author = {Sun, Ke and Wang, Di and Chen, Sheng and Wang, Meng and Hao, Dan},
title = {{Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact)}},
pages = {22:1--22:3},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Sun, Ke and Wang, Di and Chen, Sheng and Wang, Meng and Hao, Dan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.22},
URN = {urn:nbn:de:0030-drops-209209},
doi = {10.4230/DARTS.10.2.22},
annote = {Keywords: Refinement Types, Program Verification, Object-oriented Programming}
}
@Article{vassor_et_al:DARTS.10.2.23,
author = {Vassor, Martin and Yoshida, Nobuko},
title = {{Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact)}},
pages = {23:1--23:5},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Vassor, Martin and Yoshida, Nobuko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.23},
URN = {urn:nbn:de:0030-drops-209212},
doi = {10.4230/DARTS.10.2.23},
annote = {Keywords: Message-Passing Concurrency, Session Types, Specification}
}
@Article{wiersdorf_et_al:DARTS.10.2.24,
author = {Wiersdorf, Ashton and Chang, Stephen and Felleisen, Matthias and Greenman, Ben},
title = {{Type Tailoring (Artifact)}},
pages = {24:1--24:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Wiersdorf, Ashton and Chang, Stephen and Felleisen, Matthias and Greenman, Ben},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.24},
URN = {urn:nbn:de:0030-drops-209220},
doi = {10.4230/DARTS.10.2.24},
annote = {Keywords: Types, Metaprogramming, Macros, Partial Evaluation}
}
@Article{young_et_al:DARTS.10.2.25,
author = {Young, David and Yang, Ziyi and Sergey, Ilya and Potanin, Alex},
title = {{Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)}},
pages = {25:1--25:2},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Young, David and Yang, Ziyi and Sergey, Ilya and Potanin, Alex},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.25},
URN = {urn:nbn:de:0030-drops-209239},
doi = {10.4230/DARTS.10.2.25},
annote = {Keywords: Program Synthesis, Separation Logic, Functional Programming}
}
@Article{zhou_et_al:DARTS.10.2.26,
author = {Zhou, Quan and Dang, Sixuan and Zhang, Danfeng},
title = {{CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact)}},
pages = {26:1--26:5},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Zhou, Quan and Dang, Sixuan and Zhang, Danfeng},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.26},
URN = {urn:nbn:de:0030-drops-209244},
doi = {10.4230/DARTS.10.2.26},
annote = {Keywords: Information flow control, static analysis, side channel, constant-time programming}
}
@Article{zwaan_et_al:DARTS.10.2.27,
author = {Zwaan, Aron and Bach Poulsen, Casper},
title = {{Defining Name Accessibility Using Scope Graphs (Artifact)}},
pages = {27:1--27:3},
journal = {Dagstuhl Artifacts Series},
ISBN = {978-3-95977-342-3},
ISSN = {2509-8195},
year = {2024},
volume = {10},
number = {2},
editor = {Zwaan, Aron and Bach Poulsen, Casper},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.10.2.27},
URN = {urn:nbn:de:0030-drops-209258},
doi = {10.4230/DARTS.10.2.27},
annote = {Keywords: access modifier, visibility, scope graph, name resolution}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing