[PLDI24] Inductive Approach to Spacer | ACM SIGPLAN | Podwise