Greta Dolcetti

According to our database, Greta Dolcetti authored at least 14 papers between 2023 and 2026.

Collaborative distances:

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

2026

Helping LLMs improve code generation using feedback from testing and static analysis.

Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella

Discov. Artif. Intell., December, 2026

Blue Teaming Function-Calling Agents.

Greta Dolcetti, Giulio Zizzo, Sergio Maffeis

CoRR, January, 2026

PYRA : A high-level linter for data science software.

Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi

Knowl. Based Syst., 2026

A dual perspective review on large language models and code verification.

Greta Dolcetti, Eleonora Iotti

Frontiers Comput. Sci., 2026

2025

Faster Verified Explanations for Neural Networks.

Alessandro De Palma, Greta Dolcetti, Caterina Urban

CoRR, December, 2025

Dataset: PYRA: A High-level Linter for Data Science Software.

Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi

Dataset, December, 2025

Building a Foundational Guardrail for General Agentic Systems via Synthetic Data.

Yue Huang, Hang Hua, Yujun Zhou, Pengcheng Jing, Manish Nagireddy, Inkit Padhi, Greta Dolcetti, Zhangchen Xu, Subhajit Chaudhury, Ambrish Rawat, Liubov Nedoshivina, Pin-Yu Chen, Prasanna Sattigeri, Xiangliang Zhang

CoRR, October, 2025

Faster numeric static analyses with unconstrained variable oracles.

Vincenzo Arceri, Filippo Bianchi, Greta Dolcetti, Enea Zaffanella

PeerJ Comput. Sci., 2025

Introducing Pyra: A High-Level Linter for Data Science Software.

Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi

Proceedings of the Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track and Demo Track, 2025

On the Verification of ML Systems and Models.

Greta Dolcetti, Vincenzo Arceri, Agostino Cortesi, Enea Zaffanella

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

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

Speeding up Static Analysis with the Split Operator.

Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella

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