Analyzing the Intel Itanium Memory Ordering Rulesusing Logic Programming and SATYue YangGanesh GopalakrishnanGary LindstromKonrad SlindSchool ofputingUniversity of UtahWork supported in part by