Presenter
EPFL
Final-year PhD student at EPFL working on automated formal verification of software
Presentations by Solal Pirelli
Show All
Poster Presentations
Safe Low-Level Code Without Overhead is Practical
Solal Pirelli
Judges Comments