Collaborated with:P.A.Abdulla M.F.Atig B.Jonsson Magnus Lång Konstantinos Sagonas
Talks about:stateless (2) under (2) optim (2) model (2) check (2) sequenti (1) equival (1) consist (1) semant (1) releas (1)
Person: Tuan Phong Ngo
DBLP: Ngo:Tuan_Phong
Contributed to:
20182019Wrote 2 papers:
- OOPSLA-2018-AbdullaAJN #model checking #semantics
- Optimal stateless model checking under the release-acquire semantics (PAA, MFA, BJ, TPN), p. 29.
- 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.