Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ian Roessle
conf.researchr.org general profile
POPL 2019 profile
Registered user since Mon 10 Dec 2018
Name:
Ian Roessle
Affiliation:
Virginia Tech, USA
Personal website:
http://www.ianroessle.org
Contributions
2019
CPP
Author of Formally Verified Big Step Semantics out of x86-64 Binaries within the CPP 2019-track
Share
x
Thu 5 Dec 23:07