default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Artifacts Series, Volume 10
Volume 10, Number 1, 2024
ECRTS 2024
- Matthias Becker
, Catherine E. Nemitz:
Front Matter, Table of Contents, Artifact Evaluation Process, Artifact Evaluation Committee. 0:i-0:x - Syed W. Ali, Zelin Tong, Joseph Goh, James H. Anderson:
Predictable GPU Sharing in Component-Based Real-Time Systems (Artifact). 1:1-1:5 - Eva Dengler, Peter Wägemann:
Crêpe: Clock Reconfigurability for Preemption Control (Artifact). 2:1-2:3 - Sizhe Liu, Rohan Wagle, James H. Anderson, Ming Yang, Chi Zhang, Yunhua Li:
Autonomy Today: Many Delay-Prone Black Boxes (Artifact). 3:1-3:3 - Daniele Ottaviano, Francesco Ciraolo, Renato Mancuso, Marcello Cinque:
The Omnivisor: A real-time static partitioning hypervisor extension for heterogeneous core virtualization over MPSoCs (Artifact). 4:1-4:7
Volume 10, Number 2, 2024
ECOOP 2024
- Karine Even-Mendoza, Raphaël Monat:
Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:xii - Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir:
Runtime Instrumentation for Reactive Components (Artifact). 1:1-1:4 - Steven Arzt, Marc Miltenberger, Julius Näumann:
Dynamically Generating Callback Summaries for Enhancing Static Analysis (Artifact). 2:1-2:5 - Luís Carvalho, João Costa Seco:
A Language-Based Version Control System for Python (Artifact). 3:1-3:2 - Farzaneh Derakhshan, Stephanie Balzer, Yue Yao:
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact). 4:1-4:3 - Aleksandar S. Dimovski:
Mutation-Based Lifted Repair of Software Product Lines (Artifact). 5:1-5:5 - Vlastimil Dort, Yufeng Li, Ondrej Lhoták, Pavel Parízek:
Pure Methods for roDOT (Artifact). 6:1-6:8 - Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine:
Rose: Composable Autodiff for the Interactive Web (Artifact). 7:1-7:4 - Philipp Haller, Ayman Hussein, Hernán C. Melgratti, Alceste Scalas, Emilio Tuosto:
Fair Join Pattern Matching for Actors (Artifact). 8:1-8:3 - Elad Kinsbruner, Shachar Itzhaky, Hila Peleg:
Constrictor: Immutability as a Design Concept (Artifact). 9:1-9:4 - Nicolas Lagaillardie, Ping Hou, Nobuko Yoshida:
Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact). 10:1-10:3 - Senxi Li, Tetsuro Yamazaki, Shigeru Chiba:
InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference (Artifact). 11:1-11:2 - Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu:
Qafny: A Quantum-Program Verifier (Artifact). 12:1-12:2 - Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Nat Karmios, Petar Maksimovic, Philippa Gardner:
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact). 13:1-13:2 - Zeina Migeed, Jens Palsberg:
Generalizing Shape Analysis with Gradual Types (Artifact). 14:1-14:2 - Nisarg Patel, Dennis Shasha, Thomas Wies:
Verifying Lock-Free Search Structure Templates (Artifact). 15:1-15:2 - Dan Plyukhin, Marco Peressotti, Fabrizio Montesi:
Ozone: Fully Out-of-Order Choreographies (Artifact). 16:1-16:2 - Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact). 17:1-17:2 - David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
Compiling with Arrays (Artifact). 18:1-18:7 - Amos Robinson, Alex Potanin:
Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact). 19:1-19:2 - Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden:
Java Bytecode Normalization for Code Similarity Analysis (Artifact). 20:1-20:3 - Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni:
Optimizing Layout of Recursive Datatypes with Marmoset (Artifact). 21:1-21:10 - Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao:
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact). 22:1-22:3 - Martin Vassor, Nobuko Yoshida:
Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact). 23:1-23:5 - Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman:
Type Tailoring (Artifact). 24:1-24:2 - David Young, Ziyi Yang, Ilya Sergey, Alex Potanin:
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact). 25:1-25:2 - Quan Zhou, Sixuan Dang, Danfeng Zhang:
CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact). 26:1-26:5 - Aron Zwaan, Casper Bach Poulsen:
Defining Name Accessibility Using Scope Graphs (Artifact). 27:1-27: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 2025-02-21 19:35 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:
