Imagen de Portada

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Vidal, Germán
Formato:	Preprint
Publicado:	2023
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

The Complexity of Testing Message-Passing Concurrency
por: Shi, Zheng, et al.
Publicado: (2025)

A Language-Agnostic Logical Relation for Message-Passing Protocols
por: Zhang, Tesla, et al.
Publicado: (2025)

Explaining Explanations in Probabilistic Logic Programming
por: Vidal, Germán
Publicado: (2024)

Provenance Guided Rollback Suggestions
por: Zhao, David, et al.
Publicado: (2025)

Actegories, Copowers, and Higher-Order Message Passing Semantics
por: Cockett, Robin, et al.
Publicado: (2025)

Reduction for Structured Concurrent Programs
por: Gangamreddypalli, Namratha, et al.
Publicado: (2026)

Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version)
por: Yao, Yue, et al.
Publicado: (2024)

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
por: Martin, Vassor, et al.
Publicado: (2024)

Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
por: Zhang, Tesla, et al.
Publicado: (2025)

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

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
por: Lundén, Daniel, et al.
Publicado: (2023)

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

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

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

A Distribution Semantics for Probabilistic Term Rewriting
por: Vidal, Germán
Publicado: (2024)

Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support
por: Du, Alexander, et al.
Publicado: (2026)

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

Categorical Message Passing Language (CaMPL) for programmers
por: Hashimoto, Daniel Kiyoshi, et al.
Publicado: (2026)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
por: Bagrel, Thomas
Publicado: (2026)

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

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

Causal-Consistent Reversible Debugging: Improving CauDEr
por: González-Abril, Juan José, et al.
Publicado: (2024)

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

Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models
por: Qiu, Lei, et al.
Publicado: (2026)

Conversational Concurrency with Dataspaces and Facets
por: Caldwell, Sam, et al.
Publicado: (2025)

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

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

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

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

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

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
por: Li, Kwing Hei, et al.
Publicado: (2025)

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
por: Liu, Yiqun, et al.
Publicado: (2026)

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

A Brief Survey of Formal Models of Concurrency
por: Averill, Charles
Publicado: (2024)

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

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

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

WebRollback: Enhancing Web Agents with Explicit Rollback Mechanisms
por: Zhang, Zhisong, et al.
Publicado: (2025)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
por: Shapiro, Ehud
Publicado: (2025)