第60回プログラミング・シンポジウムで発表された論文が山内奨励賞を受賞しました

2019年1月11日から1月13日に開催された第60回プログラミング・シンポジウムで発表された論文が,山内奨励賞を受賞しました

受賞者: 松元稿如(M2)(2018年度卒業), 飯干寛幸(B4)

タイトル: 並行プログラムのPartial Store Ordering での実行をモデル検査するためのRelease メモリバリア

受賞: 山内奨励賞

yamauchi_2020_Fotor