Unconstrained Variable Oracles for Faster Numeric Static Analyses. - Vincenzo Arceri; Greta Dolcetti; Enea Zaffanella (SAS, 2023)

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. - Vincenzo Arceri; Saverio Mattia Merenda; Greta Dolcetti; Luca Negrini 001; Luca Olivieri; Enea Zaffanella (FTfJP@ECOOP, 2024)

Towards a High Level Linter for Data Science. - Greta Dolcetti; Agostino Cortesi; Caterina Urban; Enea Zaffanella (NSAD@SAS, 2024)

Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis. - Greta Dolcetti; Vincenzo Arceri; Eleonora Iotti; Sergio Maffeis; Agostino Cortesi; Enea Zaffanella (CoRR, 2024)

Speeding up static analysis with the split operator. - Vincenzo Arceri; Greta Dolcetti; Enea Zaffanella (Int. J. Softw. Tools Technol. Transf., 2024)