Talk in CSE: Extending Abstract Interpretation to New Applicative Scenarios by Raju Halder

Title: Extending Abstract Interpretation to New Applicative Scenarios

Speaker: Raju Halder
              DAIS, Universita Ca’ Foscari Venezia,Italy

Venue: IT Services Room

Date and time: Thursday 31 May, 2:30 pm

Abstract:

In this talk, we addressed the issue of extending the Abstract Interpretation framework to new scenarios, that may be particularly interesting from an application perspective.We are looking for new application areas, like fix-point semantics of recursive queries, approximate query answering, static analysis of database transactions etc, . . . and moving towards web-based information systems.

We are interested to apply skills on semantics-based analysis and on formal methods to suitably deal with various issues in new challenging scenarios.