conf.researchr.org / Magnus Lång

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