PLDI 2024 (series) / PLDI Research Papers /
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
This program is tentative and subject to change.
Fri 28 Jun 2024 11:40 - 12:00 at Iceland / Denmark - Concurrent and Distributed
This program is tentative and subject to change.
Fri 28 JunDisplayed time zone: Windhoek change
Fri 28 Jun
Displayed time zone: Windhoek change
10:40 - 12:20 | |||
10:40 20mTalk | [TOPLAS] Choral: Object-Oriented Choreographic Programming PLDI Research Papers | ||
11:00 20mTalk | SPORE: Combining Symmetry and Partial Order Reduction PLDI Research Papers DOI | ||
11:20 20mTalk | IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications PLDI Research Papers Chujun Geng Ohio State University, Spyros Blanas Ohio State University, Michael D. Bond Ohio State University, USA, Yang Wang The Ohio State University DOI | ||
11:40 20mTalk | LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs PLDI Research Papers Longfei Qiu Yale University, Yoonseung Kim Yale University, Ji-Yong Shin Northeastern University, Jieung Kim Inha University, Wolf Honore Yale University, Zhong Shao Yale University DOI | ||
12:00 20mTalk | A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation PLDI Research Papers DOI |