Testing Concurrent Programs on Relaxed Memory Models

Jacob Burnim and Koushik Sen and Christos Stergiou

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2010-32

March 18, 2010

This publication is archived. It is kept only for reference purposes, so it is no longer being updated and may not meet accessibility standards. If you need this content in a different format, please email webteam@eecs.berkeley.edu.

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

BibTeX citation:

@techreport{Burnim:EECS-2010-32,
    Author= {Burnim, Jacob and Sen, Koushik and Stergiou, Christos},
    Title= {Testing Concurrent Programs on Relaxed Memory Models},
    Year= {2010},
    Month= {Mar},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-32.html},
    Number= {UCB/EECS-2010-32},
}

EndNote citation:

%0 Report
%A Burnim, Jacob 
%A Sen, Koushik 
%A Stergiou, Christos 
%T Testing Concurrent Programs on Relaxed Memory Models
%I EECS Department, University of California, Berkeley
%D 2010
%8 March 18
%@ UCB/EECS-2010-32
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-32.html
%F Burnim:EECS-2010-32