— Roméo La Spina —
PhD Student in Computer Science
Home
|
Education
(
CV
) |
[Research]
|
Teaching
|
Misc
|
Français
Talks
• French days of compilation 2023
(
Journées des GT CLAP/HiFi/LVP du GDR GPL 2023
) —
Formal proof of a dataflow analyzer parametrized by an iteration order
[
Slides
(in French)]
