Arithmetical Functions Associated with the k-ary Divisors of an Integer. - Joseph Vade Burnett; Samuel Grayson; Zachary Sullivan; Richard Van Natta; Luke Bang (Int. J. Math. Math. Sci., 2018)

Codata in Action. - Paul Downen; Zachary Sullivan; Zena M. Ariola; Simon Peyton Jones (ESOP, 2019)

Making a faster Curry with extensional types. - Paul Downen; Zachary Sullivan; Zena M. Ariola; Simon Peyton Jones (Haskell@ICFP, 2019)

Strictly capturing non-strict closures. - Zachary J. Sullivan; Paul Downen; Zena M. Ariola (PEPM@POPL, 2021)

Closure Conversion in Little Pieces. - Zachary J. Sullivan; Paul Downen; Zena M. Ariola (PPDP, 2023)

Intelligent Data Management Pipeline to Facilitate Human Robot Interaction in Large-Scale Real-Time Environments. - Nicholas Paul; Zachary Sullivan; Bob Marinier; Lilia Moshkina (SMC, 2023)