Fixpoints, Not Fixes

Resource-lifecycle bugs don't have a fix — they have a fixpoint.

Abstract

The accessible companion to the in-depth paper: why resource-lifecycle bugs have a fixpoint rather than a fix, and why naming the invariant is the real remedy.

Not published yet

This paper is in the pipeline. Expected publication: May 2026.

← Browse published papers