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
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | |||
10:30 45mTalk | Black Box Static Analyses with Deep Learningvirtual ASA | ||
11:15 45mTalk | Balancing the use of ML and Program Analysis for Bug finding ASA Willem Visser Amazon Web Services | ||
13:30 - 15:00 | |||
13:30 45mTalk | Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code ASA Michael Pradel University of Stuttgart | ||
14:15 45mTalk | Program Synthesis, Program Semantics, and Large Language Models ASA Charles Sutton Google Research | ||
15:30 - 17:00 | |||
15:30 45mTalk | Automated Software Testing: Bridging The Gap With Deep Learningvirtual ASA Elizabeth Dinella University of Pennsylvania | ||
16:15 45mTalk | Precise Program Reasoning using Probabilistic Methods ASA Mukund Raghothaman University of Southern California | ||
22:30 - 00:00 | |||
22:30 45mTalk | Black Box Static Analyses with Deep Learningvirtual ASA | ||
23:15 45mTalk | Balancing the use of ML and Program Analysis for Bug finding ASA Willem Visser Amazon Web Services | ||
Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change
01:30 - 03:00 | |||
01:30 45mTalk | Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code ASA Michael Pradel University of Stuttgart | ||
02:15 45mTalk | Program Synthesis, Program Semantics, and Large Language Models ASA Charles Sutton Google Research | ||
03:30 - 05:00 | |||
03:30 45mTalk | Automated Software Testing: Bridging The Gap With Deep Learningvirtual ASA Elizabeth Dinella University of Pennsylvania | ||
04:15 45mTalk | Precise Program Reasoning using Probabilistic Methods ASA Mukund Raghothaman University of Southern California | ||
09:00 - 10:10 | |||
09:00 10mOther | 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 60mKeynote | Getting Your Research Adopted PLDI Emery D. Berger University of Massachusetts Amherst Pre-print Media Attached | ||
18:00 - 19:00 | |||
18:00 60mSocial Event | PLDI 2022 Reception (sponsored by WhatsApp by Meta)social PLDI | ||
21:00 - 22:10 | |||
21:00 10mOther | 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 60mKeynote | Getting Your Research Adopted PLDI Emery D. Berger University of Massachusetts Amherst Pre-print Media Attached | ||
Invited Talks
Call for Participation
We will welcome researchers and developers from industry and academia to attend the invited talks and participate in workshop discussions.
| Tue 14 Jun 2022 Workshop Date |
