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
Sat 17 JunDisplayed time zone: Eastern Time (US & Canada) change
09:00 - 11:00 | |||
09:00 45mTalk | How Programmers Interact with AI Assistants ASA Nadia Polikarpova University of California at San Diego | ||
09:45 45mTalk | A Cambrian Explosion for Software Development Tools ASA Emery D. Berger University of Massachusetts Amherst | ||
10:30 45mTalk | Towards Code-Aware AI Models for Code ASA Baishakhi Ray Columbia University | ||
11:20 - 12:30 | |||
11:45 45mTalk | Differentiable Symbolic Execution ASA Swarat Chaudhuri University of Texas at Austin | ||
14:00 - 15:30 | |||
14:00 45mTalk | Program Analysis at Uber Scale ASA Raj Barik Uber Technologies Inc. | ||
16:00 - 17:50 | |||
16:00 45mTalk | Why can’t we all just get along? Training SA and AI tools to communicate ASA Yaniv David Columbia University | ||
16:45 45mTalk | AI-based Program Analysis via Relevance and Similarity ASA Kihong Heo KAIST | ||
Unscheduled Events
| Not scheduled Talk | ItyFuzz: Snapshot-Based Fuzzer for Onchain Smart Contract Auditing ASA Koushik Sen University of California at Berkeley |
