Litmus tests for comparing memory consistency models: how long do they need to be?

Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin

Browse the full DAC paper archive.