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