Tag
liveness
- Feb 3, 2026 Borrow Checking as a Dataflow Analysis Over Places How a lifetime check becomes a liveness problem on a control-flow graph, why non-lexical lifetimes removed a class of false errors, and where the analysis still gives up. programming languages
- Jan 10, 2026 Liveness and Fairness in Temporal Specifications Why safety properties need only one bad state to fail while liveness needs an infinite execution, and how a fairness assumption turns a starving scheduler into a specification bug. software engineering
- Jul 16, 2025 Live-Variable Analysis and the Backward Direction of Dataflow Liveness runs the dataflow equations against the edges, from uses back to definitions, and the difference between may-liveness and must-liveness decides which optimizations are legal. compilers
- Jun 19, 2024 Static Memory Planning from Tensor Liveness Intervals Turning a liveness interval per tensor into an offset in one arena, why interval-graph colouring is optimal for monotone lifetimes, and where greedy packing loses bytes. inference systems