Registered user since Mon 16 Jan 2023
Name:Solal Pirelli
Country:Switzerland
Affiliation:EPFL
Personal website:https://dslab.epfl.ch/people/pirelli/
Twitter:https://twitter.com/SolalPirelli
Research interests:Automated formal verification of software
Contributions
| ICSE 2023 | Safe low-level code without overhead is practical Safe low-level code without overhead is practical | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile