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
- July 22, 2026 - Ironwright: A Rusty Bridge from Bounded Model Checking to Full Verification by Yan Tong, Sabrina Reis, and Lindsey Kuper was accepted at HATRA 2026.
- July 3, 2026 - Testing Custom Control Planes Without the Cluster by Tim Goodwin, Lindsey Kuper, and Andi Quinn was accepted at SOSP 2026.
- March 12, 2026 - Can you keep a secret? A new protocol for sender-side enforcement of causal message delivery by Yan Tong, Nathan Liittschwager, and Lindsey Kuper was accepted at PaPoC 2026.
- January 30, 2026 - Yield Not Thy Core by Achilles Benetopoulos, Andi Quinn, Robert Soulé, and Peter Alvaro was accepted at EuroSys 2026.
- October 2025 - Patrick Redmond, Jonathan Castello, José Manuel Calderón Trilla, and Lindsey Kuper received the Distinguished Artifact Award at OOPSLA 2025 for "Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern" . Congratulations!
- August 27, 2025 - Monolift: Automating Distribution With the Tools You Have at Home by Tim Goodwin, Esteban Ramos, Andi Quinn, and Lindsey Kuper was accepted at PLOS 2025.
