山下記念研究賞 IPSJ Yamashita SIG Research Award

関連記事Related Articles

• Blog 2017.10.17

  安部上席研究員が情報処理学会の山下記念研究賞を受賞 Dr. Tatsuya Abe wins IPSJ Yamashita SIG Research Award

• Research 2017.02.15

  Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations