Follow
Marco Campion
Marco Campion
INRIA & École Normale Supérieure | Université PSL, Paris, France
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Partial (In) Completeness in abstract interpretation: limiting the imprecision in program analysis
M Campion, M Dalla Preda, R Giacobazzi
Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022
172022
Learning metamorphic malware signatures from samples
M Campion, M Dalla Preda, R Giacobazzi
Journal of Computer Virology and Hacking Techniques 17 (3), 167-183, 2021
142021
Abstract interpretation of indexed grammars
M Campion, M Dalla Preda, R Giacobazzi
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019
62019
On the properties of partial completeness in abstract interpretation
M Campion, M Dalla Preda, R Giacobazzi
Proceedings of the 23rd Italian Conference on Theoretical Computer Science …, 2022
22022
A Formal Framework to Measure the Incompleteness of Abstract Interpretations
M Campion, C Urban, M Dalla Preda, R Giacobazzi
International Static Analysis Symposium, 114-138, 2023
12023
Monotonicity and the Precision of Program Analysis
M Campion, M Dalla Preda, R Giacobazzi, C Urban
Proceedings of the ACM on Programming Languages 8 (POPL), 1629-1662, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–6