Greta Dolcetti

15 papers B 1Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
A dual perspective review on large language models and code verification.
Frontiers Comput. Sci.
Greta Dolcetti, Eleonora Iotti
2026 J jnl
Blue Teaming Function-Calling Agents.
CoRR
Greta Dolcetti, Giulio Zizzo, Sergio Maffeis
2026 J jnl
Helping LLMs improve code generation using feedback from testing and static analysis.
Discov. Artif. Intell.
Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella
2026 J jnl
PYRA : A high-level linter for data science software.
Knowl. Based Syst.
Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi
2025 J jnl
Building a Foundational Guardrail for General Agentic Systems via Synthetic Data.
CoRR
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
2025 J jnl
Faster Verified Explanations for Neural Networks.
CoRR
Alessandro De Palma, Greta Dolcetti, Caterina Urban
2025 J jnl
Faster numeric static analyses with unconstrained variable oracles.
PeerJ Comput. Sci.
Vincenzo Arceri, Filippo Bianchi, Greta Dolcetti, Enea Zaffanella
2025 — conf
Introducing Pyra: A High-Level Linter for Data Science Software.
ECML/PKDD (10)
Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi
2025 — conf
On the Verification of ML Systems and Models.
OVERLAY
Greta Dolcetti, Vincenzo Arceri, Agostino Cortesi, Enea Zaffanella
2024 J jnl
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis.
CoRR
Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella
2024 J jnl
Speeding up static analysis with the split operator.
Int. J. Softw. Tools Technol. Transf.
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
2024 — conf
Towards a High Level Linter for Data Science.
NSAD@SAS
Greta Dolcetti, Agostino Cortesi, Caterina Urban, Enea Zaffanella
2024 — conf
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs.
FTfJP@ECOOP
Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella
2023 — conf
Speeding up Static Analysis with the Split Operator.
SOAP@PLDI
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
2023 B conf
Unconstrained Variable Oracles for Faster Numeric Static Analyses.
SAS
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella