Spinner: Detecting Locking Violations in the eBPF Runtime. - Priya Govindasamy; Joseph Bursey; Hsin-Wei Hung; Ardalan Amiri Sani (ASE, 2025)