I am a computer science graduate student at UC Berkeley
I am advised by Edward Lee and Koushik Sen Contact me at: Parallel and Distributed systems, Software Correctness (Testing/Debugging),
Relaxed Memory Models

• On the Verification of Timed Discrete-Event Models Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward Lee (under submission)
• Error-Completion in Interface Theories Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee SPIN 2013
• 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