Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.

Jacob Burnim, Koushik Sen, Christos Stergiou

Browse the full TACAS paper archive.