APLAS 2023
Sun 26 - Wed 29 November 2023 Taipei, Taiwan
Mon 27 Nov 2023 09:00 - 10:00 at Room 106 & 107, IIS - Keynote 1 Chair(s): Shin-Cheng Mu

In this talk, I will share my experience of research on data-driven static analysis. An ideal static analysis would adapt to a given analysis task automatically, avoiding the unnecessary application of techniques that only increase the analysis cost without enhancing the precision. However, developing a cost-effective adaptation strategy for real-world programs has been challenging; designing such a strategy has been done by trials and error, requiring a huge amount of manual effort and expertise. Furthermore, such hand-tuned strategies are suboptimal and brittle. Our approach to overcome this shortcoming is to combine static analysis and machine learning, where the adaptation strategies are automatically learned from codebases without reliance on analysis designers. Toward this goal, we have developed machine learning models, efficient learning algorithms, and automated feature-engineering techniques appropriate for the static analysis application. I will talk about the overall approach, current achievements, and remaining challenges.

Mon 27 Nov

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00
Keynote 1APLAS 2023 at Room 106 & 107, IIS
Chair(s): Shin-Cheng Mu Academia Sinica, Taiwan
09:00
60m
Keynote
Data-Driven Static Analysis
APLAS 2023
Hakjoo Oh Korea University