Julien Forget
Maître de conférences-HDR
CNU : SECTION 27 - INFORMATIQUE
Laboratoire / équipe
Détail d'une actualité
Best paper award at VMCAI 2019
Our paper at VMCAI 2019 got the best paper award!
Ballabriga, C., Forget, J., Gonnord, L., Lipari, G. and Ruiz, J., 2019, January. Static Analysis Of Binary Code With Memory Indirections Using Polyhedra. In International Conference on Verification, Model Checking, and Abstract Interpretation (pp. 114-135). Springer, Cham.
Available here: hal.archives-ouvertes.fr/hal-01939659
Ballabriga, C., Forget, J., Gonnord, L., Lipari, G. and Ruiz, J., 2019, January. Static Analysis Of Binary Code With Memory Indirections Using Polyhedra. In International Conference on Verification, Model Checking, and Abstract Interpretation (pp. 114-135). Springer, Cham.
Available here: hal.archives-ouvertes.fr/hal-01939659