Patrick Redmond

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 9

Top Topics

Inductive Reasoning

Data Broadcasting

Causal Reasoning

Bibliometric Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Jonathan Castello, Patrick Redmond, Lindsey Kuper
Inductive Diagrams for Causal Reasoning. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Jonathan Castello, Patrick Redmond, Lindsey Kuper
Inductive diagrams for causal reasoning. CoRR (2023)
Patrick Redmond, Lindsey Kuper
An Exceptional Actor System (Functional Pearl). CoRR (2023)
Patrick Redmond, Lindsey Kuper
An Exceptional Actor System (Functional Pearl). Haskell (2023)
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
Verified Causal Broadcast with Liquid Haskell. IFL (2022)
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
Verified Causal Broadcast with Liquid Haskell. CoRR (2022)
Amandeep Khatter, Michael Naughton, Hajira Dambha-Miller, Patrick Redmond
Is rapid scientific publication also high quality? Bibliometric analysis of highly disseminated COVID-19 research papers. Learn. Publ. 34 (4) (2021)
Patrick Redmond, Gan Shen, Lindsey Kuper
Toward Hole-Driven Development with Liquid Haskell. CoRR (2021)
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou
Verifying replicated data types with typeclass refinements in Liquid Haskell. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Ding Liu, Anthea Cheung, Anna Margolis, Patrick Redmond, Jun-won Suh, Chao Wang
Data driven methods for utterance semantic tagging. INTERSPEECH (2013)