APLAS2017 (中国,蘇州)で片岡(M1)と松元(M1)が発表

11/27-29中国蘇州で行われたAsian Symposium on Programming Languages and Systemsで修士1年の片岡と松元がポスターセッションを行いました.

発表者:片岡崇史

Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki:
Generating Type-Based Dispatching Code for Intermediate Language Interpreter of Dynamic Typed Languages

発表者:松元稿如

Kosuke Matsumoto, Tomoharu Ugawa:
Modelling Acquire and Release Fences for Promela Models of TSO and PSO Using Store Buffers

IMG_20171127_192153IMG_20171128_201234IMG_20171130_104807