鵜川始陽

ウガワトモハル | Ugawa Tomoharu

所属機関・部署：
職名：准教授
ホームページURL (1件)： http://spa.info.kochi-tech.ac.jp/~ugawa/

研究分野 (1件)：ソフトウェア

研究キーワード (12件)：モデル検査 , メモリモデル , プログラミング言語 , 組込みシステム , ごみ集め , システムソフトウェア , 仮想機械 , プログラミング言語処理系 , Embedded System , System Software , Virtual Machine , Programming Language System

競争的資金等の研究課題 (8件)：

2019 - 2022 マネージド言語のための不揮発性メモリを用いた永続化ヒープ
2019 - 2020 個々のアプリケーションに特化した組込みシステム向けメモリ管理技術
2016 - 2019 IoTデバイス向けの軽量でモジュラーなJavaScript処理系
2011 - 2014 実用的ウェブアプリケーション開発を支援するサーバサイドJavaScript 処理系
2010 - 2013 機器組込みVMのメモリ管理

全件表示

論文 (39件)：

Yuta Hirasawa, Hideya Iwasaki, Tomoharu Ugawa, Hiro Onozawa. Generating Virtual Machine Code of JavaScript Engine for Embedded Systems. Journal of Information Processing. 2022. 30. 679-693
Kotaro Matsumoto, Tomoharu Ugawa, Hideya Iwasaki. Replication-based Object Persistence by Reachability. Proc. 2022 ACM SIGPLAN International Symposium on Memory Management (ISMM 2022). 2022. 43-56
小野澤拓, 岩崎英哉, 鵜川始陽. アプリケーションと実行環境に適応したカスタマイズが可能なJavaScript処理系. コンピュータソフトウェア. 2021. 38. 3. 23-40
Hiro Onozawa, Tomoharu Ugawa, Hideya Iwasaki. Fusuma: Double-Ended Threaded Compaction. Proc. 2021 ACM SIGPLAN International Symposium on Memory Management (ISMM 2021). 2021. 94-106
Tomoya Nonaka, Ugawa Tomoharu. Design and Implementation of Superinstructions for JavaScript Virtual Machine Generation System for Embedded Systems eJSTK. Journal of Information Processing. 2019. 27. 658-670

MISC (7件)：

鵜川始陽. Model Checking Transactional Sapphire. 2018
Seiji Umatani, Tomoharu Ugawa, Masahiro Yasugi. Design and Implementation of a Java Bytecode Manipulation Library for Clojure. 情報処理学会論文誌プログラミング(PRO). 2015. 8. 2
鵜川始陽. PLDI 2014/ISMM 2014参加報告. コンピュータソフトウェア. 2014. 31. 4. 30-35
高村成道, 鵜川始陽, 岩崎英哉. 低優先度処理を指定可能なリアルタイム処理向けI/Oスケジューラ. 研究報告システムソフトウェアとオペレーティング・システム(OS). 2014. 2014. 8. 1-10
羽田野大理, 岩崎英哉, 鵜川始陽. 高速な復帰が可能なLinuxのスリープ機構の実現. 研究報告システムソフトウェアとオペレーティング・システム(OS). 2013. 2013. 14. 1-8

特許 (1件)：

メモリ管理方法、メモリ管理装置、及びメモリ管理プログラムが記録されている記録媒体

書籍 (1件)：

ガベージコレクション
翔泳社 2016

講演・口頭発表等 (14件)：

不揮発性メモリを使った永続化データ構造のモデル検査のためのライブラリ
(2020)
Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines
(14th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS 2019) 2019)
JavaScript 仮想機械記述のためのドメイン特化言語
(第21回プログラミングおよびプログラミング言語ワークショップ 2019)
アプリケーションに特化したJavaScript仮想機械開発のためのユニットテストを用いたプロファイリング
(第21回プログラミングおよびプログラミング言語ワークショップ 2019)
Model Checking of a Persistent Concurrent Queue
(Asian Symposium on Programming Languages and Systems (APLAS 2018) 2018)

学歴 (4件)：

2002 - 2005 京都大学大学院情報学研究科通信情報システム専攻博士後期課程
- 2005 京都大学
2000 - 2002 京都大学大学院情報学研究科通信情報システム専攻修士課程
1996 - 2000 京都大学工学部情報学科

学位 (1件)：

情報学 (京都大学)

経歴 (5件)：

2020/10 - 現在東京大学大学院情報理工学系研究科准教授
2014/04 - 2020/09 高知工科大学情報学群准教授
2008/04 - 2014/03 電気通信大学大学院情報理工学研究科、情報理工学部情報・通信工学専攻、情報・通信工学科助教
2005/04 - 2008/03 京都大学大学院情報学研究科特任助手
2005 - 2008 京都大学大学院情報学研究科

委員歴 (14件)：

2017/04 - 現在日本ソフトウェア科学会編集委員
2017/04 - 現在情報処理学会プログラミング研究会編集委員
2020/12 - 2021/03 Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2021) プログラム委員
2020 - 2021 第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) プログラム委員
2019/11 - 2020/03 Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2020) プログラム委員

全件表示

受賞 (4件)：

2020/01 - 情報処理学会プログラミングシンポジウム山内奨励賞
2014/12 - APLAS2014 ポスター賞 (1位) An Implementation of On-The-Fly Copying Garbage Collection on Jikes RVM
2013 - 情報処理学会山下記念研究賞
2010 - 日本ソフトウェア科学会高橋奨励賞

所属学会 (6件)：

情報処理学会 , 日本ソフトウェア科学会 , ACM , Information Processing Society of Japan , Japan Society for Software Science and Technology , ACM

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

鵜川 始陽

鵜川始陽