PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

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 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
Concurrent and DistributedPLDI Research Papers at Iceland / Denmark
10:40
20m
Talk
A Lightweight Polyglot Code Transformation Language
PLDI Research Papers
Ameya Ketkar Gitar, Daniel Ramos Carnegie Mellon University, and INESC-ID, Lazaro Clapp Gitar, Raj Barik Gitar Co., Murali Krishna Ramanathan AWS AI Labs
DOI Pre-print
11:00
20m
Talk
SPORE: Combining Symmetry and Partial Order Reduction
PLDI Research Papers
DOI
11:20
20m
Talk
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
PLDI Research Papers
Chujun Geng The Ohio State University, USA, Spyros Blanas Ohio State University, Michael D. Bond Ohio State University, USA, Yang Wang The Ohio State University
DOI
11:40
20m
Talk
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
20m
Talk
A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation
PLDI Research Papers
Ruslan Nikolaev The Pennsylvania State University, Binoy Ravindran Virginia Tech
DOI