I’m glad to announce that the paper “SARL: OO Framework Specification for Static Analysis” (joint work with Luca Negrini) has been accepted for presentation 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. The paper will be presented by Luca on July, 20th at 5:30 PDT (see full program).
The papers will be available as post-proceedings, so if you want to have access to a pre-print draft of the paper please contact me.