Patrick Redmond

According to our database, Patrick Redmond authored at least 8 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Inductive Diagrams for Causal Reasoning.

Jonathan Castello, Patrick Redmond, Lindsey Kuper

Proc. ACM Program. Lang., 2024

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

2023

An Exceptional Actor System (Functional Pearl).

Patrick Redmond, Lindsey Kuper

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

2022

Verified Causal Broadcast with Liquid Haskell.

Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022

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

Toward Hole-Driven Development with Liquid Haskell.

Patrick Redmond, Gan Shen, Lindsey Kuper

CoRR, 2021

2020

Verifying replicated data types with typeclass refinements in Liquid Haskell.

Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou

Proc. ACM Program. Lang., 2020

2013

Data driven methods for utterance semantic tagging.

Ding Liu, Anthea Cheung, Anna Margolis, Patrick Redmond, Jun-Won Suh, Chao Wang

Proceedings of the 14th Annual Conference of the International Speech Communication Association, 2013