• Sign in
  • Sign up
conf.researchr.org / Patrick Redmond
  • PLDI 2022 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
Patrick Redmond

Registered user since Fri 17 Sep 2021

Name:Patrick Redmond
Affiliation:University of California at Santa Cruz
Personal website:https://orcid.org/0000-0001-5702-0860
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

Share
xSun 28 May 04:08
using conf.researchr.org (v1.60.0)
Support page
Sign Up