Greta Dolcetti

According to our database, Greta Dolcetti authored at least 5 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Speeding up static analysis with the split operator.

Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella

Int. J. Softw. Tools Technol. Transf., October, 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

Towards a High Level Linter for Data Science.

Greta Dolcetti, Agostino Cortesi, Caterina Urban, Enea Zaffanella

Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 2024

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs.

Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

2023

Unconstrained Variable Oracles for Faster Numeric Static Analyses.

Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella

Proceedings of the Static Analysis - 30th International Symposium, 2023