DOLCETTI, GRETA
DOLCETTI, GRETA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
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 |
|---|---|---|---|---|---|
| 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 | - |