Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Guillaume Barbier
conf.researchr.org general profile
PLDI 2020 profile
Not registered as user
Name:
Guillaume Barbier
Affiliation:
ENS Rennes, France
Contributions
2020
PLDI
Author of Repairing and Mechanising the JavaScript Relaxed Memory Model within the PLDI Research Papers-track
DeepSpec
Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
Share
x
Tue 31 Dec 11:24