Greta Dolcetti

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

Collaborative distances:

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

2024

Speeding up static analysis with the split operator.

Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella

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