Workshop on AI and Static Analysis (ASA)

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 will invite a set of speakers 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.

Invited Talks

Title
A Cambrian Explosion for Software Development Tools
ASA
AI-based Program Analysis via Relevance and Similarity
ASA
Differentiable Symbolic Execution
ASA
How Programmers Interact with AI Assistants
ASA
ItyFuzz: Snapshot-Based Fuzzer for Onchain Smart Contract Auditing
ASA
Program Analysis at Uber Scale
ASA
Towards Code-Aware AI Models for Code
ASA
Why can’t we all just get along? Training SA and AI tools to communicate
ASA
Plenary
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

07:30 - 09:00
BreakfastCatering at Royal
07:30
90m
Other
Breakfast
Catering

09:00 - 11:00
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:00 - 11:20
11:00
20m
Coffee break
Break
Catering

11:20 - 12:30
11:45
45m
Talk
Differentiable Symbolic Execution
ASA
Swarat Chaudhuri University of Texas at Austin
12:30 - 14:00
LunchCatering at Royal
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
14:00
45m
Talk
Program Analysis at Uber Scale
ASA
Raj Barik Uber Technologies Inc.
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

Not scheduled yet

Not scheduled yet
Talk
ItyFuzz: Snapshot-Based Fuzzer for Onchain Smart Contract Auditing
ASA
Koushik Sen University of California at Berkeley