Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Magnus Lång
conf.researchr.org general profile
SPLASH 2019 profile
Registered user since Mon 8 Jul 2019
Name:
Magnus Lång
Affiliation:
Uppsala University, Sweden
Contributions
2019
SPLASH
Author of Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency within the OOPSLA Artifacts-track
Author of Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency within the OOPSLA-track
Share
x
Thu 19 Dec 04:09