SARL paper accepted at VSTTE 2020

We are glad to announce that the paper “SARL: OO Framework Specification for Static Analysis” (co-authored by Pietro Ferrara Luca Negrini) has been accepted for publication at VSTTE 2020! This paper introduces a novel language aimed at specifying some components of object oriented frameworks (such as Java Spring and Hibernate, and .NET Windows Forms and ASP.NET) in order to improve the precision and soundness of static analysis applied to program relying on such frameworks.