Program - PLDI 2023

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Sun 18 Jun
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00	Infer: Session 1Infer at Magnolia 5 #infer-sun-magnolia5

09:00 15m Other		Welcome Infer Ákos Hajdu Meta
09:15 45m Talk		A new Infer entry door: the Textual IR Infer David Pichardie Meta
10:00 45m Talk		Switching Ada analyses from BufferOverrun to PulseVirtual Infer Boris Yakobowski AdaCore

11:20 - 12:30	Infer: Session 2Infer at Magnolia 5 #infer-sun-magnolia5

11:20 45m Talk		Predictable inlining in OCaml Infer Pierre Oechsel Jane Street

14:00 - 15:30	Infer: Session 3Infer at Magnolia 5 #infer-sun-magnolia5

14:00 45m Talk		Lineage, a Data-Flow Analysis for ErlangVirtual Infer Thibault Suzanne Meta, Radu Grigore Facebook
14:45 45m Talk		C# Taint Analysis and Augmenting Static Analysis with Large Language ModelsVirtual Infer Matthew Jin Microsoft Corporation

16:00 - 17:50	Infer: Session 4Infer at Magnolia 5 #infer-sun-magnolia5

16:00 45m Talk		Learning to Boost Disjunctive Static Bug-FindersVirtual Infer Yoonseok Ko Meta
16:45 45m Talk		Incremental Analysis in Infer Infer Benno Stein Meta
17:30 20m Other		Wrap up Infer Ákos Hajdu Meta

Infer 2023 Program

Sun 18 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Infer 2023 Program

Switch Program View

Program Display Configuration

Sun 18 JunDisplayed time zone: Eastern Time (US & Canada) change

Get Calendar (iCal)

Sun 18 Jun
Displayed time zone: Eastern Time (US & Canada) change