Scientific Program

9:00 - 9:30 Sparsity Preserving Algorithms for Octagons - Jacques-Henri Jourdan

9:30 - 10:00
Abstract Similarity Analysis - Mila Dalla Preda and Vanessa Vidali

10:30 - 10:30 Coffee Break

10:30 - 11:00
Abstract Domains for Type Juggling - Vincenzo Arceri and Sergio Maffeis

11:00 -11:30
Semantics-based Framework for SW Watermarking - Mila Dalla Preda and Michele Pasqua

11:30 - 12:00 INVITED TALK: Prof. Antoine Miné -
Thread-modular abstractions for the static analysis of concurrent programs

12:00 Closing of NSAD and Lunch