Christos Stergiou

I am a computer science graduate student at UC Berkeley
I am advised by Edward Lee and Koushik Sen

Contact

Contact me at:

Interests

Parallel and Distributed systems, Software Correctness (Testing/Debugging),
Relaxed Memory Models

Publications

A Modular Formal Semantics for Ptolemy Stavros Tripakis, Christos Stergiou, Chris Shaver and Edward A. Lee
Mathematical Structures in Computer Science
Testing Concurrent Programs on Relaxed Memory Models Jacob Burnim, Christos Stergiou, Koushik Sen ISSTA 2011
Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models Jacob Burnim, Christos Stergiou, Koushik Sen TACAS 2011
Checking Non-Interference in SPMD Programs Stavros Tripakis, Christos Stergiou, Roberto Lublinerman HotPar 2010
Looper: Lightweight Detection of Infinite Loops at Runtime Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen ASE 2009