SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
Lindsey Kuper

Registered user since Fri 14 Nov 2014

Name: Lindsey Kuper

Country: United States

Affiliation: University of California, Santa Cruz

Personal website: https://users.soe.ucsc.edu/~lkuper/

Research interests: programming languages, distributed computing, concurrency, parallelism, software verification

Contributions

SPLASH 2020Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA Artifacts-track
Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA-track
Show activities from other conferences

Using general profile