News
January 15, 2024 -
Associate Professor Mohsen Lesani has joined UC Santa Cruz and the LSD Lab. Welcome, Mohsen!
September 6, 2023 -
Gan Shen, Shun Kashiwa, and Lindsey Kuper received the
Distinguished Paper Award at ICFP 2023 for "HasChor: Functional Choreographic Programming for All (Functional Pearl)"
. Congratulations!
July 19, 2023 -
Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, and Tyler Sorensen received the
Distinguished Artifact Award at ISSTA 2023 for "GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)"
. Congratulations!
July 4, 2023 -
An Exceptional Actor System (Functional Pearl) by Patrick Redmond and Lindsey Kuper was accepted at Haskell Symposium 2023 .
May 18, 2023 -
HasChor: Functional Choreographic Programming for All (Functional Pearl) by Gan Shen, Shun Kashiwa, and Lindsey Kuper was accepted at ICFP 2023 .
May 2, 2023 -
GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper) by Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn, and Tyler Sorensen was accepted at ISSTA 2023 .
May 1, 2023 -
Unstick Yourself: Recoverable Byzantine Fault Tolerant Services by Tuan Tran, Faisal Nawab, Peter Alvaro, and Owen Arden was accepted at ICBC 2023 .
April 29, 2023 -
CRDTs, Coalgebraically (Early Ideas) by Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, and Lindsey Kuper was accepted at CALCO 2023 .
April 22, 2023 -
Redwood: Flexible and Portable Heterogeneous Tree Traversal Workloads by Yanwen Xu, Ang Li, and Tyler Sorensen was accepted at ISPASS 2023 .
April 3, 2023 -
What goes wrong in serverless runtimes? A survey of bugs in Knative Serving by Tim Goodwin, Andrew Quinn, and Lindsey Kuper was accepted at SESAME 2023 .
March 29, 2023 -
Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, and Tyler Sorensen received the
Distinguished Paper Award and Distinguished Artifact Award at ASPLOS 2023 for "MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications"
. Congratulations!
March 22, 2023 -
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications by Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, and Tyler Sorensen was accepted at ASPLOS 2023 .
February 8, 2023 -
Verified Causal Broadcast with Liquid Haskell by Patrick Redmond, Gan Shen, Niki Vazou, and Lindsey Kuper was accepted at IFL 2022 .
January 20, 2023 -
Tyler Sorensen received the
NSF CAREER Award for "Composable Memory Consistency Models for Heterogeneous Systems"
. Congratulations!
August 10, 2022 -
Priyanka Mondal, Maximilian Algehed, and Owen Arden received the
CSF 2022 Distinguished paper award
. Congratulations!
August 07, 2022 -
Applying consensus and replication securely with FLAQR by Priyanka Mondal, Maximilian Algehed, and Owen Arden was accepted at CSF 2022 .
June 8, 2022 -
Kamala Ramasubramanian defended her dissertation! Congratulations, Kamala!
May 02, 2022 -
Payment Channels Under Network Congestion by Tuan Tran, Haofan Zheng, Peter Alvaro, and Owen Arden was accepted at ICBC 2022 .
January 27, 2022 -
Lindsey Kuper received the
NSF CAREER Award for "Building Reliable Distributed Systems with Refinement Types"
. Congratulations!
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 .
August 27, 2021 -
3MileBeach: A Tracer with Teeth by Jun Zhang, Robert Ferydouni, Aldrin Montana, Daniel Bittman, and Peter Alvaro was accepted at SOCC 2021 .
June 04, 2021 -
Secure Distributed Applications the Decent Way by Haofan Zheng, and Owen Arden was accepted at ASSS 2021 .
May 21, 2021 -
Peter Alvaro was promoted to Associate Professor. Congratulations, Peter!
May 03, 2021 -
Total Eclipse of the Enclave: Detecting Eclipse Attacks From Inside TEEs by Haofan Zheng, Tuan Tran, and Owen Arden was accepted at ICBC 2021 .
January 13, 2021 -
Professor Cormac Flanagan has been named an ACM Fellow . Congratulations, Cormac!
Oct. 20, 2020 -
Elle: Inferring Isolation Anomalies from Experimental Observations by Kyle Kingsbury and Peter Alvaro was accepted at VLDB '21 .
Oct. 1, 2020 -
The Anchor Verifier for Blocking and Non-Blocking Concurrent Software by Stephen Freund and Cormac Flanagan was accepted at OOPSLA '20 .
Oct. 1, 2020 -
Foundations of Empirical Memory Consistency Testing by Tyler Sorensen, Esin Tureci, Jake Kirkham and Margaret R. Martonosi was accepted at OOPSLA '20 .
Oct. 1, 2020 -
Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell by Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks and Niki Vazou was accepted at OOPSLA '20 .
Oct. 1, 2020 -
We launched the LSD Lab website!