[PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable Synchronization (PLDI 2024 - PLDI Research Papers) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Nikita Koval, Dmitry Khalanskiy, Dan Alistarh

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

Thu 27 Jun 2024 13:40 - 14:00 at Iceland / Denmark - SIGPLAN + TOPLAS

DOI

https://doi.org/10.1145/3591230

Nikita Koval

JetBrains

Netherlands

Dmitry Khalanskiy

JetBrains

Dan Alistarh

IST Austria

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

Thu 27 Jun
Displayed time zone: Windhoek change

	13:40 - 14:40	SIGPLAN + TOPLASPLDI Research Papers at Iceland / Denmark

	13:40 20m Talk		[PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable Synchronization PLDI Research Papers Nikita Koval JetBrains, Dmitry Khalanskiy JetBrains, Dan Alistarh IST Austria DOI
	14:00 20m Talk		[PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs PLDI Research Papers Bastien Lecoeur Imperial College London, Hasan Mohsin Imperial College London, Alastair F. Donaldson Imperial College London DOI
	14:20 20m Talk		[TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams PLDI Research Papers Meghana Aparna Sistla The University of Texas at Austin, Swarat Chaudhuri University of Texas at Austin, Thomas Reps University of Wisconsin-Madison

Hide past events