Rchr
J-GLOBAL ID：200901001934421439
Update date: Jan. 17, 2020
UGAWA Tomoharu
ウガワ トモハル | UGAWA Tomoharu
Affiliation and department：
Job title：
Associate Professor
Homepage URL (1)：
http://spa.info.kochi-tech.ac.jp/~ugawa/
Research field (1)：
Software
Research keywords (8)：
model checking
, memory model
, garbage collection
, programming language
, Programming Language System
, Virtual Machine
, System Software
, Embedded System
Research theme for competitive and other funds (3)：
- 2019 - 2022 Persistent Managed Heap on Non-Volatile Memory
- 2019 - 2020 Application-Specialised Memory Management for Embedded Systems
- 2008 - 2009 Real-Time Memory Management Methods for Embedded Systems
Papers (23)：
-
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
-
Kosuke Matsumoto, Tomoharu Ugawa. Visualization of Counterexamples of Memory Model-Aware Model Checking Using SPIN. Journal of Information Processing. 2019. 27. 489-498
-
Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka. eJSTK: Building JavaScript Virtual Machines With Customized Datatypes for Embedded Systems. Journal of Computer Languages. 2019. 51. 261-279
-
Tomoharu Ugawa, Carl G. Ritson, Richard E. Jones. Transactional Sapphire: Lessons in High Performance, On-the-fly Garbage Collection. Transactions on Programming Languages and Systems (TOPLAS). 2018. 40. 4. Article No. 15
-
Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki. A Framework for Constructing JavaScript Virtual Machines with Customized Datatype Representations. Proc. 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018). 2018. 1238-1247
ｍore...
MISC (1)：
-
UGAWA Tomoharu. Model Checking Transactional Sapphire. 2018
Lectures and oral presentations (14)：
-
Removing Unnecessary Escape Barriers for Continuations
(The Second ASIAN Symposium on Programming Languages and Systems (APLAS '04) 2004)
-
複製に基づくインクリメンタルコンパクションを用いたガベージコレクタ
(日本ソフトウェア科学会 2009)
-
Detecting Bugs in Android Using a Static Escape Analyzer SEAN for Native Code
(The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012) 2012)
-
A Source Code Checker Using Declarative Patterns to Represent Rule Violations
(Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016) 2016)
-
Generating Type-Based Dispatching Code for Intermediate Language Interpreter of Dynamic Typed Languages
(15th Asian Symposium on Programming Languages and Systems (APLAS 2017) 2017)
ｍore...
Education (1)：
- - 2005 Kyoto University Graduate School, Division of Information and Communication Department of Communications and Computer Engineering
Professional career (1)：
- Informatics (Kyoto University)
Work history (3)：
- 2005 - 2008 Graduate School of Informatics, Kyoto University special-appointment assistant 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
- 2014/04 - 現在 Kochi University of Technology associate professor
Committee career (4)：
- 2019/11 - 2020/03 Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2020) Program Committee Member
- 2017 - 2018 International Symposium on Memory Management (ISMM 2018) Program Committee Member
- 2013 - 2014 International Symposium on Memory Management (ISMM 2014) Program Committee Member
- 2008 - 2009 International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2009) Program Committee Member
Awards (1)：
- 2014/12 - APLAS2014 First Prize Award An Implementation of On-The-Fly Copying Garbage Collection on Jikes RVM
Association Membership(s) (3)：
ACM
, Japan Society for Software Science and Technology
, Information Processing Society of Japan
