[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

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 Chair(s): Qirun Zhang

DOI

https://doi.org/10.1145/3591230

Nikita Koval

JetBrains

Netherlands

Dmitry Khalanskiy

JetBrains

Dan Alistarh

IST Austria

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 Chair(s): Qirun Zhang Georgia Institute of Technology

	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