Search results for "Artifacts"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Andong Fan, Lionel Parreaux	super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Feiyang Jin, Lechen Yu	Determinacy Race Detector for Promises (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Eva Dengler, Phillip Raffeck, Simon Schuster, Peter Wägemann	FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Roland Kuhn 0002, Hernán C. Melgratti, Emilio Tuosto	Behavioural Types for Local-First Software (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott	Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Sung-Shik Jongmans, Francisco Ferreira 0001	Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Ori Roth	Python Type Hints Are Turing Complete (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou 0002	Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
20	Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst	Accumulation Analysis (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Alessandra Gorla, Stefan Winter 0001	Front Matter, Table of Contents, Preface, Conference Organization.	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira	Union Types with Disjoint Switches (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Jinxu Zhao, Bruno C. d. S. Oliveira	Elementary Type Inference (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Federico Aromolo, Alessandro Biondi 0001, Geoffrey Nelissen	Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Vlad Rusu, David Nowak	Defining Corecursive Functions in Coq Using Approximations (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	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).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Marco Barletta, Marcello Cinque, Luigi De Simone, Raffaele Della Corte	Achieving Isolation in Mixed-Criticality Industrial Edge Systems with Real-Time Containers (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Jules Jacobs	A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	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).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti	ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Andong Fan, Xuejing Huang, Han Xu 0004, Yaozhu Sun, Bruno C. d. S. Oliveira	Direct Foundations for Compositional Programming (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Andreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001	Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Abhiroop Sarkar, Bo Joel Svensson	Synchron - An API and Runtime for Embedded Systems (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Daniel Marshall 0001, Dominic Orchard	How to Take the Inverse of a Type (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers	REST: Integrating Term Rewriting with Program Verification (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Filipe Marques, José Fragoso Santos, Nuno Santos 0001, Pedro Adão	Concolic Execution for WebAssembly (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi	Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Shuyang Liu, John Bender, Jens Palsberg	Compiling Volatile Correctly in Java (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	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).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli	Functional Programming for Distributed Systems with XC (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida	Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Ruofei Chen, Stephanie Balzer, Bernardo Toninho	Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Dongjie He, Jingbo Lu, Jingling Xue	Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Pierre Roux, Sophie Quinton, Marc Boyer	A Formal Link Between Response Time Analysis and Network Calculus (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Hehao Li, Yizhuo Wang, Yiwei Zhang, Juanru Li, Dawu Gu	PEDroid: Automatically Extracting Patches from Android App Updates (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença	API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Matheus Ladeira, Emmanuel Grolleau, Fabien Bonneval, Gautier Hattenberger, Yassine Ouhammou, Yuri Hérouard	Scheduling Offset-Free Systems Under FIFO Priority Protocol (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida	Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger	Low-Level Bi-Abduction (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Manuel Serrano	JavaScript Sealed Classes (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar	A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei 0001, Tiark Rompf	What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Marco Maida, Sergey Bozhko, Björn B. Brandenburg	Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
20	Hendrik van Antwerpen, Eelco Visser	Scope States (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas	On the Monitorability of Session Types, in Theory and Practice (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	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).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue	Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Edwin C. Brady	Idris 2: Quantitative Type Theory in Practice (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	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).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Filip Markovic, Alessandro Vittorio Papadopoulos, Thomas Nolte	On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Paul Harvey 0002, Simon Fowler 0001, Ornela Dardha, Simon J. Gay	Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Ellen Arteca, Frank Tip, Max Schäfer	Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Catherine E. Nemitz, Shai Caspin, James H. Anderson, Bryan C. Ward	Light Reading: Optimizing Reader/Writer Locking for Read-Dominant Real-Time Workloads (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Maxime Buyse, Rémi Delmas, Youssef Hamadi	ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Ohad Rau, Caleb Voss 0001, Vivek Sarkar	Linear Promises: Towards Safer Concurrent Programming (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Aleksandar S. Dimovski, Sven Apel	Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek	CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang	Type-Directed Operational Semantics for Gradual Typing (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala	mist: Refinements of Futures Past (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira	Compositional Programming (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Yu Hao, Sufian Latif, Hailong Zhang 0006, Raef Bassily, Atanas Rountev	Differential Privacy for Coverage Analysis of Software Traces (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
20	Bruno C. d. S. Oliveira, Shaobo Cui 0002, Baber Rehman	The Duality of Subtyping (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter	Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Simon Fowler 0001	Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Hila Peleg, Nadia Polikarpova	Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Alastair F. Donaldson, Hugues Evrard, Paul Thomson	Putting Randomized Compiler Testing into Production (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis	Static Analysis of Shape in TensorFlow Programs (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné	Static Type Analysis by Abstract Interpretation of Python Programs (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Francesco Restuccia 0002, Marco Pagani, Alessandro Biondi 0001, Mauro Marinoni, Giorgio C. Buttazzo	Modeling and Analysis of Bus Contention for Hardware Accelerators in FPGA SoCs (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Alessandro Vittorio Papadopoulos, Alessandro Biondi 0001	Front Matter, Table of Contents, Preface, Conference Organization.	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Lisa Nguyen Quang Do, Manuel Rigger	Front Matter, Table of Contents, Preface, Conference Organization.	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Mohamad Barbar, Yulei Sui, Shiping Chen 0001	Flow-Sensitive Type-Based Heap Cloning (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Xuejing Huang, Bruno C. d. S. Oliveira	A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Sergey Bozhko, Björn B. Brandenburg	Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Lukas Diekmann, Laurence Tratt	Don't Panic! Better, Fewer, Syntax Errors for LR Parsers (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Romain Jacob, Licong Zhang, Marco Zimmerling, Jan Beutel, Samarjit Chakraborty, Lothar Thiele	The Time-Triggered Wireless Architecture (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták	Blame for Null (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen	Multiparty Session Programming with Global Protocol Combinators (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach	Implementation of SHAPES Case Studies (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim	Owicki-Gries Reasoning for C11 RAR (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu	Scala with Explicit Nulls (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Daniel Bristot de Oliveira, Daniel Casini, Rômulo Silva de Oliveira, Tommaso Cucinotta	Demystifying the Real-Time Linux Scheduling Latency (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Evgenii Moiseenko, Anton Podkopaev, Ori Lahav 0001, Orestis Melkonian, Viktor Vafeiadis	Reconciling Event Structures with Modern Multiprocessors (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede	A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner	A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Julia Gabet, Nobuko Yoshida	Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Sims Osborne, Joshua Bakita, James H. Anderson	Simultaneous Multithreading and Hard Real Time: Can it be Safe? (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
20	Corey Tessler, Nathan Fisher	NPM-BUNDLE: Non-Preemptive Multitask Scheduling for Jobs with BUNDLE-Based Thread-Level Scheduling (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Sims Osborne, Joshua Bakita, James H. Anderson	Simultaneous Multithreading Applied to Real Time (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Jian-Jia Chen, Tobias Hahn, Ruben Hoeksma, Nicole Megow, Georg von der Brüggen	Scheduling Self-Suspending Tasks: New and Old Results (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Robbert Gurdeep Singh, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers	Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Kiko Fernandez-Reyes, Dave Clarke 0001, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad	Godot: All the Benefits of Implicit and Explicit Futures (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Pontus Ekberg	Dual Priority Scheduling is Not Optimal (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Dhruv C. Makwana, Neelakantan R. Krishnaswami	NumLin: Linear Types for Linear Algebra (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	George Fourtounis, Yannis Smaragdakis	Deep Static Modeling of invokedynamic (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Ori Roth, Yossi Gil	Fling - A Fluent API Generator (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales 0001, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder	Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Alen Arslanagic, Jorge A. Pérez 0001, Erik Voogd	Minimal Session Types (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo 0001	Semantic Patches for Java Program Transformation (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek	On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF
20	Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang	Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact).	Dagstuhl Artifacts Ser.	2019	DBLP DOI BibTeX RDF