Seguir
Marco Campion
Marco Campion
INRIA & École Normale Supérieure | Université PSL, Paris, France
Dirección de correo verificada de inria.fr - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6