AI has achieved ground breaking success in various domains such as speech, vision, and natural language processing. Inspired by this success many researchers and developers have started to explore leveraging AI in various software development areas (AI for code). While many aspects of this area has been explored, the success of statis analysis in identifying various software bugs creates a unique opportunity to explore the area of AI for Code.

The ASA workshop gathers together developers and researchers who are exploring the use of static analysis and AI to empower and enable breakthroughs in the area of AI for Code. To this end, we have invited a set of well-known figures in area of AI for Code to bring their perspective on the subject and we follow the talks with a series of discussions on how static analysis can complement the current research in the area of AI for Code.

Highlights

Dates
Plenary
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

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

Wed 15 Jun

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

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
09:00 - 10:10
Keynote: Emery BergerPLDI at Kon-Tiki +12h
Chair(s): Işıl Dillig University of Texas at Austin
09:00
10m
Other
Welcome to PLDI 2022
PLDI
Işıl Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services
09:10
60m
Keynote
Getting Your Research Adopted
PLDI
Emery D. Berger University of Massachusetts Amherst
Pre-print Media Attached
18:00 - 19:00
PLDI 2022 ReceptionPLDI at Beach North
18:00
60m
Social Event
PLDI 2022 Reception (sponsored by WhatsApp by Meta)social
PLDI

21:00 - 22:10
Keynote: Emery BergerPLDI at Kon-Tiki
21:00
10m
Other
Welcome to PLDI 2022
PLDI
Işıl Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services
21:10
60m
Keynote
Getting Your Research Adopted
PLDI
Emery D. Berger University of Massachusetts Amherst
Pre-print Media Attached

Call for Participation

We will welcome researchers and developers from industry and academia to attend the invited talks and participate in workshop discussions.