Copertina

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Sulzmann, Martin
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
di: Gorna, Karolina, et al.
Pubblicazione: (2025)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
di: Barth, Max, et al.
Pubblicazione: (2025)

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

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
di: Heuvel, Bas van den, et al.
Pubblicazione: (2025)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
di: Bhatia, Rishipal Singh
Pubblicazione: (2026)

Incivility in Open Source Projects: A Comprehensive Annotated Dataset of Locked GitHub Issue Threads
di: Ehsani, Ramtin, et al.
Pubblicazione: (2024)

Multi-Pass Targeted Dynamic Symbolic Execution
di: Yavuz, Tuba
Pubblicazione: (2024)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
di: Chatterjee, Bodhisatwa, et al.
Pubblicazione: (2024)

Incremental Context-free Grammar Inference in Black Box Settings
di: Li, Feifei, et al.
Pubblicazione: (2024)

Scalable Thread-Safety Analysis of Java Classes with CodeQL
di: Jåtten, Bjørnar Haugstad, et al.
Pubblicazione: (2025)

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

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
di: Saumya, Charitha, et al.
Pubblicazione: (2023)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
di: Zhang, Yifan, et al.
Pubblicazione: (2025)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
di: Sim, HoHyun, et al.
Pubblicazione: (2025)

MileStone: A Multi-Objective Compiler Phase Ordering Framework for Graph-based IR-Level Optimization
di: Sadr, Amirhosein, et al.
Pubblicazione: (2026)

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
di: Yrievich, Petro Baran
Pubblicazione: (2026)

SoliDiffy: AST Differencing for Solidity Smart Contracts
di: Eshghie, Mojtaba, et al.
Pubblicazione: (2024)

LLM-Based Repair of Static Nullability Errors
di: Karimipour, Nima, et al.
Pubblicazione: (2025)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
di: Rak-amnouykit, Ingkarat, et al.
Pubblicazione: (2024)

The Case for Multi-Version Experimental Evaluation (MVEE)
di: Jörz, Simon, et al.
Pubblicazione: (2026)

From Threads to Trajectories: A Multi-LLM Pipeline for Community Knowledge Extraction from GitHub Issue Discussions
di: Joynab, Nazia Shehnaz, et al.
Pubblicazione: (2026)

Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
di: Chen, Le, et al.
Pubblicazione: (2025)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
di: Richter, Cedric, et al.
Pubblicazione: (2025)

A Survey of Neural Code Intelligence: Paradigms, Advances and Beyond
di: Sun, Qiushi, et al.
Pubblicazione: (2024)

Understanding Developers Privacy Concerns Through Reddit Thread Analysis
di: Parsons, Jonathan, et al.
Pubblicazione: (2023)

A Magnified View into Heterogeneous-ISA Thread Migration Performance without State Transformation
di: Mavrogeorgis, Nikolaos, et al.
Pubblicazione: (2025)

Getting Python Types Right with RightTyper
di: Pizzorno, Juan Altmayer, et al.
Pubblicazione: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
di: Liu, Peipei, et al.
Pubblicazione: (2025)

An Encoding of Interaction Nets in OCaml
di: Huber, Nikolaus, et al.
Pubblicazione: (2025)

C*: Unifying Programming and Verification in C
di: Cao, Yiyuan, et al.
Pubblicazione: (2025)

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

Literate Tracing
di: Sotoudeh, Matthew
Pubblicazione: (2025)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
di: Zhu, Qian, et al.
Pubblicazione: (2025)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
di: Baek, Doehyun, et al.
Pubblicazione: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
di: Dacík, Tomáš, et al.
Pubblicazione: (2025)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
di: Yu, ZeHao
Pubblicazione: (2025)

Reflections on the design, applications and implementations of the normative specification language eFLINT
di: van Binsbergen, L. Thomas, et al.
Pubblicazione: (2025)

A Trace-based Approach for Code Safety Analysis
di: Xu, Hui
Pubblicazione: (2025)