PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Tue 25 Jun 2024 11:40 - 12:20 at Sweden - Session 2 Chair(s): Marco Vassena

Programming Languages conferences often include papers on computer security, yet the topic of security is not part of the classical PL texts. This talk will focus on how a PL generalist should approach such papers. We will cover the following topics: What makes a good PL-security paper? How do we make sense of all the threat models and attackers that have invaded our beloved proceedings? How do the security papers contribute to the state of the art in programming languages, and what are the things that a PL generalist can learn?

Tue 25 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
Session 2PLMW@PLDI at Sweden
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