Informatics, TU Vienna

Program Analysis through the Lens of Computational Logic

Guest talk by Anthony Widjaja Lin (Oxford University).

The FORSYTE group cordially invites you to attend the following talk given by Anthony Widjaja Lin, who is currently an associate professor
at the University of Oxford and a recipient of an ERC Starting Grant 2017.

Abstract

Buggy and insecure software could have serious consequences including the loss of human lives, financial losses, and confidential information leakage, to name a few. Program analysis is a field that concerns the problem of analysing the behaviour of programs especially with respect to the issue of correctness. Over the years computational logic has played an important role in program analysis particularly in the development of precise automatic methods for verifying the correctness and optimising the performance of programs. In this talk I will illustrate how logic can help program analysis, drawing examples from my own research inspired by challenges in web security (e.g. how to detect/prevent cross-site scripting vulnerabilities), web performance optimisation (e.g. how to remove code redundancies in web pages), and verification of distributed protocols. A theme that will emerge during the talk is that there is often a tight connection between logic and automata that can be exploited when designing (often theoretically optimal) algorithms.