Ian Roessle

Registered user since Mon 10 Dec 2018

Name:Ian Roessle
Affiliation:Virginia Tech, USA
Personal website:http://www.ianroessle.org

Contributions

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