Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many linters. - Joshua Hoeflich; Robert Bruce Findler; Manuel Serrano (Proc. ACM Program. Lang., 2022)

ATLAS: A System for PDF-centric Human Interaction Data Collection. - Alexa F. Siu; Zichao Wang 001; Joshua Hoeflich; Naman Kapasi; Ani Nenkova; Tong Sun 005 (NAACL (Demonstrations), 2024)

FormA11y - Research and Development of a Tool for Remediating PDF Forms for Accessibility. - Sparsh Paliwal; Joshua Hoeflich; J. Bern Jordan; Rajiv Jain; Vlad I. Morariu; Alexa Fay Siu; Jonathan Lazar (ACM Trans. Comput. Hum. Interact., 2025)