Bengt Jonsson -

Not registered as user yet

Name: Bengt Jonsson

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
SPLASH 2018	Author of Optimal Stateless Model Checking under the Release-Acquire Semantics within the OOPSLA-track Author of Optimal Stateless Model Checking under the Release-Acquire Semantics within the Artifacts-track