BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
V.Vafeiadis A.Raad O.Lahav Konstantinos Sagonas
Talks about:
model (5) check (4) stateless (2) effect (2) librari (1) hardwar (1) consist (1) concurr (1) memori (1) handl (1)

Person: Michalis Kokologiannakis

DBLP DBLP: Kokologiannakis:Michalis

Contributed to:

OOPSLA 20192019
POPL 20182018
PLDI 20192019
ASPLOS 20202020

Wrote 4 papers:

OOPSLA-2019-Kokologiannakis #effectiveness #model checking
Effective lock handling in stateless model checking (MK, AR, VV), p. 26.
POPL-2018-Kokologiannakis #c #c++ #concurrent #effectiveness #model checking
Effective stateless model checking for C/C++ concurrency (MK, OL, KS, VV), p. 32.
PLDI-2019-Kokologiannakis #consistency #library #model checking
Model checking for weakly consistent libraries (MK, AR, VV), pp. 96–110.
ASPLOS-2020-Kokologiannakis #hardware #memory management #model checking #modelling #named
HMC: Model Checking for Hardware Memory Models (MK, VV), pp. 1157–1171.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.