DOLCETTI, GRETA
DOLCETTI, GRETA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.0 secondi).
Helping LLMs improve code generation using feedback from testing and static analysis
2026 Dolcetti, Greta.; Arceri, V.; Iotti, E.; Maffeis, S.; Cortesi, A.; Zaffanella, E.
Introducing Pyra: A High-Level Linter for Data Science Software
2025 Dolcetti, G.; Arceri, V.; Mensi, A.; Zaffanella, E.; Urban, C.; Cortesi, A.
PYRA: A high-level linter for data science software
2026 Dolcetti, Greta.; Arceri, Vincenzo; Mensi, A.; Zaffanella, E.; Urban, C.; Cortesi, Agostino.
Towards a High Level Linter for Data Science
2024 Dolcetti, G.; Cortesi, A.; Urban, C.; Zaffanella, E.
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs
2024 Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| Helping LLMs improve code generation using feedback from testing and static analysis | 1-gen-2026 | Dolcetti Greta.Arceri V.Iotti E.Cortesi A. + | 2.1 Articolo su rivista | - | |
| Introducing Pyra: A High-Level Linter for Data Science Software | 1-gen-2025 | Dolcetti G.Arceri V.Urban C.Cortesi A. + | 4.1 Articolo in Atti di convegno | - | |
| PYRA: A high-level linter for data science software | 1-gen-2026 | Dolcetti Greta.Arceri VincenzoUrban C.Cortesi Agostino. + | 2.1 Articolo su rivista | - | |
| Towards a High Level Linter for Data Science | 1-gen-2024 | Dolcetti G.Cortesi A.Urban C. + | 4.1 Articolo in Atti di convegno | - | |
| Towards a Sound Construction of EVM Bytecode Control-Flow Graphs | 1-gen-2024 | Arceri, VincenzoDolcetti, GretaNegrini, LucaOlivieri, Luca + | 4.1 Articolo in Atti di convegno | - |