I’m extremely happy to announce that a paper on the application of static analysis to the certification of decision trees has been accepted at ESORICS 2020! This paper (pdf here) is the first result of a new collaboration with Stefano Calzavara and Claudio Lucchese started when I recently moved to Ca’ Foscari University. Stay tuned for further developments!
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.