Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Theodoros Kasampalis
conf.researchr.org general profile
PLDI 2019 profile
Not registered as user
Name:
Theodoros Kasampalis
Affiliation:
University of Illinois at Urbana-Champaign, USA
Contributions
2019
PLDI
Author of A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture within the PLDI Research Papers-track
Share
x
Sun 22 Dec 09:44