BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × New Zealand
1 × USA
Collaborated with:
J.Burnim K.Sen N.Jalbert R.Alur M.Raghothaman S.Tripakis A.Udupa
Talks about:
complet (2) memori (2) relax (2) model (2) lightweight (1) distribut (1) symmetri (1) sequenti (1) protocol (1) program (1)

Person: Christos Stergiou

DBLP DBLP: Stergiou:Christos

Contributed to:

CAV 20152015
ISSTA 20112011
TACAS 20112011
ASE 20092009

Wrote 4 papers:

CAV-2015-AlurRSTU #automation #distributed #protocol #symmetry
Automatic Completion of Distributed Protocols with Symmetry (RA, MR, CS, ST, AU), pp. 395–412.
ISSTA-2011-BurnimSS #concurrent #memory management #modelling #source code #testing
Testing concurrent programs on relaxed memory models (JB, KS, CS), pp. 122–132.
TACAS-2011-BurnimSS #consistency #memory management #modelling #monitoring
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (JB, KS, CS), pp. 11–25.
ASE-2009-BurnimJSS #detection #infinity #lightweight #named #runtime
Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.

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.