Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Artifacts Series, Volume 8
Volume 8, Number 1, 2022
- Angeliki Kritikakou, Matthias Becker:
Front Matter - ECRTS 2022 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:-1-00:-10 - Marco Barletta, Marcello Cinque, Luigi De Simone, Raffaele Della Corte:
Achieving Isolation in Mixed-Criticality Industrial Edge Systems with Real-Time Containers (Artifact). 01:1-01:12 - Kuan-Hsun Chen
, Mario Günzel, Boguslaw Jablkowski, Markus Buschhoff, Jian-Jia Chen:
Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization (Artifact). 02:1-02:2 - Pierre Roux, Sophie Quinton, Marc Boyer:
A Formal Link Between Response Time Analysis and Network Calculus (Artifact). 03:1-03:3 - Matheus Ladeira, Emmanuel Grolleau, Fabien Bonneval, Gautier Hattenberger, Yassine Ouhammou, Yuri Hérouard:
Scheduling Offset-Free Systems Under FIFO Priority Protocol (Artifact). 04:1-04:2 - Federico Aromolo, Alessandro Biondi, Geoffrey Nelissen:
Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling (Artifact). 05:1-05:2 - Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti:
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact). 06:1-06:2 - Marco Maida, Sergey Bozhko, Björn B. Brandenburg:
Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact). 07:1-07:2
Volume 8, Number 2, 2022
- Alessandra Gorla, Stefan Winter:
Front Matter, Table of Contents, Preface, Conference Organization. 00:-1-00:-12 - Daniel Marshall, Dominic Orchard:
How to Take the Inverse of a Type (Artifact). 01:1-01:3 - Vlad Rusu, David Nowak:
Defining Corecursive Functions in Coq Using Approximations (Artifact). 02:1-02:2 - Shuyang Liu, John Bender, Jens Palsberg:
Compiling Volatile Correctly in Java (Artifact). 03:1-03:2 - Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira:
Direct Foundations for Compositional Programming (Artifact). 04:1-04:3 - Jinxu Zhao, Bruno C. d. S. Oliveira:
Elementary Type Inference (Artifact). 05:1-05:2 - Dongjie He, Jingbo Lu, Jingling Xue:
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact). 06:1-06:3 - Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi:
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact). 07:1-07:5 - Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC (Artifact). 08:1-08:4 - Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida:
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact). 09:1-09:16 - Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox:
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact). 10:1-10:2 - Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger:
Low-Level Bi-Abduction (Artifact). 11:1-11:6 - Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers:
REST: Integrating Term Rewriting with Program Verification (Artifact). 12:1-12:2 - Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar:
A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). 13:1-13:2 - Ruofei Chen, Stephanie Balzer, Bernardo Toninho:
Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact). 14:1-14:2 - Jules Jacobs:
A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact). 15:1-15:2 - David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). 16:1-16:3 - Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira:
Union Types with Disjoint Switches (Artifact). 17:1-17:6 - Andreas Stadelmeier, Martin Plümicke, Peter Thiemann:
Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact). 18:1-18:4 - Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença:
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact). 19:1-19:4 - Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão:
Concolic Execution for WebAssembly (Artifact). 20:1-20:3 - Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). 21:1-21:5 - Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst:
Accumulation Analysis (Artifact). 22:1-22:3 - Manuel Serrano:
JavaScript Sealed Classes (Artifact). 23:1-23:4 - Hehao Li, Yizhuo Wang, Yiwei Zhang, Juanru Li, Dawu Gu:
PEDroid: Automatically Extracting Patches from Android App Updates (Artifact). 24:1-24:2 - Abhiroop Sarkar, Bo Joel Svensson:
Synchron - An API and Runtime for Embedded Systems (Artifact). 25:1-25:2 - Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf:
What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact). 26:1-26:2
a service of 
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.
last updated on 2024-04-25 04:40 CEST 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:
