[PODELSKI] Abstract Interpretation, Software Model Checking, and Beyond - A Celebration of the(…) | ACM SIGPLAN | Podwise