Vincenzo Arceri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
11
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution). | Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara |
| 2025 | SAC | Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi |
| 2025 | SAC | Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto |
| 2024 | FTfJP | Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. | Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella |
| 2023 | ECOOP | Information Flow Analysis for Detecting Non-Determinism in Blockchain. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto |
| 2023 | IDEAS | BIOCHAIN: towards a platform for securely sharing microbiological data. | Vincenzo Bonnici, Vincenzo Arceri, Alessio Diana, Flavio Bertini, Eleonora Iotti, Alessia Levante, Valentina Bernini, Erasmo Neviani, Alessandro Dal Pal |
| 2023 | PLDI | Speeding up Static Analysis with the Split Operator. | Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |
| 2023 | SAS | Unconstrained Variable Oracles for Faster Numeric Static Analyses. | Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |
| 2022 | APLAS | Decoupling the Ascending and Descending Phases in Abstract Interpretation. | Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella |
| 2022 | PLDI | Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. | Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin |
| 2022 | VMCAI | Relational String Abstract Domains. | Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara |
| 2021 | PLDI | Static analysis for dummies: experiencing LiSA. | Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi |
| 2021 | VMCAI | Twinning Automata and Regular Expressions for String Static Analysis. | Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi |
| 2020 | SAC | A sound abstract interpreter for dynamic code. | Vincenzo Arceri, Isabella Mastroeni |
| 2019 | FM | An Abstract Domain for Objects in Dynamic Programming Languages. | Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni |
| 2019 | ICTAC | Completeness of Abstract Domains for String Analysis of JavaScript Programs. | Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni |