Buchumschlag

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sulzmann, Martin
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
von: Sulzmann, Martin
Veröffentlicht: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Thread and Memory-Safe Programming with CLASS
von: Caires, Luís
Veröffentlicht: (2025)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
von: Barth, Max, et al.
Veröffentlicht: (2025)

A Lazy, Concurrent Convertibility Checker
von: Courant, Nathanaëlle, et al.
Veröffentlicht: (2025)

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

Towards Concurrent Quantitative Separation Logic
von: Fesefeldt, Ira, et al.
Veröffentlicht: (2022)

Verifying Lock-free Search Structure Templates
von: Patel, Nisarg, et al.
Veröffentlicht: (2024)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
von: Le, Quang Loc
Veröffentlicht: (2025)

Typed Non-determinism in Concurrent Calculi: The Eager Way
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
von: Timany, Amin, et al.
Veröffentlicht: (2021)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2024)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
von: Casetta, Richard, et al.
Veröffentlicht: (2026)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Semantically Reflected Programs
von: Kamburjan, Eduard, et al.
Veröffentlicht: (2025)

A Formal Semantics of the GraalVM Intermediate Representation
von: Webb, Brae J., et al.
Veröffentlicht: (2021)

A Coq Library of Sets for Teaching Denotational Semantics
von: Cao, Qinxiang, et al.
Veröffentlicht: (2024)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
von: Chakraborty, Soham, et al.
Veröffentlicht: (2025)

Wiring the Pi-calculus to Denotational Semantics
von: Sakayori, Ken, et al.
Veröffentlicht: (2026)

An Introduction to Different Approaches to Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2024)

Disentangling Parallelism and Interference in Game Semantics
von: Castellan, Simon, et al.
Veröffentlicht: (2021)

Useful Evaluation: Syntax and Semantics (Technical Report)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)

Realizability in Semantics-Guided Synthesis Done Eagerly
von: Meyer, Roland, et al.
Veröffentlicht: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
von: Murphy, Charlie, et al.
Veröffentlicht: (2024)

Concurrent Games over Relational Structures: The Origin of Game Comonads
von: Montacute, Yoàv, et al.
Veröffentlicht: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
von: Hulak, David B., et al.
Veröffentlicht: (2026)

Towards a Higher-Order Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

Logical Predicates in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
von: Chen, Zhibo, et al.
Veröffentlicht: (2023)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
von: Batz, Kevin, et al.
Veröffentlicht: (2024)

A Reversible Semantics for Janus
von: Lanese, Ivan, et al.
Veröffentlicht: (2026)

Type-Based Termination for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2021)

A Unified Framework for Initial Semantics
von: Lamiaux, Thomas, et al.
Veröffentlicht: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
von: Lucas, Salvador
Veröffentlicht: (2025)

An Intermediate Program Representation for Optimizing Stream-Based Languages
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

Equational Bit-Vector Solving via Strong Gröbner Bases
von: Song, Jiaxin, et al.
Veröffentlicht: (2024)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
von: de Vilhena, Paulo Emílio, et al.
Veröffentlicht: (2021)