Marco Vassena

icon indicating a website link https://webspace.science.uu.nl/mvassena icon indicating an email [email protected]

icon company Utrecht University icon location Utrecht, Netherlands icon location Assistant professor interested in programming languages and security

Results 2 issues of Marco Vassena

Missing null checks and panic handlers in extern functions

The FFI bindings in this library are missing null checks and panic handlers that would avoid undefined behavior. The documentation does warn users about conditions that will trigger undefined behavior,...

WIP Syllabus

17 comment

I have added a tentative syllabus following pretty much Software Foundations. Remember that everyone has to present a topic (an interactive COQ session with the highlights of the chapter will...