Magnus Lång -

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