244 followers Verification papers @verif_papers A Framework for Correctness Criteria on Weak Memory Models. - John Derrick, Graeme Smith http://t.co/xuLVsWzVxE 28 May 2015 Reply Repost Favourite