JLiSA: from zero to podium at SV-COMP

Speaker

Pietro Ferrara

Affiliation

Ca' Foscari University of Venice

Type

Scientific Talk

Abstract

In March 2025, I had some chatting during a meeting with Raphaël Monat about SV-COMP and the Java track. There, I realized that LiSA could have been a great player in the competition. After that, a good part of the SSV team was fully committed to adding the Java frontend and some semantic analyses to perform well. The project started towards the end of May and ended in November. JLiSA ranked 3rd in the Java track of SV-COMP 2026.

In this talk, I will report on the implementation effort spent by the group to achieve this result.