Copertina

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Heuvel, Bas van den, Sulzmann, Martin, Thiemann, Peter
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

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
di: Sulzmann, Martin
Pubblicazione: (2025)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
di: Sulzmann, Martin
Pubblicazione: (2026)

Law and Order for Typestate with Borrowing
di: Saffrich, Hannes, et al.
Pubblicazione: (2024)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
di: Heuvel, Bas van den, et al.
Pubblicazione: (2021)

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

Deadlock-free Context-free Session Types
di: Mordido, Andreia, et al.
Pubblicazione: (2025)

Contrasting Deadlock-Free Session Processes (Extended Version)
di: Jaramillo, Juan C., et al.
Pubblicazione: (2025)

Parsimonious Optimal Dynamic Partial Order Reduction
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2024)

Static Deadlock Detection for Rust Programs
di: Zhang, Yu, et al.
Pubblicazione: (2024)

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

A Flow Extension to Coroutine Types for Deadlock Detection in Go
di: Gu, Qiqi Jason, et al.
Pubblicazione: (2026)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
di: Heuvel, Bas van den
Pubblicazione: (2024)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
di: Rowicki, Radosław Jan, et al.
Pubblicazione: (2025)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
di: Cai, Xuran, et al.
Pubblicazione: (2026)

Yonggom Wambon, a Dumut language of West Papua
di: van den Heuvel, Wilco
Pubblicazione: (2025)

Verified Parameterized Choreographies Technical Report
di: Rubbens, Robert, et al.
Pubblicazione: (2025)

Efficient Dynamic Algorithms to Predict Short Races
di: Zhang, Minjian, et al.
Pubblicazione: (2026)

A Calculus for Scoped Effects & Handlers
di: Bosman, Roger, et al.
Pubblicazione: (2023)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
di: Haak, Lars B. van den, et al.
Pubblicazione: (2024)

Partial Cross-Compilation and Mixed Execution for Accelerating Dynamic Binary Translation
di: Gu, Yuhao, et al.
Pubblicazione: (2025)

Program Synthesis from Partial Traces
di: Ferreira, Margarida, et al.
Pubblicazione: (2025)

Partial Evaluation, Whole-Program Compilation
di: Fallin, Chris, et al.
Pubblicazione: (2024)

Nofl: A Precise Immix
di: Wingo, Andy
Pubblicazione: (2025)

Lenses for Partially-Specified States (Extended Version)
di: Matsuda, Kazutaka, et al.
Pubblicazione: (2026)

Partial Reductions for Kleene Algebra with Linear Hypotheses
di: Chung, Liam, et al.
Pubblicazione: (2026)

Four Formal Models of IEEE 1394 Link Layer
di: Garavel, Hubert, et al.
Pubblicazione: (2024)

Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs
di: Vandevoort, Brecht, et al.
Pubblicazione: (2025)

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

Dynamic Taint Tracking using Partial Instrumentation for Java Applications
di: Thakur, Manoj RameshChandra
Pubblicazione: (2024)

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
di: Lee, Jay
Pubblicazione: (2025)

HITrees: Higher-Order Interaction Trees
di: Ayyam, Amir Mohammad Fadaei, et al.
Pubblicazione: (2025)

Ozone: Fully Out-of-Order Choreographies
di: Plyukhin, Dan, et al.
Pubblicazione: (2024)

Crux, a Precise Verifier for Rust and Other Languages
di: Pernsteiner, Stuart, et al.
Pubblicazione: (2024)

&inator: Correct, Precise C-to-Rust Interface Translation
di: Chen, Victor, et al.
Pubblicazione: (2026)

Precise Static Identification of Ethereum Storage Variables (Extended Version)
di: Lagouvardos, Sifis, et al.
Pubblicazione: (2025)

Higher-Order Behavioural Conformances via Fibrations
di: Urbat, Henning
Pubblicazione: (2025)

Incremental Bidirectional Typing via Order Maintenance
di: Porter, Thomas J., et al.
Pubblicazione: (2025)

SSA without Dominance for Higher-Order Programs
di: Leißa, Roland, et al.
Pubblicazione: (2026)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
di: Geng, Chujun, et al.
Pubblicazione: (2024)