SUZANNE Hector
Doctorant à Sorbonne Université
Équipe : APR
Date d'arrivée : 01/02/2021
Tel: 01 44 27 88 04, Hector.Suzanne (at) nulllip6.fr
https://perso.lip6.fr/Hector.Suzanne
Équipe : APR
Date d'arrivée : 01/02/2021
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 3, Bureau 331
4 place Jussieu
75252 PARIS CEDEX 05
Tel: 01 44 27 88 04, Hector.Suzanne (at) nulllip6.fr
https://perso.lip6.fr/Hector.Suzanne
Direction de recherche : Emmanuel CHAILLOUX
Analyses statiques de ressources pour langages de haut niveau
Publications 2023
-
2023
- H. Suzanne, E. Chailloux : “A Reusable Machine-Calculus for Automated Resource Analyses”, Logic-Based Program Synthesis and Transformation, vol. 14330, Lecture Notes in Computer Science, Cascais, Portugal, pp. 61-79, (Springer Nature Switzerland) (2023)