Greta Dolcetti

According to our database¹, Greta Dolcetti authored at least 2 papers in 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Unconstrained Variable Oracles for Faster Numeric Static Analyses.

[BibT_eX]

[DOI]

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

Speeding up Static Analysis with the Split Operator.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023