学会発表等

  • 2019年度
    • 論文
      • Kosuke Matsumoto(M2), Tomoharu Ugawa, Visualization of Counterexamples of Memory Model-Aware Model Checking Using SPIN, Journal of Information Processing, Vol. 27, pp.489-498, August 2019
      • Tomoya Nonaka(B4), Tomoharu Ugawa, Design and Implementation of Superinstructions for JavaScript Virtual Machine Generation System for Embedded Systems eJSTK, Journal of Information Processing, Vol. 27, pp. 658-670, October 2019
    • 口頭発表
      • 森翔太郎(B4), 鵜川始陽, mRuby/cにおける参照カウントGCとマークスイープGCの比較, 第127回プログラミング研究発表会, 医療イノベーション推進センター第2研修室, 2020/1/15-16
    • 受賞
      • 松元稿如(M2)(2018年度卒業),飯干寛幸(B4): 第60回プログラミング・シンポジウム山内奨励賞
      • 飯干寛幸(B4): 学業成績優秀賞
      • 松本康太郎(B3): 学業成績優秀賞
  • 2018年度
    • 査読付き会議
      • Takafumi Kataoka(M2), Tomoharu Ugawa, Hideya Iwasaki, A Framework for Constructing JavaScript Virtual Machines with Customized Datatype Representations, The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), pp. 1238–1247, Palais Beaumont, Pau, France, 2018/4/9-13
      • 片岡崇史(M2), 鵜川始陽, 岩崎英哉, アプリケーションに特化したJavaScript仮想機械開発のためのユニットテストを用いたプロファイリング, 第21回プログラミングおよびプログラミング言語ワークショップ(PPL’19), 岩手県花巻市湯の杜ホテル志戸平, 2019/3/6-8
    • 口頭発表
      • 片岡崇史(M2), 鵜川始陽, アプリケーションの実行に必要なVMの機能を特定するためのプロファイラ, 電気関係学会四国支部連合大会, 愛媛大学,2018/9/22
      • 粕谷彪人(M2), 鵜川始陽, ループと関数の概念を学習するための教材の開発, 電気関係学会四国支部連合大会, 愛媛大学,2018/9/22
      • 松元稿如(M2), 鵜川始陽, SPINのためのARMプロセッサのメモリモデルのモデル化, 電気関係学会四国支部連合大会, 愛媛大学,2018/9/22
      • 野中智矢(B4), 鵜川始陽, 組み込みシステム向けJavaScript仮想機械における合成命令の実装, 電気関係学会四国支部連合大会, 愛媛大学,2018/9/22
      • 藤本太希(B4), 鵜川始陽, C言語プログラムにおけるコピーガベージコレクションの実装の誤りの検出, 電気関係学会四国支部連合大会, 愛媛大学,2018/9/22
      • 松元稿如(M2), 鵜川始陽, SPINによるメモリ順序を考慮したソフトウェアモデル検査の反例可視化, 第122回プログラミング研究発表会, 福山市ものづくり交流館, 2019/1/17-18
      • 野中智矢(B4), 鵜川始陽, 組み込みシステム向けJavaScript仮想機械生成系eJSTKにおける合成命令の設計と実装, 第123回プログラミング研究発表会, 東京大学駒場キャンパス, 2019/3/18-19
    • ポスター発表
      • 飯干寛幸(B3), 松元稿如(M2), 鵜川始陽, 並行プログラムのPartial Store Ordering での実行をモデル検査するためのRelease メモリバリア, 第60回プログラミング・シンポジウム, 静岡県伊東温泉, 2019/1/11-13
      • Hiroyuki Iiboshi(B3), Tomoharu Ugawa, Model Checking of a Persistent Concurrent Queue, The 16th Asian Symposium on Programming Languages and Systems (APLAS’18), Victoria University of Wellington, Wellington, New Zealand, 2018/12/3-5
      • 森翔太郎(B3), 片岡崇史(M2), 野中智矢(B4), 鵜川始陽, アプリケーション特化による組込みシステム向けJavaScript VM小型化の効果確認, 日本ソフトウェア科学会第35回大会, 大阪大学コンベンションセンター, 2018/8/28-31
      • Hiroyuki Iiboshi(B3), Tomoharu Ugawa, Towards Model Checking Library for Persistent Data Structures, The 7th IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA’18), Hakodate Arena, Hakodate, Japan, 2018/8/28-31
    • 受賞
      • 片岡崇史(M2): 電気学会・ 電子情報通信学会・情報処理学会四国支部奨励賞
      • 藤本太希(B4): 電気関係学会四国支部連合大会優秀発表賞受賞
      • 飯干寛幸(B3): 学業成績優秀賞
  • 2017年度
    • 論文
      • Kosuke Matsumoto(M1), Tomoharu Ugawa, Tatsuya Abe, Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN, Journal of Information Processing, Vol.26, pp.314-326, March 2018
    • 口頭発表
      • 松元稿如(M1), 鵜川始陽, 安部達也, SPINで弱いメモリ順序のメモリモデルでのプログラムの実行をモデル検査するためのライブラリの改良, 第115回プログラミング研究発表会, 秋田県秋田市秋田アトリオンビル, 2017/7/26-28
      • 片岡崇史(M1), 鵜川始陽, 仮想機械における型ディスパッチャの自動生成, 電気関係学会四国支部連合大会, 愛媛大学, 2017/9/23
      • 奧田麻友(B4), 鵜川始陽, Androidアプリ開発支援のためのJavaプログラム生成ツール, 電気関係学会四国支部連合大会, 愛媛大学, 2017/9/23
      • 大石孝文(B4), 鵜川始陽, 組み込みシステム用JavaScript仮想機械におけるRaspberryPiを制御する組み込み関数の実装, 電気関係学会四国支部連合大会, 愛媛大学, 2017/9/23
    • ポスター発表
      • 飯干寛幸(B2), 松元稿如(M1), 鵜川始陽, SPIN用メモリモデルライブラリmmlibを使った並行コピーGCのモデル検査, 第20回プログラミングおよびプログラミング言語ワークショップ(PPL’18), 鳥取県米子市皆生温泉「皆生グランドホテル天水」, 2018/3/5-7
      • 野中智矢(B3), 片岡崇史(M1), 鵜川始陽, argumentsオブジェクトに着目したJavaScriptコンパイラの最適化, 第59回プログラミング・シンポジウム, 静岡県伊東温泉, 2018/1/19-21
      • Kosuke Matsumoto(M1), Hiroyuki Iiboshi(B2), Tomoharu Ugawa, Modelling Acquire and Release Fences for Promela Models of TSO and PSO Using Store Buffers, 15th Asian Symposium on Programming Languages and Systems(APLAS’17), Xi’an Jiaotong-Liverpool International Conference Center, Suzhou, China, 2017/11/27-29
      • Takafumi Kataoka(M1), Tomoharu Ugawa, Hideya Iwasaki, Generating Type-Based Dispatching Code for Intermediate Language Interpreter of Dynamic Typed Languages, 15th Asian Symposium on Programming Languages and Systems(APLAS’17), Xi’an Jiaotong-Liverpool International Conference Center, Suzhou, China, 2017/11/27-29
      • Hiroyuki iiboshi(B2), Tomoharu Ugawa, Model Checking of Staccato Concurrent Copying Protocol using Weak Memory Model Library, International Workshop on Human-Engaged Computing, Kochi University of Techology, Kami, Japan, 2017/11/10
      • Ayato Kasutani(M1), Tomoharu Ugawa, A Study of Data Structures for Objects in JavaScript VM for Embedded Systems, International Workshop on Human-Engaged Computing, Kochi University of Technology, Kami, Japan, 2017/11/10
    • 受賞
      • 飯干寛幸(B2): 学業成績優秀賞
  • 2016年度
    • 論文
      • 中村真也(B4), 鵜川始陽, 馬谷誠二,  規則違反コードの構造を反映した木パタンを用いるコード検査器, 情報処理学会誌 プログラミング, Vol.9, No.4, pp.1-15, 2016/9/12
    • 査読付き会議
      • 松元稿如(B4), 鵜川始陽, 安部達也, メモリモデルを考慮したメモリアクセス命令を提供するSPIN用ライブラリ, 第23回ソフトウェア工学の基礎ワークショップ(FOSE’16), 香川県ことひら温泉, 2016/12/1-3
    • 口頭発表
      • 粕谷彪人(B4), 鵜川始陽, バグ発見ツールASTgrepのラップアラウンドバグ検出への適用可能性の評価, 電気関係学会四国支部連合大会, 徳島大学, 2016/9/17
      • 岩本迪子(B4), 鵜川始陽, Dockerを用いた仮想環境でのプログラムテストのための支援ツール, 電気関係学会四国支部連合大会, 徳島大学, 2016/9/17
      • 片岡崇史(B4), 鵜川始陽, 並行GCの周波数抑制による省電力手法の予備評価, 電気関係学会四国支部連合大会, 徳島大学, 2016/9/17
      • 中尾成一(B4), 鵜川始陽, JavaScriptのANTLR用文法記述のテスト, 電気関係学会四国支部連合大会, 徳島大学, 2016/9/17
    • ポスター発表
      • 粕谷彪人(B4), 松田直諒(B4), 鵜川始陽, 意味的誤り検出ツールASTgrepのAST生成部の設計と実装, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL’17), 山梨県笛吹市石和温泉「華やぎの章 慶山」, 2017/3/8-10
      • 片岡崇史(B4), 鵜川始陽, 仮想機械における型ディスパッチャの自動生成, 第58回プログラミング・シンポジウム, 静岡県伊東温泉, 2017/1/6-8
      • Kosuke Matsumoto(B4), Tomoharu Ugawa, A Model Library of Memory Access Instructions of Three Memory Models for SPIN, International Symposium on Interaction design and Human Factors, 高知工科大学, 10/20-22
      • Takafumi Kataoka(B4), Tomoharu Ugawa, Preliminary Evaluation of an Energy Saving Technique That Lowers CPU Frequency for Concurrent GC, International Symposium on Interaction design and Human Factors, Kochi University of Technology, Kami, Japan, 10/20-22
    • 受賞
      • 松元稿如(B4): IEEE Computer Society Japan Chapter FOSE Younge Researcher Awarad
      • 中村真也(B4): 電気学会・ 電子情報通信学会・情報処理学会四国支部奨励賞
  • 2015年度
    • 口頭発表
      • 中村真也(B4), 鵜川始陽, パタンマッチによるプログラムの誤り検出に向けて, 2015 電気関係学会四国支部連合大会,高知工科大学, 2015/9/26
      • 高松裕樹(B4), 鵜川始陽, サーバサイド向けJavaScript処理系における専用のGarbage Collection実装の提案, 2015 電気関係学会四国支部連合大会, 高知工科大学, 2015/9/26
      • 中村真也(B4), 鵜川始陽, 馬場誠二, 規則違反コードの構造を反映した木パタンを用いるコード検査器, 第108回プログラミング研究発表会, 東京大学駒場キャンパス, 2016/2/28-29
    • ポスター発表
      • 片岡崇史(B3), 鵜川始陽, 並行GC中のCPU周波数抑制による消費電力の削減, 第57回プログラミング・シンポジウム, 静岡県伊東温泉, 2016/1/8-10