Copertina

Conversational Concurrency with Dataspaces and Facets

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Caldwell, Sam, Garnock-Jones, Tony, Felleisen, Matthias
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Conversational Concurrency
di: Garnock-Jones, Tony
Pubblicazione: (2024)

Mixing Visual and Textual Code
di: Andersen, Leif, et al.
Pubblicazione: (2026)

Making Hybrid Languages: A Recipe
di: Andersen, Leif, et al.
Pubblicazione: (2024)

Reduction for Structured Concurrent Programs
di: Gangamreddypalli, Namratha, et al.
Pubblicazione: (2026)

Logical Relations for Session-Typed Concurrency
di: Balzer, Stephanie, et al.
Pubblicazione: (2023)

Dependent Session Types for Verified Concurrent Programming
di: Fu, Qiancheng, et al.
Pubblicazione: (2025)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
di: Yang, Xiaoxiao, et al.
Pubblicazione: (2017)

A Brief Survey of Formal Models of Concurrency
di: Averill, Charles
Pubblicazione: (2024)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
di: Enea, Constantin, et al.
Pubblicazione: (2023)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
di: Redmond, Patrick, et al.
Pubblicazione: (2025)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
di: Nagar, Kartik, et al.
Pubblicazione: (2020)

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

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
di: Fedchin, Aleksandr, et al.
Pubblicazione: (2025)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
di: Tunç, Hünkar Can, et al.
Pubblicazione: (2024)

On the Expressivity of Typed Concurrent Calculi
di: Paulus, Joseph William Neal
Pubblicazione: (2024)

LitmusKt: Concurrency Stress Testing for Kotlin
di: Lochmelis, Denis, et al.
Pubblicazione: (2025)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
di: Estep, Sam
Pubblicazione: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
di: Zilberstein, Noam, et al.
Pubblicazione: (2025)

A Lazy, Concurrent Convertibility Checker
di: Courant, Nathanaëlle, et al.
Pubblicazione: (2025)

Towards Concurrent Quantitative Separation Logic
di: Fesefeldt, Ira, et al.
Pubblicazione: (2022)

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
di: Peters, Kirstin, et al.
Pubblicazione: (2026)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
di: Flanagan, Cormac, et al.
Pubblicazione: (2024)

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
di: Costa, Diana, et al.
Pubblicazione: (2024)

Declarative Concurrent Data Structures
di: Raza, Aun, et al.
Pubblicazione: (2024)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
di: Derakhshan, Farzaneh, et al.
Pubblicazione: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)

TensorRocq: Enabling diagrammatic reasoning in Rocq
di: Caldwell, Benjamin, et al.
Pubblicazione: (2026)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
di: Lin, Shaokai, et al.
Pubblicazione: (2024)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
di: Le, Quang Loc
Pubblicazione: (2025)

Typed Non-determinism in Concurrent Calculi: The Eager Way
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

VyZX: Formal Verification of a Graphical Quantum Language
di: Lehmann, Adrian, et al.
Pubblicazione: (2023)

Towards Enabling FAIR Dataspaces Using Large Language Models
di: Arnold, Benedikt T., et al.
Pubblicazione: (2024)

Rows and Capabilities as Modal Effects
di: Tang, Wenhao, et al.
Pubblicazione: (2025)

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
di: Kaddar, Younesse, et al.
Pubblicazione: (2023)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
di: Kammar, Ohad, et al.
Pubblicazione: (2026)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
di: Zilberstein, Noam, et al.
Pubblicazione: (2024)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2022)

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
di: Reitz, Antonin, et al.
Pubblicazione: (2024)

Concurrent Data Structures Made Easy (Extended Version)
di: Le, Callista, et al.
Pubblicazione: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)