• Sign in
  • Sign up
conf.researchr.org / Bengt Jonsson
  • SPLASH 2018 profile
  • SPLASH 2019 profile

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

Share
xWed 27 Jan 05:57
using conf.researchr.org (v1.40.2)
Support page
Sign Up