About us
The Languages, Systems, and Data (LSD) Lab at UC Santa Cruz is a loosely organized federation of CSE students, researchers, and faculty, working in programming languages, systems, databases, and their intersections. We aim to cultivate a community where all of these research traditions can intermingle and benefit from one another.
News
- January 27, 2022 - Lindsey Kuper received the NSF CAREER Award for "Building Reliable Distributed Systems with Refinement Types". Congratulations, Lindsey!
- January 20, 2022 - Thomas H. Austin and Cormac Flanagan received the Most Influential POPL Paper Award for “Multiple facets for dynamic information flow” (POPL 2012). Congratulations, Tom and Cormac!
- September 15, 2021 - Specifying and Testing GPU Workgroup Progress Models by Tyler Sorensen, Lucas F. Salvador, Hari Raval, Hugues Evrard, John Wickerson, Margaret R. Martonosi, and Alastair F. Donaldson was accepted at OOPSLA 2021.
- September 15, 2021 - The Semantics of Shared Memory in Intel CPU/FPGA Systems by Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, and John Wickerson was accepted at OOPSLA 2021.
- September 10, 2021 - Toward Hole-Driven Development in Liquid Haskell by Patrick Redmond, Gan Shen, and Lindsey Kuper was accepted at HATRA 2021.
- September 10, 2021 - Toward SMT-Based Refinement Types in Agda by Gan Shen and Lindsey Kuper was accepted at HATRA 2021.
