片岡(M2)の論文がPPL 2019(花巻温泉)に採択されました.松元(M2)の論文が情報処理学会論文誌プログラミングに採録されました

片岡(M2)の論文が第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019)に,

松元(M2)の論文が第122回プログラミング研究発表会(PRO-2018-4)に採択されました.

片岡:アプリケーションに特化したJavaScript仮想機械開発のためのユニットテストを用いたプロファイリング

松元:SPINによるメモリ順序を考慮したソフトウェアモデル検査の反例可視化

IMG_2029 IMG_2023 IMG_2033