【予告】片岡(M1), 松元(M1)がAPLASでポスターセッションを行います

2017年11月27-29日、中国蘇州で行われるAPLAS 2017にてポスターセッションを行います。

発表者:片岡崇史

Generating Type-Based Dispatching Code for Intermediate Language Interpreter of Dynamic Typed Languages

発表者:松元稿如

Modelling Acquire and Release Fences for Promela Models of TSO and PSO Using Store Buffers