[PLDI24] Compiling Probabilistic Programs for Variable Elimination with Information Flow | ACM SIGPLAN | Podwise