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

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: Jonathan Castello; Tim Goodwin; Nathan Liittschwager; Patrick Redmond; Gan Shen) in the CASL research group, which is part of the Languages, Systems, and Data (LSD) Lab. Our work draws on the research traditions of programming languages, distributed systems, and software verification. Lately, we're especially excited about the potential of solver-aided tools for building trustworthy distributed systems. Our research has been supported by an NSF CAREER Award, a Google Faculty Research Award, and a gift from Amazon Web Services.

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 LSD Lab!

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

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

While teaching remotely in 2020 and 2021, I live-streamed my undergraduate distributed systems lectures on Twitch! All the lecture videos from the course (Spring 2020, Spring 2021) are available on YouTube, where they have been viewed a collective ~70,000 times as of mid-2022.

πŸ› οΈ  Service

I co-founded the !!Con and !!Con West conferences of ten-minute talks on the joy, excitement, and surprise of computing, and I was a founding member of the board of the Exclamation Foundation, the nonprofit entity behind !!Con and !!Con West.

I have served on the program committees (why review papers?) of POPL 2023, PLDI 2021, ASPLOS 2021, PLOS 2019, PaPoC 2019, the 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, 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, DSLDI 2018, DSLDI 2017, OBT 2017, and OBT 2016. I served as Publicity Chair on the ICFP Steering Committee, 2015—18. I currently (2021—23) serve on the PLMW Steering Committee.

🌱  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.