Scholar
Lindsey Kuper
Google Scholar ID: TNqlmxEAAAAJ
University of California, Santa Cruz
Citations & Impact
Citations
404
H-index
9
i10-index
9
Publications
20
Co-authors
32
list available
Publications
Resume (English only)
Academic Achievements
- Received an NSF CAREER Award, an Academic Research Grant from the Stellar Development Foundation, a Google Faculty Research Award, and a gift from Amazon Web Services. Special thanks to Zulip for a generous in-kind sponsorship. Advised Shun Kashiwa on his MS thesis on ChoRus, who graduated in 2024 and is now a PhD student at UC San Diego. Co-created 'Communicating Chorrectly with a Choreography' with Ali Ali, who graduated with his BS in 2024.
Research Experience
- Currently an Assistant Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz. Leads the CASL (Concurrency and Safety Lab) group, which is part of the larger Languages, Systems, and Data (LSD) Lab. Recent projects include library-level choreographic programming (in Haskell, Rust, and TypeScript), dependently-typed diagrams for inductive reasoning about concurrent executions, and expressing and verifying causal message delivery with refinement types.
Background
- Research interests: programming languages, distributed systems, software verification. Specializes in programming-language-based approaches to building concurrent and distributed software systems that are elegant, correct, and efficient.
Miscellany
- Co-founded the !!Con and !!Con West conferences of ten-minute talks on the joy, excitement, and surprise of computing. Serves on the board of the Exclamation Foundation, the nonprofit entity behind !!Con and !!Con West. Chaired or co-chaired several conferences including Choreographic Programming 2024, PLMW @ ICFP 2021, etc. Served as Publicity Chair of the ICFP Steering Committee, 2015—18, and as a member of the PLMW Steering Committee, 2021—23. Served on the program committees of OOPSLA 2025, ICFP 2024, HATRA 2023, FHPNC 2023, PaPoC 2023, POPL 2023, PLDI 2021, ASPLOS 2021, PLOS 2019, PaPoC 2019, SPLASH 2018 Doctoral Symposium, OOPSLA 2018, PaPoC 2018, ICFP 2017, DSLDI 2016, IFL 2015, Onward! Papers 2015, PaPoC 2015, OBT 2015, IFL 2014, and the Haskell Symposium 2014. Also served on the external review committees of OOPSLA 2021.
