default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Artifacts Series, Volume 9
Volume 9, Number 1, 2023
ECRTS 2023
- Matthias Becker, Julien Forget:
Front Matter, Table of Contents, Preface, Conference Organization. 00:i-00:x - 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). 01:1-01:3 - Eva Dengler, Phillip Raffeck, Simon Schuster, Peter Wägemann:
FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact). 02:1-02:3 - Raffaele Zippo, Paul Nikolaus, Giovanni Stea:
Isospeed: Improving (min, +) Convolution by Exploiting (min, +)/(max, +) Isomorphism (Artifact). 03:1-03:4 - 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). 04:1-04:6
Volume 9, Number 2, 2023
ECOOP 2023
- Hernán Ponce de León, Stefan Winter:
Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. 00:i-00:xii - Ori Roth:
Python Type Hints Are Turing Complete (Artifact). 01:1-01:4 - Jinhao Tan, Bruno C. d. S. Oliveira:
Dependent Merges and First-Class Environments (Artifact). 02:1-02:3 - Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina:
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact). 03:1-03:2 - Jan de Muijnck-Hughes, Wim Vanderbauwhede:
Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact). 04:1-04:3 - Ming-Ho Yee, Arjun Guha:
Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact). 05:1-05:3 - Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic:
Semantics for Noninterference with Interaction Trees (Artifact). 06:1-06:2 - Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos:
Toward Tool-Independent Summaries for Symbolic Execution (Artifact). 07:1-07:4 - Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott:
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact). 08:1-08:2 - Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). 09:1-09:3 - David Castro-Perez, Nobuko Yoshida:
Dynamically Updatable Multiparty Session Protocols (Artifact). 10:1-10:2 - Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact). 11:1-11:2 - Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze:
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact). 12:1-12:3 - Simon Henniger, Nada Amin:
The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact). 13:1-13:3 - Roland Kuhn, Hernán C. Melgratti, Emilio Tuosto:
Behavioural Types for Local-First Software (Artifact). 14:1-14:5 - Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal:
Modular Verification of State-Based CRDTs in Separation Logic (Artifact). 15:1-15:5 - Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel:
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact). 16:1-16:3 - David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact). 17:1-17:3 - Sung-Shik Jongmans, Francisco Ferreira:
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact). 18:1-18:2 - Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix:
VeriFx: Correct Replicated Data Types for the Masses (Artifact). 19:1-19:2 - Henrique Botelho Guerra, João F. Ferreira, João Costa Seco:
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact). 20:1-20:3 - Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva:
Automata Learning with an Incomplete Teacher (Artifact). 21:1-21:3 - Andong Fan, Lionel Parreaux:
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact). 22:1-22:2 - Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). 23:1-23:3 - Feiyang Jin, Lechen Yu:
Determinacy Race Detector for Promises (Artifact). 24:1-24:2 - Sarah Harris, Simon Cooksey, Michael Vollmer, Mark Batty:
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact). 25:1-25:2 - Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini:
Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact). 26:1-26:4
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-15 19:21 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:
