Pluggable Type Inference for Free. - Martin Kellogg; Daniel Daskiewicz; Loi Ngo Duc Nguyen; Muyeed Ahmed; Michael D. Ernst (ASE, 2023)

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