Marco Campion

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Test Generation

Static Analysis

Abstract Interpretation

Top Venues

Proc. ACM Program. Lang.

J. Comput. Virol. Hacking Tech.

Publications

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
Monotonicity and the Precision of Program Analysis. Proc. ACM Program. Lang. 8 (POPL) (2024)
Denis Mazzucato, Marco Campion, Caterina Urban
Quantitative Input Usage Static Analysis. NFM (2024)
Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi
A Formal Framework to Measure the Incompleteness of Abstract Interpretations. SAS (2023)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis. Proc. ACM Program. Lang. 6 (POPL) (2022)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
On the Properties of Partial Completeness in Abstract Interpretation. ICTCS (2022)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Learning metamorphic malware signatures from samples. J. Comput. Virol. Hacking Tech. 17 (3) (2021)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Abstract Interpretation of Indexed Grammars. SAS (2019)