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

This program is tentative and subject to change.

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

This program is tentative and subject to change.

Thu 27 Jun

Displayed time zone: Windhoek change

13:40 - 14:40
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