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

This program is tentative and subject to change.

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 Rousseau East
15:30
45m
Talk
Automated Software Testing: Bridging The Gap With Deep Learning
ASA
Elizabeth Dinella University of Pennsylvania
16:15
45m
Talk
Precise Program Reasoning using Probabilistic Methods
ASA
Mukund Raghotaman University of Southern California

Call for Participation

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