If you do not see this message displayed properly, please click here


The Faculty of Informatics is pleased to announce a seminar given by Antonio Filieri



Probabilistic symbolic execution: a bird's eye view
Speaker: Antonio Filieri
Imperial College London, UK
Date: Tuesday, October 2, 2018
Place: USI Lugano Campus, room A-23, Red building (Via G. Buffi 13)
Time: 13.30-14.30



Probabilistic symbolic execution is a static program analysis technique for computing probabilistic measures over the space of execution paths of a program, optionally conditioned on specific usage profiles. In its basic formulation, it aims at computing the probability of a program reaching specific target states during the execution, e.g., invoking a specific function or throwing an exception. More recent applications include quantitative security analysis, program similarity, and code level performance analysis. This talk will overview some of the main principles and challenges behind the working of probabilistic symbolic execution, and discuss a set of its current and envisioned applications.



Antonio Filieri is a Lecturer (Assistant Professor) at Imperial College London.  His main research interests are in the application of mathematical methods to software engineering, in particular probability, statistics, logic, and control theory.  The main topics of his recent publications include exact and approximate analysis methods for probabilistic software analysis, control-theoretical software adaptation, quantitative software modeling and verification at runtime, and incremental verification.  



Host: Prof. Carlo Alberto Furia


Faculty of Informatics

Faculty of Informatics
Università della Svizzera italiana
Via Giuseppe Buffi 13
CH-6904 Lugano
Tel.: +41 (0)58 666 46 90
Fax: +41 (0)58 666 45 36
Email: decanato.inf@usi.ch
Web: www.inf.usi.ch
Twitter: @USI_INF


Segui USI@EXPO2015 su Twitter Segui USI@EXPO2015 su Facebook Segui USI@EXPO2015 su Linkedin Segui USI@EXPO2015 su YouTube