[PLDI24] Compiling with Abstract Interpretation | ACM SIGPLAN | Podwise