Patrick Redmond -

Registered user since Fri 17 Sep 2021

Name:Patrick Redmond

Affiliation:University of California at Santa Cruz

Research interests:functional programming, distributed systems, programming languages, verification

Contributions

PLDI 2022	Author of (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the SIGPLAN Track-track
HATRA 2021	Author of Toward Hole-Driven Development with Liquid Haskell within the HATRA 2021-track
SPLASH 2020	Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA-track Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA Artifacts-track