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: Stergiou:Christos
Contributed to:
2015
2011
2011
2009Wrote 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.