松元(M1)が第115回プログラミング研究会 (秋田)で発表

M1の松元が7/28(金)に秋田県で行なわれた第115回プログラミング研究会 (PRO-2017-2)で発表しました。

タイトル:SPINで弱いメモリ順序のメモリモデルでのプログラムの実行を検査するためのライブラリの改良