Marco Campion

According to our database, Marco Campion authored at least 9 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Relating Distances and Abstractions - An Abstract Interpretation Perspective.

Marco Campion, Isabella Mastroeni, Caterina Urban

Proceedings of the Static Analysis - 32nd International Symposium, 2025

2024

Monotonicity and the Precision of Program Analysis.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban

Proc. ACM Program. Lang., January, 2024

Quantitative Static Timing Analysis.

Denis Mazzucato, Marco Campion, Caterina Urban

Proceedings of the Static Analysis - 31st International Symposium, 2024

Quantitative Input Usage Static Analysis.

Denis Mazzucato, Marco Campion, Caterina Urban

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

A Formal Framework to Measure the Incompleteness of Abstract Interpretations.

Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi

Proceedings of the Static Analysis - 30th International Symposium, 2023

2022

Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

Proc. ACM Program. Lang., 2022

On the Properties of Partial Completeness in Abstract Interpretation.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

2021

Learning metamorphic malware signatures from samples.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

J. Comput. Virol. Hacking Tech., 2021

2019

Abstract Interpretation of Indexed Grammars.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

Proceedings of the Static Analysis - 26th International Symposium, 2019