Cover Image

Pacing Types for Asynchronous Stream Equations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kohn, Florian, Correnson, Arthur, Baumeister, Jan, Finkbeiner, Bernd
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Pacing Types: Safe Monitoring of Asynchronous Streams
by: Kohn, Florian, et al.
Published: (2025)

Type-safe Monitoring of Parameterized Streams
by: Baumeister, Jan, et al.
Published: (2026)

An Intermediate Program Representation for Optimizing Stream-Based Languages
by: Baumeister, Jan, et al.
Published: (2025)

Coinductive Proofs for Temporal Hyperliveness
by: Correnson, Arthur, et al.
Published: (2025)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
by: Correnson, Arthur, et al.
Published: (2025)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
by: Finkbeiner, Bernd, et al.
Published: (2026)

A Tutorial on Stream-based Monitoring
by: Baumeister, Jan, et al.
Published: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
by: Beutner, Raven, et al.
Published: (2025)

A Deductive System for Contract Satisfaction Proofs
by: Correnson, Arthur, et al.
Published: (2026)

Stream Types
by: Cutler, Joseph W., et al.
Published: (2023)

Syntax-Guided Automated Program Repair for Hyperproperties
by: Beutner, Raven, et al.
Published: (2024)

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
by: Baumeister, Jan, et al.
Published: (2024)

Stream-Based Monitoring of Algorithmic Fairness
by: Baumeister, Jan, et al.
Published: (2025)

Crash-Stop Failures in Asynchronous Multiparty Session Types
by: Barwell, Adam D., et al.
Published: (2023)

Type-safe and portable support for packed data
by: Jamet, Arthur, et al.
Published: (2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
by: Baumeister, Jan, et al.
Published: (2025)

Mixed Choice in Asynchronous Multiparty Session Types
by: Bocchi, Laura, et al.
Published: (2026)

Asynchronous Global Protocols, Precisely: Full Proofs
by: Pischke, Kai, et al.
Published: (2025)

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
by: Bachmann, Clemens, et al.
Published: (2024)

Fearless Asynchronous Communications with Timed Multiparty Session Protocols
by: Hou, Ping, et al.
Published: (2024)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
by: Bravetti, Mario, et al.
Published: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
by: Huber, Nikolaus, et al.
Published: (2025)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
by: Vidal, Germán
Published: (2023)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
by: Kiselyov, Oleg, et al.
Published: (2024)

Strong Normalisation for Asynchronous Effects
by: Ahman, Danel, et al.
Published: (2026)

Higher-Order Asynchronous Effects
by: Ahman, Danel, et al.
Published: (2023)

Fair Asynchronous Session Subtyping
by: Bravetti, Mario, et al.
Published: (2021)

Functional Meaning for Parallel Streaming
by: Rioux, Nick, et al.
Published: (2025)

Fast Collection Operations from Indexed Stream Fusion
by: Kovach, Scott, et al.
Published: (2025)

TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)

Non-Deterministic Planning for Hyperproperty Verification
by: Beutner, Raven, et al.
Published: (2024)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
by: Amorim, Arthur, et al.
Published: (2025)

Local Type Inference for Context-Free Session Types
by: Almeida, Bernardo, et al.
Published: (2025)

Compile-Time Java Stream Fusion via mapMulti
by: Bugayenko, Yegor, et al.
Published: (2026)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
by: Li, Senxi, et al.
Published: (2026)

Improving compiler support for SIMD offload using Arm Streaming SVE
by: Mohamed, Mohamed Husain Noor, et al.
Published: (2025)

Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies
by: Saey, Mathijs, et al.
Published: (2025)

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
by: Lin, Zhengyao, et al.
Published: (2023)

Polymorphic Coverage Types
by: Zhou, Zhe, et al.
Published: (2023)

Abstraction Functions as Types
by: Grodin, Harrison, et al.
Published: (2025)