Alvise Span
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2011–2026
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DSN | Reentrancy Detection in the Age of LLMs. | Dalila Ressi, Alvise Span, Matteo Rizzo, Lorenzo Benetollo, Sabina Rossi |
| 2025 | FORTE | Assessing Code Understanding in LLMs. | Cosimo Laneve, Alvise Span, Dalila Ressi, Sabina Rossi, Michele Bugliesi |
| 2013 | FORTE | Lintent: Towards Security Type-Checking of Android Applications. | Michele Bugliesi, Stefano Calzavara, Alvise Span |
| 2012 | EICS | A formal specification for casanova, a language for computer games. | Giuseppe Maggiore, Alvise Span, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo |
| 2011 | ICSoft | Type-flow Analysis for Legacy COBOL Code. | Alvise Span, Michele Bugliesi, Agostino Cortesi |
| 2011 | ICSoft | Typing Legacy COBOL Code. | Alvise Span, Michele Bugliesi, Agostino Cortesi |