Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models

Jacob Burnim, Koushik Sen and Christos Stergiou

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2010-31
March 18, 2010

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-31.pdf


BibTeX citation:

@techreport{Burnim:EECS-2010-31,
    Author = {Burnim, Jacob and Sen, Koushik and Stergiou, Christos},
    Title = {Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2010},
    Month = {Mar},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-31.html},
    Number = {UCB/EECS-2010-31}
}

EndNote citation:

%0 Report
%A Burnim, Jacob
%A Sen, Koushik
%A Stergiou, Christos
%T Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models
%I EECS Department, University of California, Berkeley
%D 2010
%8 March 18
%@ UCB/EECS-2010-31
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-31.html
%F Burnim:EECS-2010-31