Static Program Reduction via Type-Directed Slicing. - Loi Ngo Duc Nguyen; Tahiatul Islam; Theron Wang; Sam Lenz; Martin Kellogg (Proc. ACM Softw. Eng., 2025)