Program - PLDI 2024

Detailed Table Session Timeline Detailed Timeline

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 24 Jun
Displayed time zone: Windhoek change

09:00 - 10:10	Session 1Infer at Helsinki

09:15 5m Talk		Welcome Infer David Pichardie Meta
09:20 45m Talk		State of the Infer Platform Infer Jules Villard Meta

10:40 - 12:20	Session 2Infer at Helsinki

10:40 45m Talk		Finding Retain Cycles for Objective-C with Pulse Infer Dulma Churchill Meta
11:30 45m Talk		Bridging the Gap For Security Analysis In Infer Infer Julien Vanegue Bloomberg, USA

13:40 - 15:20	Session 3Infer at Helsinki

13:40 45m Talk		Infer Internals for Integrations and Infrastructure Infer Nikos Gorogiannis Meta
14:30 45m Talk		Supercharging Infer: Enhancing Static Analysis with Dynamic Data at WhatsApp Infer Matteo Marescotti Meta

16:00 - 17:40	Session 4Infer at Helsinki

16:00 45m Talk		Type-safe Nanopasses: How to write a safe and modern compiler front-end Infer Daniel Mercier AdaCore

Infer 2024 Program

Mon 24 Jun
Displayed time zone: Windhoek change

Tracks

Co-hosted Conferences

Workshops

Infer 2024 Program

Switch Program View

Program Display Configuration

Mon 24 JunDisplayed time zone: Windhoek change

Get Calendar (iCal)

Mon 24 Jun
Displayed time zone: Windhoek change