A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation (PLDI 2024 - PLDI Research Papers) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Ruslan Nikolaev, Binoy Ravindran

Track

PLDI 2024 PLDI Research Papers

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Fri 28 Jun 2024 12:00 - 12:20 at Iceland / Denmark - Concurrent and Distributed

DOI

https://doi.org/10.1145/3658851

Ruslan Nikolaev

The Pennsylvania State University

Binoy Ravindran

Virginia Tech

United States

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Fri 28 Jun
Displayed time zone: Windhoek change

	10:40 - 12:20	Concurrent and DistributedPLDI Research Papers at Iceland / Denmark

	10:40 20m Talk		[TOPLAS] Choral: Object-Oriented Choreographic Programming PLDI Research Papers
	11:00 20m Talk		SPORE: Combining Symmetry and Partial Order Reduction PLDI Research Papers Michalis Kokologiannakis MPI-SWS, Iason Marmanis MPI-SWS, Viktor Vafeiadis MPI-SWS DOI
	11:20 20m Talk		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 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