SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Lindsey Kuper
Lindsey Kuper

Registered user since Fri 14 Nov 2014

Name:Lindsey Kuper
Affiliation:University of California at Santa Cruz
Personal website:https://users.soe.ucsc.edu/~lkuper/
Research interests:programming languages, distributed computing, concurrency, parallelism, software verification

Contributions

SPLASH 2020 Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Show activities from other conferences

SPLASH 2020-profile
View general profile