[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 15:20 - 15:40 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

	15:20 - 16:40	SIGPLAN + TOPLASPLDI Research Papers at Iceland / Denmark

	15:20 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
	15:40 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
	16:00 20m Talk		[OOPSLA 2023] Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network PLDI Research Papers Shangwen Wang National University of Defense Technology, Bo Lin , Zhensu Sun Singapore Management University, Ming Wen Huazhong University of Science and Technology, Yepang Liu Southern University of Science and Technology, Yan Lei Chongqing University, Xiaoguang Mao National University of Defense Technology DOI
	16:20 20m Talk		[TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams PLDI Research Papers