TSOtool: A Program for Verifying Memory
Systems Using the Memory Consistency Model
Sudheendra Hangal†, Durgam Vahia‡, Chaiyasit Manovit‡,
Joseph Lu‡ and Sridhar Narayanan‡
Sun Microsystems India Pvt. Ltd., Bangalore (India)
Sun Microsystems, Sunnyvale, CA (USA)
Find the hard memory-related bugs
in Sun's multiprocessor systems
A particular slide catching your eye?
Clipping is a handy way to collect important slides you want to go back to later.