Greta Dolcetti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | Faster Verified Explanations for Neural Networks. | Alessandro De Palma, Greta Dolcetti, Caterina Urban |
| 2024 | FTfJP | Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. | Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella |
| 2023 | PLDI | Speeding up Static Analysis with the Split Operator. | Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |
| 2023 | SAS | Unconstrained Variable Oracles for Faster Numeric Static Analyses. | Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |