I am currently a Java and C# developer at Corvallis, where we develop the Julia static analyzer. My work at Corvallis goes beyond the simple software development: I am also part of the Scientific LAB, whose main focus is to bring the theoretical resesarch on Static analysis in contact with the industrial ecosystem. This led to a vast number of publications and continues to bring contributions to the scientific community.
I started studying computer science in high school, continuing with both Bechelor’s and Master’s degree at the University of Verona. I got in touch with JuliaSoft during my Master’s thesis, and that was the place where I fell for Abstract Interpretation. I joined JuliaSoft as a developer of the Julia static analyzer in April 2018.
I also joined the Ca’ Foscari University of Venice as a PhD student in Computer Science in October 2019, focusing on Multi-language Static Analysis.
You can find my full CV here.
As part of my PhD research project, I started the development of LiSA, together with the Software and System Verification group @ Ca’ Foscari University of Venice, Italy. LiSA (Library for Static Analysis) eases the creation and implementation of static analyzers based on the Abstract Interpretation theory. LiSA provides an analysis engine that works on a generic and extensible control flow graph representation of the program to analyze. Abstract interpreters in LiSA are built for analyzing such representation, providing a unique analysis infrastructure for all the analyzers that will rely on it.
Building an analyzer upon LiSA boils down to writing a parser for the language that one aims to analyze, translating the source code or the compiled code towardsthe control flow graph representation of LiSA. Then, simple checks iterating over the results provided by the semantic analyses of LiSA can be easily defined to translate semantic information into warnings that can be of value for the final user.
LiSA is distributed under the MIT license, and is available on GitHub.
Tarsis is a new abstract domain for string values based on finite state automata. Standard finite state automata abstract domain has been shown to provide precise abstractions of string values when all the components of such strings are known, but with high computational cost. Instead of considering standard finite automata built over an alphabet of single characters, Tarsis considers automata that are built over an alphabet of strings, comprising a special value to represent statically unknown strings. Tarsis is maintained by the Software and System Verification group @ Ca’ Foscari University of Venice, Italy, and it is available on GitHub.
|FNAC21||P. Ferrara, L. Negrini, V. Arceri, A. Cortesi, Static analysis for dummies: experiencing LiSA, in Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis.
SOAP 2021, Online, June 22-23, 2021
|NAFC21||L. Negrini, V. Arceri, P. Ferrara, A. Cortesi, Twinning Automata and Regular Expressions for String Static Analysis, in Proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation.
VMCAI 2021, Online, January 17-22, 2021
|FN20||P. Ferrara, L. Negrini, SARL: OO Framework Specification for Static Analysis, in Software verification. Springer, Cham, 2020. PP. 3-20.
VSTTE 2020, Virtual conference, July 20-21, 2020
|NF18||L. Negrini, P. Ferrara, SARL: Framework Modeling for Static Analysis, in Proceedings of the 9th Workshop on Tools for Automatic Program Analysis (TAPAS2018).
TAPAS 2018, Freiburg im Breisgau, Germany, August 28, 2018
|January 18||Twinning Automata and Regular Expressions for String Static Analysis, VMCAI 2021, Virtual conference|
|July 20||SARL: OO Framework Specification for Static Analysis, VSTTE 2020, Virtual conference|
|August 28||SARL: Framework Modeling for Static Analysis, TAPAS 2018, Freiburg im Breisgau, Germany|
I started playing volleyball when I was 14, and it is one of the best choices that I made in my entire life.
I used to be a self-taught guitar player. I really enjoyed playing acoustic songs, and I hope to get back to that sooner or later.
This is my newest interest, born mostly from growing curiosity after watching tons of youtube videos. I just can’t get enough of reading and watching stuff!