Hello everyone,
on Thursday 6th of June 2024,
I will hold a presentation about C-rusted at the Symposium on
"Challenges of Software Verification", which will take place
at Ca' Foscari University of Venice: you are all invited!
More information on the CSV24 can be found at:
https://unive-ssv.github.io/csv.htmlhttps://www.unive.it/data/agenda/9/88896
The title of the presentation is
"Memory Safety for C-rusted: Challenges and Possible Solutions".
As you may have already guessed,
the focus will be memory safety, in particular:
- why memory safety is crucial;
- different approaches to achieve memory safety;
- the C-rusted approach to temporal and spatial memory safety.
I hope to see you in Venice!
Regards,
Federico
--
Federico Serafini, M.Sc.
Software Engineer, BUGSENG (http://bugseng.com)
