CONCURDEP: Event-Guided Analysis of Dependency Invalidation in CPython Concurrency

arXiv:2609.28608 · cs.CR, cs.SE · Submitted 2026-09-23 · Read on arXiv

cs.CR, cs.SE

Submitted: 2026-09-23

Updated: 2026-09-23

Code: https://github.com/python/cpython

Project page: https://svftools.github.io/SVF-doxygen/html/classSVF

Terminology

Core — 16× in this paper · explained in 2 episodes
Ablation — 14× in this paper · explained in 1 episode
Provenance — 10× in this paper · explained in 3 episodes
Allocator — 6× in this paper · explained in 1 episode
Abstraction — 5× in this paper · explained in 1 episode
Analyzer — 5× in this paper · explained in 1 episode
Benchmark — 4× in this paper · explained in 2 episodes
Global Interpreter Lock — 4× in this paper
Accuracy — 3× in this paper · explained in 1 episode
Common Weakness Enumeration — 3× in this paper
Trace — 3× in this paper · explained in 2 episodes
Python Enhancement Proposal — 2× in this paper
Consistency — 1× in this paper · explained in 3 episodes
Decode — 1× in this paper · explained in 2 episodes
Fidelity — 1× in this paper · explained in 2 episodes
INCREASE IN PEAK RESIDENT SET SIZE — 1× in this paper
Introspection — 1× in this paper · explained in 2 episodes
Pruning — 1× in this paper · explained in 4 episodes
Verifier — 1× in this paper · explained in 2 episodes

Related papers