先日行われた第60回プログラミング・シンポジウム（通称「プロシン」）において、鵜川 始陽准教授、松元 稿如さん、飯干 寛幸さんが、栄誉ある「山内奨励賞」を受賞しました。
山内奨励賞は、プログラミング・シンポジウムの創設と発展に尽力された故・山内 二郎先生の多大な御貢献を記念して「計算機のプログラミングに関する優れた業績を顕彰し研究を奨励することによって学術文化の向上発展に寄与することを目的」(「プログラミング・シンポジウム こと始め」より）として1984年に設けられました。毎年冬に開催されるプログラミング・シンポジウムにおいて、前年に発表されたものの中から特に優秀と認められる研究に対して授与されます。
受賞論文は下記のとおりです。
鵜川 始陽, 松元 稿如, 飯干 寛幸:
並行プログラムのPartial Store Ordering での実行をモデル検査するためのRelease メモリバリア.
情報処理学会第60回プログラミング・シンポジウム, 2019.
