- David Young, Ziyi Yang, Ilya Sergey, Alex Potanin:
Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact). Dagstuhl Artifacts Ser. 10(2): 25:1-25:2 (2024) - Quan Zhou, Sixuan Dang, Danfeng Zhang:
CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact). Dagstuhl Artifacts Ser. 10(2): 26:1-26:5 (2024) - Aron Zwaan, Casper Bach Poulsen:
Defining Name Accessibility Using Scope Graphs (Artifact). Dagstuhl Artifacts Ser. 10(2): 27:1-27:3 (2024) - 2023
- Matthias Becker, Julien Forget:
Front Matter, Table of Contents, Preface, Conference Organization. Dagstuhl Artifacts Ser. 9(1): 00:i-00:x (2023) - Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun:
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9(1): 04:1-04:6 (2023) - Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Dagstuhl Artifacts Ser. 9(2): 09:1-09:3 (2023) - David Castro-Perez, Nobuko Yoshida:
Dynamically Updatable Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 9(2): 10:1-10:2 (2023) - Eva Dengler, Phillip Raffeck, Simon Schuster, Peter Wägemann:
FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact). Dagstuhl Artifacts Ser. 9(1): 02:1-02:3 (2023) - Andong Fan, Lionel Parreaux:
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact). Dagstuhl Artifacts Ser. 9(2): 22:1-22:2 (2023) - Henrique Botelho Guerra, João F. Ferreira, João Costa Seco:
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact). Dagstuhl Artifacts Ser. 9(2): 20:1-20:3 (2023) - Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9(2): 11:1-11:2 (2023) - Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty:
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact). Dagstuhl Artifacts Ser. 9(2): 25:1-25:2 (2023) - Simon Henniger, Nada Amin:
The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact). Dagstuhl Artifacts Ser. 9(2): 13:1-13:3 (2023) - Feiyang Jin, Lechen Yu:
Determinacy Race Detector for Promises (Artifact). Dagstuhl Artifacts Ser. 9(2): 24:1-24:2 (2023) - Sung-Shik Jongmans, Francisco Ferreira:
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact). Dagstuhl Artifacts Ser. 9(2): 18:1-18:2 (2023) - Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini:
Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9(2): 26:1-26:4 (2023) - Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto:
Behavioural Types for Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9(2): 14:1-14:5 (2023) - Hernán Ponce de León, Stefan Winter:
Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 9(2): 00:i-00:xii (2023) - Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze:
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact). Dagstuhl Artifacts Ser. 9(2): 12:1-12:3 (2023) - Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva:
Automata Learning with an Incomplete Teacher (Artifact). Dagstuhl Artifacts Ser. 9(2): 21:1-21:3 (2023) - Jan de Muijnck-Hughes, Wim Vanderbauwhede:
Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact). Dagstuhl Artifacts Ser. 9(2): 04:1-04:3 (2023) - Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal:
Modular Verification of State-Based CRDTs in Separation Logic (Artifact). Dagstuhl Artifacts Ser. 9(2): 15:1-15:5 (2023) - Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Dagstuhl Artifacts Ser. 9(2): 23:1-23:3 (2023) - Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix:
VeriFx: Correct Replicated Data Types for the Masses (Artifact). Dagstuhl Artifacts Ser. 9(2): 19:1-19:2 (2023) - Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos:
Toward Tool-Independent Summaries for Symbolic Execution (Artifact). Dagstuhl Artifacts Ser. 9(2): 07:1-07:4 (2023) - Tim Rheinfels, Maximilian Gaukler, Peter Ulbrich:
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact). Dagstuhl Artifacts Ser. 9(1): 01:1-01:3 (2023) - David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact). Dagstuhl Artifacts Ser. 9(2): 17:1-17:3 (2023) - Ori Roth:
Python Type Hints Are Turing Complete (Artifact). Dagstuhl Artifacts Ser. 9(2): 01:1-01:4 (2023) - Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina:
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact). Dagstuhl Artifacts Ser. 9(2): 03:1-03:2 (2023) - Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic:
Semantics for Noninterference with Interaction Trees (Artifact). Dagstuhl Artifacts Ser. 9(2): 06:1-06:2 (2023)