Data driven methods for utterance semantic tagging. - Ding Liu; Anthea Cheung; Anna Margolis; Patrick Redmond; Jun-Won Suh; Chao Wang (INTERSPEECH, 2013)

Verifying replicated data types with typeclass refinements in Liquid Haskell. - Yiyun Liu; James Parker; Patrick Redmond; Lindsey Kuper; Michael Hicks 001; Niki Vazou (Proc. ACM Program. Lang., 2020)

Toward Hole-Driven Development with Liquid Haskell. - Patrick Redmond; Gan Shen; Lindsey Kuper (CoRR, 2021)

Is rapid scientific publication also high quality? Bibliometric analysis of highly disseminated COVID-19 research papers. - Amandeep Khatter; Michael Naughton; Hajira Dambha-Miller; Patrick Redmond (Learn. Publ., 2021)

Verified Causal Broadcast with Liquid Haskell. - Patrick Redmond; Gan Shen; Niki Vazou; Lindsey Kuper (IFL, 2022)

An Exceptional Actor System (Functional Pearl). - Patrick Redmond; Lindsey Kuper (Haskell, 2023)

Crux, a Precise Verifier for Rust and Other Languages. - Stuart Pernsteiner; Iavor S. Diatchki; Robert Dockins; Mike Dodds; Joe Hendrix; Tristan Ravitch; Patrick Redmond; Ryan G. Scott; Aaron Tomb (CoRR, 2024)

Inductive Diagrams for Causal Reasoning. - Jonathan Castello; Patrick Redmond; Lindsey Kuper (Proc. ACM Program. Lang., 2024)