activity
20202025
collaborators

5 papers

cs.SE2025

Towards Leveraging Large Language Model Summaries for Topic Modeling in Source Code

Michele Carissimi, Martina Saletta, Claudio Ferretti

Understanding source code is a topic of great interest in the software engineering community, since it can help programmers in various tasks such as software maintenance and reuse.…

cs.NE2023

Local Search, Semantics, and Genetic Programming: a Global Analysis

Fabio Anselmi, Mauro Castelli, Alberto d'Onofrio +3

Geometric Semantic Geometric Programming (GSGP) is one of the most prominent Genetic Programming (GP) variants, thanks to its solid theoretical background, the excellent performanc…

cs.CR2021

Heuristic Search of (Semi-)Bent Functions based on Cellular Automata

Luca Mariot, Martina Saletta, Alberto Leporati +1

An interesting thread in the research of Boolean functions for cryptography and coding theory is the study of secondary constructions: given a known function with a good cryptograp…

cs.SE2021

Mining Program Properties From Neural Networks Trained on Source Code Embeddings

Martina Saletta, Claudio Ferretti

In this paper, we propose a novel approach for mining different program features by analysing the internal behaviour of a deep neural network trained on source code. Using an unlab…

nlin.CG2020

Exploring Semi-bent Boolean Functions Arising from Cellular Automata

Luca Mariot, Martina Saletta, Alberto Leporati +1

Semi-bent Boolean functions are interesting from a cryptographic standpoint, since they possess several desirable properties such as having a low and flat Walsh spectrum, which is…