News

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 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, Tyler!
August 10, 2022 - Priyanka Mondal, Maximilian Algehed, and Owen Arden received the CSF 2022 Distinguished paper award. Congratulations, Priyanka!
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, 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.
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!