default search action
Dagstuhl Artifacts Series, Volume 7
Volume 7, Number 1, 2021
ECRTS 2021
- Alessandro Biondi, Angeliki Kritikakou:
Front Matter - ECRTS 2021 Artifacts, Table of Contents, Artifact Evaluation Committee. 00:i-00:x - Filip Markovic, Alessandro Vittorio Papadopoulos, Thomas Nolte:
On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact). 01:1-01:2 - Marc Boyer, Pierre Roux, Hugo Daigmorte, David Puechmaille:
A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus (Artifact). 02:1-02:3 - Catherine E. Nemitz, Shai Caspin, James H. Anderson, Bryan C. Ward:
Light Reading: Optimizing Reader/Writer Locking for Read-Dominant Real-Time Workloads (Artifact). 03:1-03:3
Volume 7, Number 2, 2021
ECOOP 2021
- William G. J. Halfond, Quentin Stiévenart:
Front Matter - ECOOP 2021 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:i-00:xi - Hendrik van Antwerpen, Eelco Visser:
Scope States (Artifact). 01:1-01:7 - Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
:
On the Monitorability of Session Types, in Theory and Practice (Artifact). 02:1-02:3 - Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala:
mist: Refinements of Futures Past (Artifact). 03:1-03:11 - Jan Bessai, George T. Heineman, Boris Düdder:
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact). 04:1-04:4 - Ellen Arteca, Frank Tip, Max Schäfer:
Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact). 05:1-05:6 - Aleksandar S. Dimovski, Sven Apel
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact). 06:1-06:6 - Yu Hao, Sufian Latif, Hailong Zhang
Differential Privacy for Coverage Analysis of Software Traces (Artifact). 07:1-07:3 - Paul Harvey
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact). 08:1-08:2 - Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang:
Type-Directed Operational Semantics for Gradual Typing (Artifact). 09:1-09:6 - Edwin C. Brady:
Idris 2: Quantitative Type Theory in Practice (Artifact). 10:1-10:7 - Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira:
Compositional Programming (Artifact). 11:1-11:2 - Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue:
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact). 12:1-12:3 - Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek:
CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact). 13:1-13:4 - Maxime Buyse, Rémi Delmas, Youssef Hamadi:
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact). 14:1-14:4 - Ohad Rau, Caleb Voss, Vivek Sarkar:
Linear Promises: Towards Safer Concurrent Programming (Artifact). 15:1-15:3
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-11-22 19:33 CET 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: