ASE 2023
Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg
Mon 11 Sep 2023 13:30 - 14:00 at Room A - Presentations 2

Static analysis cannot provide fully sound results due to the undecidability of dynamic programming language features. We propose an approach that complements static analysis with relevant information from dynamic analysis. Our goal is to provide a framework that defers part of the execution of a static analysis at unsound code points in order to collect relevant values at runtime. To evaluate this, real-world benchmarks will be used to ensure practical feasibility.

Mon 11 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
Presentations 2Doctoral Forum at Room A
13:30
30m
Talk
Deferring Partial Analysis Execution for Soundness
Doctoral Forum
14:00
30m
Talk
Improve the Performance of Large Language Models on Code Generation
Doctoral Forum
Jinhao Dong Peking University
14:30
30m
Talk
Analysis and Tool-Support for Scalable and Reliable Imperative Deep Learning Programs
Doctoral Forum
Tatiana Castro Vélez City University of New York (CUNY) Graduate Center