Search dblp for Publications

export results for "toc:db/journals/darts/darts8.bht:"

 download as .bib file

@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:--1--00:--12},
  year         = {2022},
  url          = {https://doi.org/10.4230/DARTS.8.2.0},
  doi          = {10.4230/DARTS.8.2.0},
  timestamp    = {Thu, 23 Jun 2022 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:--1--00:--10},
  year         = {2022},
  url          = {https://doi.org/10.4230/DARTS.8.1.0},
  doi          = {10.4230/DARTS.8.1.0},
  timestamp    = {Tue, 28 Jun 2022 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    = {Thu, 23 Jun 2022 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    = {Thu, 23 Jun 2022 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       = {Daniel 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    = {Tue, 09 Aug 2022 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    = {Tue, 28 Jun 2022 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.