Lindsey Kuper

Registered user since Fri 14 Nov 2014

Name:Lindsey Kuper
Affiliation:University of California at Santa Cruz
Research interests:programming languages, distributed computing, concurrency, parallelism, software verification

Contributions

PLDI 2022 (OOPSLA 2020) Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Show activities from other conferences

Using general profile