Best paper in the ICoDSA 2025