• Sign in
  • Sign up
conf.researchr.org / Magnus Lång
  • SPLASH 2019 profile

Registered user since Mon 8 Jul 2019

Name: Magnus Lång

Affiliation: Uppsala University, Sweden

Contributions

SPLASH 2019 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
xWed 21 Apr 10:09
using conf.researchr.org (v1.45.0)
Support page
Sign Up