Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pierre Wilke
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2019 profile
Not registered as user
Name:
Pierre Wilke
Affiliation:
Yale University
Contributions
2019
ESOP
Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track
POPL
Author of An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code within the Research Papers-track
Share
x
Sat 21 Dec 17:37