Rchr
J-GLOBAL ID:200901001934421439   Update date: Feb. 02, 2021

Ugawa Tomoharu

ウガワ トモハル | Ugawa Tomoharu
Affiliation and department:
Homepage URL  (1): http://spa.info.kochi-tech.ac.jp/~ugawa/
Research field  (1): Software
Research keywords  (12): model checking ,  memory model ,  garbage collection ,  programming language ,  組込みシステム ,  システムソフトウェア ,  仮想機械 ,  プログラミング言語処理系 ,  Embedded System ,  System Software ,  Virtual Machine ,  Programming Language System
Research theme for competitive and other funds  (8):
  • 2019 - 2022 Persistent Managed Heap on Non-Volatile Memory
  • 2019 - 2020 Application-Specialised Memory Management for Embedded Systems
  • 2016 - 2019 IoTデバイス向けの軽量でモジュラーなJavaScript処理系
  • 2011 - 2014 実用的ウェブアプリケーション開発を支援 するサーバサイドJavaScript 処理系
  • 2010 - 2013 機器組込みVMのメモリ管理
Show all
Papers (35):
MISC (3):
Patents (1):
  • メモリ管理方法、メモリ管理装置、及びメモリ管理プログラムが記録されている記録媒体
Books (1):
  • ガベージコレクション
    翔泳社 2016
Lectures and oral presentations  (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)
more...
Education (4):
  • 2002 - 2005 Kyoto University Department of Communications and Computer Engineering
  • - 2005 Kyoto University Department of Communications and Computer Engineering
  • 2000 - 2002 Kyoto University Department of Communications and Computer Engineering
  • 1996 - 2000 Kyoto University School of Informatics & Mathematical Science
Professional career (1):
  • Informatics (Kyoto University)
Work history (5):
  • 2020/10 - 現在 The University of Tokyo The Graduate School of Information Science and Technology associate professor
  • 2014/04 - 2020/09 Kochi University of Technology associate professor
  • 2008/04 - 2014/03 The University of Electro-Communications Graduate School of Informatics and Engineering, Faculty of Informatics and Engineering Department of Communication Engineering and Informatics Assistant Professor
  • 2005/04 - 2008/03 Kyoto University Graduate School of Informatics
  • 2005 - 2008 Graduate School of Informatics, Kyoto University special-appointment assistant professor
Committee career (14):
  • 2017/04 - 現在 日本ソフトウェア科学会 編集委員
  • 2017/04 - 現在 情報処理学会プログラミング研究会 編集委員
  • 2020/12 - 2021/03 Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2021) PC member
  • 2020 - 2021 第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) プログラム委員
  • 2019/11 - 2020/03 Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2020) PC member
Show all
Awards (4):
  • 2020/01 - 情報処理学会 プログラミングシンポジウム 山内奨励賞
  • 2014/12 - APLAS2014 First Prize Award An Implementation of On-The-Fly Copying Garbage Collection on Jikes RVM
  • 2013 - 情報処理学会 山下記念研究賞
  • 2010 - 日本ソフトウェア科学会 高橋奨励賞
Association Membership(s) (6):
情報処理学会 ,  日本ソフトウェア科学会 ,  ACM ,  Information Processing Society of Japan ,  Japan Society for Software Science and Technology ,  ACM
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page