Collaborated with:Michalis Kokologiannakis O.Lahav V.Vafeiadis P.A.Abdulla M.F.Atig B.Jonsson Magnus Lång Tuan Phong Ngo
Talks about:stateless (2) model (2) check (2) sequenti (1) equival (1) consist (1) concurr (1) effect (1) under (1) optim (1)
Person: Konstantinos Sagonas
DBLP: Sagonas:Konstantinos
Contributed to:
2019
2018Wrote 2 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.
- POPL-2018-Kokologiannakis #c #c++ #concurrent #effectiveness #model checking
- Effective stateless model checking for C/C++ concurrency (MK, OL, KS, VV), p. 32.