[PLDI24] [PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and(…) | ACM SIGPLAN | Podwise