Announcement_1

Our paper working on program simplification was accepted at FSE 2025!