Announcement_26

Our paper Validating Concurrent Correctness Witnesses by Thread-Modular Abstract Interpretation has been conditionally accepted to POPL’27. See you in Mexico City 🇲🇽