Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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 Formally Verified Big Step Semantics out of x86-64 Binaries
Show activities from other conferences

POPL 2019-profile
View general profile