Patrick Redmond

13 papers A 1C 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern.
CoRR
Patrick Redmond, Jonathan Castello, José Manuel Calderón Trilla, Lindsey Kuper
2025 J jnl
Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern.
Proc. ACM Program. Lang.
Patrick Redmond, Jonathan Castello, José Manuel Calderón Trilla, Lindsey Kuper
2024 J jnl
Crux, a Precise Verifier for Rust and Other Languages.
CoRR
Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins, Mike Dodds, Joe Hendrix, Tristan Ravitch, Patrick Redmond, Ryan G. Scott, Aaron Tomb
2024 J jnl
Inductive Diagrams for Causal Reasoning.
Proc. ACM Program. Lang.
Jonathan Castello, Patrick Redmond, Lindsey Kuper
2023 C conf
An Exceptional Actor System (Functional Pearl).
Haskell
Patrick Redmond, Lindsey Kuper
2023 J jnl
An Exceptional Actor System (Functional Pearl).
CoRR
Patrick Redmond, Lindsey Kuper
2023 J jnl
Inductive diagrams for causal reasoning.
CoRR
Jonathan Castello, Patrick Redmond, Lindsey Kuper
2022 — conf
Verified Causal Broadcast with Liquid Haskell.
IFL
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
2022 J jnl
Verified Causal Broadcast with Liquid Haskell.
CoRR
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
2021 J jnl
Is rapid scientific publication also high quality? Bibliometric analysis of highly disseminated COVID-19 research papers.
Learn. Publ.
Amandeep Khatter, Michael Naughton, Hajira Dambha-Miller, Patrick Redmond
2021 J jnl
Toward Hole-Driven Development with Liquid Haskell.
CoRR
Patrick Redmond, Gan Shen, Lindsey Kuper
2020 J jnl
Verifying replicated data types with typeclass refinements in Liquid Haskell.
Proc. ACM Program. Lang.
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou
2013 A conf
Data driven methods for utterance semantic tagging.
INTERSPEECH
Ding Liu, Anthea Cheung, Anna Margolis, Patrick Redmond, Jun-Won Suh, Chao Wang