NSAD2019: WORKSHOP ON NUMERICAL AND SYMBOLIC ABSTRACT DOMAINS, 2019
PROGRAM
Tuesday, October 8th

View this program: with abstractssession overviewtalk overview

09:15-09:30

Welcome - joint with TAPAS welcome.

Chair:
David Delmas
Location: room Google
09:30-10:00 Session 1

Invited Speaker shared with TAPAS :

Chair:
David Delmas
Location: room Google
09:30
Pascal Labacanne
Transforming development processes of avionics software with formal methods (abstract)
10:00-10:30

Coffee Break

10:30-12:30 Session 2
Chair:
Mehdi Bouaziz
Location: room Ceuta
10:30
Maxime Jacquemin and Franck Vedrine
A Dividing Method Minimizing the Linearization Term in Affine Arithmetic (abstract)
11:00
Vincenzo Arceri, Michele Pasqua and Isabella Mastroeni
An abstract domain for objects in dynamic programming languages (abstract)
11:30
Farah Benmouhoub, Pierre-Loic Garoche and Matthieu Martel
Improving the Numerical Accuracy of Parallel Programs by Data Mapping. (abstract)
12:00
Solène Mirliaz and David Pichardie
Flow Insensitive Relational Static Analysis (abstract)
12:30-14:00

Lunch

14:00-15:00 Session 3

Invited talk

Chair:
Laure Gonnord
Location: room Google
14:00
Enea Zaffanella
Some thoughts on the design of abstract domains (abstract)
15:00-15:30

Coffee Break

15:30-16:00 Session 4

Joint invited with TAPAS

Chair:
David Delmas
15:30
Bernard Schmidt
Establishing Sound Static Analysis for Integration Verification of Large-Scale Software in Automotive Industry - joint invited with TAPAS (abstract)
16:15-17:15 Session 5
Chair:
Laure Gonnord
Location: room Ceuta
16:15
Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet
Combination of Boxes and PolyhedraAbstractions for Constraint Solving (abstract)