Our paper was accepted at ASPLOS 2027 (top-tier conference).