SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Tue 24 Oct 2023 14:30 - 15:00 at Room XII - Compilation and Analysis

State-of-the-art software is crafted in multiple programming languages. Multi-language software challenges static analyses. Since many static analyses are focused on analyzing single-language programs, they are inherently unsound or imprecise in analyzing cross-language interaction. Furthermore, existing approaches that perform multi-language analysis are not analysis or language independent and lack in extensibility for new languages. To fill this gap, we will develop an extensible, language, framework, and analysis independent architecture to reuse existing static analyses for analyzing multi-language software. Our hypotheses are, that analyses based on our architecture will be more sound and more precise than state-of-the-art analyses and that our architecture allows to reuse existing analyses to a larger extent than state-of-the-art approaches. We will evaluate our architecture with a points-to and IFDS analysis for Java, JavaScript and native code and compare it against the state of the art.

Tue 24 Oct

Displayed time zone: Lisbon change

14:00 - 15:30
Compilation and AnalysisDoctoral Symposium at Room XII
14:00
30m
Talk
Remote Just-in-Time Compilation for Dynamic Languages
Doctoral Symposium
Andrej Pečimúth Oracle Labs; Charles University
14:30
30m
Talk
Reusing Single-Language Analyses for Static Analysis of Multi-Language ProgramsRemote
Doctoral Symposium
Tobias Roth Technische Universität Darmstadt
15:00
30m
Talk
Semantic Versioning for Python Programs
Doctoral Symposium