Christos Stergiou
I am a computer science graduate student at UC BerkeleyI 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
- On the Verification of Timed Discrete-Event Models (under submission)
- Error-Completion in Interface Theories SPIN 2013
-
A Modular Formal Semantics for Ptolemy
Mathematical Structures in Computer Science - Testing Concurrent Programs on Relaxed Memory Models ISSTA 2011
- Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models TACAS 2011
- Checking Non-Interference in SPMD Programs HotPar 2010
- Looper: Lightweight Detection of Infinite Loops at Runtime ASE 2009