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

This program is tentative and subject to change.

Tue 25 Jun 2024 10:40 - 11:10 at Iceland - Session 2 Chair(s): Marco Vassena

Like many other fields of programming languages research, the program synthesis problem is undecidable. In some narrower scopes things get better, and it’s just very hard. Algorithmic improvements also often require additional inputs, inputs that are at times weird or hard to generate. Put together, these traits are the furthest thing from what you could put in a user-facing tool: users expect tools to be reliable, quick, and easy to operate. But algorithms like program synthesis exist to take in user intent and return their output to users. How can we bridge this gap?

This program is tentative and subject to change.

Tue 25 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
Session 2PLMW@PLDI at Iceland
Chair(s): Marco Vassena Utrecht University
10:40
30m
Talk
Letting users do the undecidable: lessons from program synthesis
PLMW@PLDI
Hila Peleg Technion
11:10
30m
Talk
A Tale of Shared Memory Concurrency in Programming Languages
PLMW@PLDI
11:40
40m
Talk
How to read a PL-security paper
PLMW@PLDI
Aslan Askarov Aarhus University