Lindsey Kuper

Lindsey Kuper

Assistant Professor
Computer Science and Engineering Department
Baskin School of Engineering
University of California, Santa Cruz

Ph.D., 2015
Indiana University

lkuper@ucsc.edu · lindsey@composition.al

CV · Blog · GitHub · Twitter · YouTube

"Permit yourself to open a book and start reading from anywhere." — Manuel Blum

🏰  Research overview

I work with my students (currently: Patrick Redmond; Gan Shen) in the CASL research group. Our research is at the intersection of programming languages and distributed systems: we apply programming languages techniques to distributed systems problems. Lately, we're especially excited about the potential of solver-aided tools for building trustworthy distributed systems.

UC Santa Cruz has a strong and growing group of researchers who work in the areas of programming languages, systems, and databases, with myriad connections to security, formal methods, architecture, and beyond. Consider applying to our Ph.D. program and joining the Languages, Systems, and Data Lab!

πŸ‘©πŸ»β€πŸ«  Teaching

I've taught the following courses at UC Santa Cruz:

In 2020 and 2021, I live-streamed my undergraduate distributed systems lectures on Twitch! All the lecture videos from the course (2020, 2021) are available on YouTube.

πŸ› οΈ  Service

I am a co-founder and organizer of the !!Con and !!Con West conferences of ten-minute talks on the joy, excitement, and surprise of computing. I serve on the board of the Exclamation Foundation, the nonprofit entity behind !!Con and !!Con West.

I've served on the program committees (why review papers?) of PLDI 2021, ASPLOS 2021, Workshop on Programming Languages and Operating Systems (PLOS) 2019, Principles and Practice of Consistency for Distributed Data (PaPoC) 2019, SPLASH 2018 Doctoral Symposium, OOPSLA 2018, PaPoC 2018, ICFP 2017, DSLDI 2016, IFL 2015, Onward! Papers 2015, PaPoC 2015, Off the Beaten Track (OBT) 2015, IFL 2014, and Haskell Symposium 2014, and on the external review committees of OOPSLA 2021, PLDI 2020, PLDI 2019, PLDI 2018, ECOOP 2016, and POPL 2016.

I chaired or co-chaired PLMW @ ICFP 2021, PLMW @ ICFP 2020, Domain-Specific Language Design and Implementation (DSLDI) 2018, DSLDI 2017, OBT 2017, and OBT 2016. I served as Publicity Chair on the ICFP Steering Committee, 2015—2018.

🌱  Recent drafts

🏑  Publications

πŸ“•  Dissertation

🏚  Older drafts

These papers are not being actively worked on and may be in disrepair.

🎀  Talks

πŸ‘¨β€πŸ‘©β€πŸ‘§  β€Personal

My husband, Alex Rudnick, does computational linguistics! We like to run marathons together, and run after Sylvia.