Litmus: Running Tests against Hardware

@inproceedings{Alglave2011LitmusRT,
  title={Litmus: Running Tests against Hardware},
  author={Jade Alglave and Luc Maranget and Susmit Sarkar and Peter Sewell},
  booktitle={TACAS},
  year={2011}
}
Shared memory multiprocessors typically expose subtle, poorly understood and poorly specified relaxed-memory semantics to programmers. To understand them, and to develop formal models to use in program verification, we find it essential to take an empirical approach, testing what results parallel programs can actually produce when executed on the hardware. We describe a key ingredient of our approach, our litmus tool, which takes small ‘litmus test’ programs and runs them for many iterations to… CONTINUE READING
Highly Cited
This paper has 73 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
48 Extracted Citations
5 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

73 Citations

051015'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 73 citations based on the available data.

See our FAQ for additional information.

Referenced Papers

Publications referenced by this paper.
Showing 1-5 of 5 references

A rigorous and usable programmer ’ s model for x 86 multiprocessors

  • S. Owens, F. Zappa Nardelli
  • Communications of the ACM
  • 1979

Similar Papers

Loading similar papers…