International Workshop on Human Engaged Computingで粕谷(M1), 飯干(B2)が発表

11/10(金)高知工科大学で行われたInternational Workshop on Human-Engaged Computingで修士1年の粕谷と学部2年の飯干がポスターセッションを行いました.

2人とも英語のポスターセッションは初めてでしたので貴重な経験ができたと思います.

発表者:粕谷彪人

タイトル:A Study of Data Structures for Objects in JavaScript VM for Embedded Systems

発表者:飯干寛幸

タイトル:Model Checking of Staccato Concurrent Copying Protocol using Weak Memory Model Library