Greta Dolcetti

According to our database, Greta Dolcetti authored at least 7 papers between 2023 and 2025.

Collaborative distances:

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

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

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

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

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