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

Sat 17 Jun
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00	ASA: Session 1ASA at Magnolia 6 #asa-sat-magnolia6

09:00 45m Talk		How Programmers Interact with AI Assistants ASA Nadia Polikarpova University of California at San Diego
09:45 45m Talk		A Cambrian Explosion for Software Development Tools ASA Emery D. Berger University of Massachusetts Amherst
10:30 45m Talk		Towards Code-Aware AI Models for Code ASA Baishakhi Ray Columbia University

11:20 - 12:30	ASA: Session 2ASA at Magnolia 6 #asa-sat-magnolia6

11:45 45m Talk		Differentiable Symbolic Execution ASA Swarat Chaudhuri University of Texas at Austin

14:00 - 15:30	ASA: Session 3ASA at Magnolia 6 #asa-sat-magnolia6

14:00 45m Talk		Program Analysis at Uber Scale ASA Raj Barik Uber Technologies Inc.

16:00 - 17:50	ASA: Session 4ASA at Magnolia 6 #asa-sat-magnolia6

16:00 45m Talk		Why can’t we all just get along? Training SA and AI tools to communicate ASA Yaniv David Columbia University
16:45 45m Talk		AI-based Program Analysis via Relevance and Similarity ASA Kihong Heo KAIST

ASA 2023 Program

Sat 17 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

ASA 2023 Program

Switch Program View

Program Display Configuration

Sat 17 JunDisplayed time zone: Eastern Time (US & Canada) change

Get Calendar (iCal)

Sat 17 Jun
Displayed time zone: Eastern Time (US & Canada) change