ZAFFANELLA Enea

placeholder-icon272x331.png

Prof.

Professore di II fascia

FOUNDATIONS OF COMPUTER SCIENCE
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2025/2026
LANGUAGES,INTERPRETERS AND COMPILERS
Course year: 1 - Second cycle degree - COMPUTER SCIENCE - A.Y.: 2026/2027
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2025/2026

FOUNDATIONS OF COMPUTER SCIENCE
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2024/2025
LANGUAGES,INTERPRETERS AND COMPILERS
Course year: 1 - Second cycle degree - COMPUTER SCIENCE - A.Y.: 2025/2026
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2024/2025

FOUNDATIONS OF COMPUTER SCIENCE
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2023/2024
LANGUAGES,INTERPRETERS AND COMPILERS
Course year: 1 - Second cycle degree - Computer Science - A.Y.: 2024/2025
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2023/2024

FOUNDATIONS OF COMPUTER SCIENCE
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2022/2023
LANGUAGES,INTERPRETERS AND COMPILERS
Course year: 1 - Second cycle degree - Computer Science - A.Y.: 2023/2024
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2022/2023

DATABASES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2021/2022
LANGUAGES,INTERPRETERS AND COMPILERS
Course year: 1 - Second cycle degree - Computer Science - A.Y.: 2022/2023
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2021/2022

DATABASES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2020/2021
LANGUAGES,INTERPRETERS AND COMPILERS
Course year: 1 - Second cycle degree - Computer Science - A.Y.: 2021/2022
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2020/2021

DATABASES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2019/2020
LANGUAGES,INTERPRETERS AND COMPILERS
Course year: 1 - Second cycle degree - Computer Science - A.Y.: 2020/2021
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2019/2020

DATABASES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2018/2019
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2018/2019

DATABASES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2017/2018
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2017/2018

DATABASES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2016/2017
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2016/2017

DATABASES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2015/2016
ENGLISH B1 (Threshold level)
Course year: 1 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2016/2017
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2015/2016

DATABASES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2014/2015
ENGLISH B1 (Threshold level)
Course year: 1 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2015/2016
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2014/2015

DATABASES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2013/2014
ENGLISH B1 (Threshold level)
Course year: 1 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2014/2015
PROGRAMMING METHODOLOGIES
Course year: 2 - First cycle degree (DM 270) - COMPUTER SCIENCE - A.Y.: 2013/2014

EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode

Year: in stampa

Author/s: Arceri Vincenzo, Merenda Saverio Mattia, Negrini Luca, Olivieri Luca, Zaffanella Enea
Helping LLMs improve code generation using feedback from testing and static analysis

Year: 2026

Author/s: Dolcetti G., Arceri V., Iotti E., Maffeis S., Cortesi A., Zaffanella E.
PYRA: A high-level linter for data science software

Year: 2026

Author/s: Dolcetti G., Arceri V., Mensi A., Zaffanella E., Urban C., Cortesi A.
Faster numeric static analyses with unconstrained variable oracles

Year: 2025

Author/s: Arceri V., Bianchi F., Dolcetti G., Zaffanella E.
Introducing Pyra: A High-Level Linter for Data Science Software

Year: 2025

Author/s: Dolcetti Greta, Arceri Vincenzo, Mensi Antonella, Zaffanella Enea, Urban Caterina, Cortesi Agostino

Phone number

906963

Personal website: