Collaborated with:P.A.Abdulla M.F.Atig B.Jonsson Tuan Phong Ngo Konstantinos Sagonas
Talks about:stateless (1) sequenti (1) equival (1) consist (1) under (1) optim (1) model (1) check (1) read (1)
Person: Magnus Lång
DBLP: L=aring=ng:Magnus
Contributed to:
2019Wrote 1 papers:
- OOPSLA-2019-AbdullaAJLNS #consistency #equivalence #model checking
- Optimal stateless model checking for reads-from equivalence under sequential consistency (PAA, MFA, BJ, ML, TPN, KS), p. 29.