Tag
reachability
- Oct 14, 2026 Reachability, Retention, and What Counts as a Leak Why unreachable memory and unfreed memory are different problems, how a tracing collector decides an object is dead, and where conservative roots keep garbage alive. memory systems
- May 3, 2026 VEX: Encoding Exploitability So a Scanner Can Stop Guessing A CVE in an SBOM is not a finding. VEX records whether a product is affected and why, with a justification token that a machine can act on and a human can audit. security
- Feb 4, 2026 What a Connectivity Callback Reports and What It Cannot Why the operating system reports a network as available before it can reach anything, and which checks distinguish a captive portal from an outage from a broken name lookup. mobile computing
- Jul 28, 2025 Inductive Invariants Over Reachable States Why an invariant that holds initially and is preserved by every step still needs an induction hypothesis, and how the strengthening problem makes proofs fail. software engineering
- Jun 13, 2025 Labelling Connected Components Once Versus Maintaining Them Under Insertions How a single traversal assigns component identifiers in linear time, why the same problem becomes hard when edges arrive online, and what the two approaches cost on either side of that line. algorithms
- Jan 27, 2025 Commit-Graph Files and Generation Numbers Why ancestry queries are slow without an index, how topological levels and corrected commit dates bound a search, and where the graph goes stale. developer tools
- Dec 17, 2024 Leak Detection by Reachability Rather Than Allocation Count How heap profilers decide that a block is leaked: root sets, conservative scanning, and why a pointer held in a register or a stale stack slot changes the answer. systems programming
- Nov 18, 2024 Configuration Graphs and Savitch's Reachability Argument How a nondeterministic space-bounded computation becomes a path problem in a configuration graph, and why reachability composes into a quadratic blowup in space rather than an exponential one. computation theory
- Mar 26, 2024 Specifying Behaviour as a State Machine with Guards Why a transition table beats prose for event-driven behaviour, how guards resolve overlapping transitions, and what unreachable states reveal about a specification. software engineering
- Feb 5, 2024 Reachability from Roots and the Transitive Closure How a tracing collector enumerates its root set, walks the object graph to a fixed point, and why unreachability rather than uselessness is the property it can actually compute. language runtimes
- May 6, 2023 Reachability, Grace Periods, and Cruft Packs How Git decides an object is garbage, why deletion waits two weeks, and how packs that carry their own modification times changed collection. developer tools