Ian Roessle

Registered user since Mon 10 Dec 2018

Name: Ian Roessle

Affiliation: Virginia Tech, USA

Personal website: http://www.ianroessle.org

Contributions

CPP 2019Author of Formally Verified Big Step Semantics out of x86-64 Binaries within the CPP 2019-track