Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Testing Concurrent Programs on Relaxed Memory Models

Jacob Burnim, Koushik Sen and Christos Stergiou

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

http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/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},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2010},
    Month = {Mar},
    URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-32.html
%F Burnim:EECS-2010-32