Program - PLDI 2022

Detailed Table Column Timeline Session Timeline Detailed Timeline

Time Zone

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

Use conference time zone: (GMT-07:00) Pacific 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

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	AI\ML and Static AnalysisASA at Macaw +12h

10:30 45m Talk		Black Box Static Analyses with Deep Learningvirtual ASA Miltiadis Allamanis
11:15 45m Talk		Balancing the use of ML and Program Analysis for Bug finding ASA Willem Visser Amazon Web Services

13:30 - 15:00	Neural Models of CodeASA at Macaw +12h

13:30 45m Talk		Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code ASA Michael Pradel University of Stuttgart
14:15 45m Talk		Program Synthesis, Program Semantics, and Large Language Models ASA Charles Sutton Google Research

15:30 - 17:00	Complementary ApproachesASA at Macaw +12h

15:30 45m Talk		Automated Software Testing: Bridging The Gap With Deep Learningvirtual ASA Elizabeth Dinella University of Pennsylvania
16:15 45m Talk		Precise Program Reasoning using Probabilistic Methods ASA Mukund Raghothaman University of Southern California

22:30 - 00:00	AI\ML and Static AnalysisASA at Macaw

22:30 45m Talk		Black Box Static Analyses with Deep Learningvirtual ASA Miltiadis Allamanis
23:15 45m Talk		Balancing the use of ML and Program Analysis for Bug finding ASA Willem Visser Amazon Web Services

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

01:30 - 03:00	Neural Models of CodeASA at Macaw

01:30 45m Talk		Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code ASA Michael Pradel University of Stuttgart
02:15 45m Talk		Program Synthesis, Program Semantics, and Large Language Models ASA Charles Sutton Google Research

03:30 - 05:00	Complementary ApproachesASA at Macaw

03:30 45m Talk		Automated Software Testing: Bridging The Gap With Deep Learningvirtual ASA Elizabeth Dinella University of Pennsylvania
04:15 45m Talk		Precise Program Reasoning using Probabilistic Methods ASA Mukund Raghothaman University of Southern California

ASA 2022 Program

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

ASA 2022 Program

Switch Program View

Program Display Configuration

Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change