Image de couverture de livre

Reduction for Structured Concurrent Programs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gangamreddypalli, Namratha, Enea, Constantin, Qadeer, Shaz
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Scenario-Based Proofs for Concurrent Objects [Extended Version]
par: Enea, Constantin, et autres
Publié: (2023)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
par: Tunç, Hünkar Can, et autres
Publié: (2024)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
par: Enea, Constantin, et autres
Publié: (2026)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
par: Bouajjani, Ahmed, et autres
Publié: (2025)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
par: Flanagan, Cormac, et autres
Publié: (2024)

Dependent Session Types for Verified Concurrent Programming
par: Fu, Qiancheng, et autres
Publié: (2025)

Reward Augmentation in Reinforcement Learning for Testing Distributed Systems
par: Borgarelli, Andrea, et autres
Publié: (2024)

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

Denotational Semantics for Probabilistic and Concurrent Programs
par: Zilberstein, Noam, et autres
Publié: (2025)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
par: Fedchin, Aleksandr, et autres
Publié: (2025)

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
par: Peters, Kirstin, et autres
Publié: (2026)

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
par: Costa, Diana, et autres
Publié: (2024)

Declarative Concurrent Data Structures
par: Raza, Aun, et autres
Publié: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
par: Zhang, Kaiwen, et autres
Publié: (2026)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
par: Derakhshan, Farzaneh, et autres
Publié: (2025)

Conversational Concurrency with Dataspaces and Facets
par: Caldwell, Sam, et autres
Publié: (2025)

Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
par: Zhang, Kaiwen, et autres
Publié: (2022)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

Logical Relations for Session-Typed Concurrency
par: Balzer, Stephanie, et autres
Publié: (2023)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
par: Li, Kwing Hei, et autres
Publié: (2025)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
par: Yang, Xiaoxiao, et autres
Publié: (2017)

A Brief Survey of Formal Models of Concurrency
par: Averill, Charles
Publié: (2024)

Concurrent Data Structures Made Easy (Extended Version)
par: Le, Callista, et autres
Publié: (2024)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
par: Nagar, Kartik, et autres
Publié: (2020)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
par: Redmond, Patrick, et autres
Publié: (2025)

Misquoted No More: Securely Extracting F* Programs with IO
par: Andrici, Cezar-Constantin, et autres
Publié: (2026)

LPR: Large Language Models-Aided Program Reduction
par: Zhang, Mengxiao, et autres
Publié: (2023)

Concurrent Games over Relational Structures: The Origin of Game Comonads
par: Montacute, Yoàv, et autres
Publié: (2024)

DRReduce: Enhancing Syntax-Guided Program Reduction with Dependency Reconstruction
par: Feng, Qiong, et autres
Publié: (2026)

On the Expressivity of Typed Concurrent Calculi
par: Paulus, Joseph William Neal
Publié: (2024)

Towards Inclusive Toxic Content Moderation: Addressing Vulnerabilities to Adversarial Attacks in Toxicity Classifiers Tackling LLM-generated Content
par: Furniturewala, Shaz, et autres
Publié: (2025)

Turn-Level Empathy Prediction Using Psychological Indicators
par: Furniturewala, Shaz, et autres
Publié: (2024)

LitmusKt: Concurrency Stress Testing for Kotlin
par: Lochmelis, Denis, et autres
Publié: (2025)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
par: Erhard, Julian, et autres
Publié: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
par: Baek, Doehyun, et autres
Publié: (2025)

A Lazy, Concurrent Convertibility Checker
par: Courant, Nathanaëlle, et autres
Publié: (2025)

Towards Concurrent Quantitative Separation Logic
par: Fesefeldt, Ira, et autres
Publié: (2022)

Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
par: Singh, Ajay, et autres
Publié: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
par: Cuéllar, Santiago, et autres
Publié: (2025)

Program Structure Aware Precondition Generation
par: Dinella, Elizabeth, et autres
Publié: (2023)