Cover Image

Functional Meaning for Parallel Streaming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rioux, Nick, Zdancewic, Steve
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Opportunistically Parallel Lambda Calculus
by: Mell, Stephen, et al.
Published: (2024)

Optimal Program Synthesis via Abstract Interpretation
by: Mell, Stephen, et al.
Published: (2026)

Synthesizing Trajectory Queries from Examples
by: Mell, Stephen, et al.
Published: (2026)

PopPy: Opportunistically Exploiting Parallelism in Python Compound AI Applications
by: Mell, Stephen, et al.
Published: (2026)

Structural Temporal Logic for Mechanized Program Verification
by: Ioannidis, Eleftherios, et al.
Published: (2024)

Compiling to recurrent neurons
by: Velez-Ginorio, Joey, et al.
Published: (2025)

Compiling to linear neurons
by: Velez-Ginorio, Joey, et al.
Published: (2025)

A Two-Phase Infinite/Finite Low-Level Memory Model
by: Beck, Calvin, et al.
Published: (2024)

HELIX: Verified compilation of cyber-physical control systems to LLVM IR
by: Zaliva, Vadim, et al.
Published: (2026)

Verifying Fault-Tolerance of Quantum Error Correction Codes
by: Chen, Kean, et al.
Published: (2025)

Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
by: Sohn, Gina, et al.
Published: (2025)

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
by: Mell, Stephen, et al.
Published: (2025)

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

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

An LLM-Tool Compiler for Fused Parallel Function Calling
by: Singh, Simranjit, et al.
Published: (2024)

Pacing Types for Asynchronous Stream Equations
by: Kohn, Florian, et al.
Published: (2026)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Parallel Dual-Numbers Reverse AD
by: Smeding, Tom, et al.
Published: (2022)

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

On the Origins of Objects by Means of Careful Selection
by: Bugayenko, Yegor, et al.
Published: (2022)

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

Comparing Parallel Functional Array Languages: Programming and Performance
by: van Balen, David, et al.
Published: (2025)

Probing the Design Space: Parallel Versions for Exploratory Programming
by: Beckmann, Tom, et al.
Published: (2025)

Series-Parallel-Loop Decompositions of Control-flow Graphs
by: Cai, Xuran, et al.
Published: (2026)

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

A Direct-Style Effect Notation for Sequential and Parallel Programs
by: Richter, David, et al.
Published: (2023)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
by: Hummelgren, Lars, et al.
Published: (2022)

DeepLL: Considering Linear Logic for the Analysis of Deep Learning Experiments
by: Papoulias, Nick
Published: (2024)

The Fearless Journey [Draft]
by: Webster, Nick, et al.
Published: (2024)

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)

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

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
by: Hinnerskov, Nikolaj Hey, et al.
Published: (2025)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
by: Xu, Ziyun, et al.
Published: (2025)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
by: Zheng, Size, et al.
Published: (2026)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
by: Andrès, Léo, et al.
Published: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
by: Moine, Alexandre, et al.
Published: (2025)

Full Version: (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
by: Rasch, Ari
Published: (2024)

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

Fully integrating the Flang Fortran compiler with standard MLIR
by: Brown, Nick
Published: (2024)