3 papers:
DAC-2011-Mador-HaimAM #consistency #how #memory management #modelling #question #testing- Litmus tests for comparing memory consistency models: how long do they need to be? (SMH, RA, MMKM), pp. 504–509.
TACAS-2011-AlglaveMSS #hardware #named #testing- Litmus: Running Tests against Hardware (JA, LM, SS, PS), pp. 41–44.
CAV-2010-Mador-HaimAM #consistency #generative #memory management #modelling #testing- Generating Litmus Tests for Contrasting Memory Consistency Models (SMH, RA, MMKM), pp. 273–287.