Greta Dolcetti

Orcid: 0000-0002-2983-9251

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Building a Foundational Guardrail for General Agentic Systems via Synthetic Data.
CoRR, October, 2025

Introducing Pyra: A High-Level Linter for Data Science Software.
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.
CoRR, 2024

Towards a High Level Linter for Data Science.
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.
Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

2023
Unconstrained Variable Oracles for Faster Numeric Static Analyses.
Proceedings of the Static Analysis - 30th International Symposium, 2023

Speeding up Static Analysis with the Split Operator.
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023


  Loading...