ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Sep

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

08:00 - 08:30
10:00 - 10:30
12:00 - 13:30
15:00 - 15:30

Tue 17 Sep

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

08:30 - 09:00
10:00 - 10:30
12:00 - 13:30
15:00 - 15:30
18:00 - 20:00

Wed 18 Sep

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

08:00 - 08:30
10:00 - 10:30
12:00 - 13:30
15:00 - 15:30
17:45 - 23:00
BanquetSocial Events at Fuhrgassl-Huber

We will take buses from the conference venue to go to the banquet.

Thu 19 Sep

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

08:30 - 09:00
10:00 - 10:30
12:00 - 13:30
15:00 - 15:30
18:00 - 20:00

Fri 20 Sep

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

08:30 - 09:00
10:00 - 10:30
10:30 - 11:30
FTfJP KeynoteFTfJP at EI 2 Pichelmayer
Chair(s): Luca Di Stefano Technische Universität Wien
10:30
60m
Keynote
Static Analysis for Software Security: Detecting Data Races in C
FTfJP
Omar Inverso Gran Sasso Science Institute
11:30 - 12:00
FTfJP Session 1FTfJP at EI 2 Pichelmayer
Chair(s): Luca Di Stefano Technische Universität Wien
11:30
30m
Talk
Towards a model checker for Python: pymodcheck
FTfJP
Dara MacConville Maynooth University, Rosemary Monahan
12:00 - 13:30
13:30 - 15:00
FTfJP Session 2FTfJP at EI 2 Pichelmayer
Chair(s): Paola Giannini University of Eastern Piedmont
13:30
30m
Talk
Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA
FTfJP
Giacomo Zanatta Ca’ Foscari University of Venice, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Teodors Lisovenko Ca' Foscari University of Venice, Luca Negrini Ca’ Foscari University of Venice, Gianluca Caiazza Ca' Foscari University of Venice, Ruffin White White Robotics
14:00
30m
Talk
Towards a Sound Construction of EVM Bytecode Control-flow Graphs
FTfJP
Vincenzo Arceri University of Parma, Italy, Saverio Mattia Merenda University of Parma, Italy, Greta Dolcetti Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and Statistics, Luca Negrini Ca’ Foscari University of Venice, Luca Olivieri University Ca' Foscari, Venice, Enea Zaffanella University of Parma, Italy
14:30
30m
Talk
Abstract Interpretation of Java Bytecode in Sturdy
FTfJP
Stefan Marx Johannes Gutenberg-Universität Mainz, Sebastian Erdweg JGU Mainz
15:00 - 15:30
15:30 - 17:30
FTfJP Session 3FTfJP at EI 2 Pichelmayer
Chair(s): Dara MacConville Maynooth University
15:30
30m
Talk
Disjoint Polymorphism with Intersection and Union Types
FTfJP
Baber Rehman University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong
16:00
30m
Talk
Coeffects for MiniJava: Cf-Mj
FTfJP
Paola Giannini University of Eastern Piedmont, Giulio Duso University of Eastern Piedmont
16:30
30m
Talk
Dafny vs. Dala: Experience with Mechanising Language Design
FTfJP
James Noble Independent. Wellington, NZ, Julian Mackay Victoria University of Wellington, Tobias Wrigstad Uppsala University, Andrew Fawcett Victoria University of Wellington, Michael Homer Victoria University of Wellington
File Attached
17:00
30m
Talk
Incrementalizing Polynomial Functors
FTfJP
Timon Böhler Technical University of Darmstadt, David Richter Technical University of Darmstadt, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE