Tomoharu Ugawa ()

[Japanese page]

Associate Professor
Graduate School of Information Science and Technology
The University of Tokyo
E-mail: remove.this.part@ugawa@ci.i.u-tokyo.ac.jp@remove.this.part
TEL: +81-3-5841-4383
researchmap: https://researchmap.jp/ugawa?lang=en

Curriculum Vitae

Bachelor of Engineering, Kyoto University, 2000.
Master of Informatics, Kyoto University, 2002.
Ph.D., Kyoto University, 2005.
Research Assistant, Graduate School of Informatics, Kyoto University, 2005-2008.
Assistant Professor, The University of Electro-Communications, 2008-2014.
Associate Professor, Kochi University of Technology, 2014-2020.
Associate Professor, The University of Tokyo, 2020-.

Research Group

We are programming languages and systems group. We are collaborating with Shigeru Chiba's group. Please visit Shigeru Chiba's group.

Research

My research area covers programming languages and systems to execute programs. More specifically, I am interested in implementing managed runtime systems of high level languages, such as Java VM and JavaScript VM. One of my research goals is to develop good managed runtime systems. It would be high performance, secure, and energy- and space-efficient. Offering a good abstraction of new hardware, such as non-volatile memory, to high level languages is also included in my research goals. Keywords of my research topic include: garbage collection, memory management, managed runtimes, dynamic languages, optimization, model checking, Java, JavaScript, non-volatile memory, embedded systems.

Topics

Persistent Java Heap Using Non-Volatile Memory

My group is developing a Java virtual machine that can recover data even after a sudden power loss. For example, with this system, data can be held in memory thus improving access speed compared with traditional database systems. We exploit new Non-Volatile Memory (NVM) technologies, which can preserve memory contents without power. We are developing mechanisms for Java, where programmers do not handle memory directly, to automatically manage objects in NVM.

JavaScript VM for Embedded Systems

JavaScript is a widely-used programming language in browsers. This research aims at making JavaScript available on embedded systems and IoT devices, with limited computational resources (CPU power and memory). JavaScript programs are executed on virtual machines called JavaScript engines. Our approach is to specialize the virtual machine to the JavaScript program being run.

Publications

(DBLP)

Masaki Nakata, Shigeyuki Sato, Tomoharu Ugawa
General-purpose Asynchronous Periodic Checkpointing in Hybrid Memory
Proc. 52nd International Conference on Parallel Processing (ICPP 2023)
August 7-9, 2023, Utah, USA. (to apper)
Tetsuro Yamazaki, Tomoki Nakamaru, Ryota Shioya, Tomoharu Ugawa, Shigeru Chiba:
Collecting Cyclic Garbage across Foreign Function Interfaces
Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023)
(to appear)
Wanhong Huang, Stefan Marr, Tomoharu Ugawa
Optimizing the Order of Bytecode Handlers in Interpreters using a Genetic Algorithm
Proc. the 38th ACM/SIGAPP Symposium on Applied Computing (SAC 2023)
ACM, pp. 1384--1393, March, 2023.
doi: https://doi.org/10.1145/3555776.3577712
Ugawa, T., Marr, S., Jones, R. E.
Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems
Proc. Virtual Machines and Language Implementations (VMIL 2022)
ACM, pp. 25--35, December 5, 2022.
doi: https://doi.org/10.1145/3563838.3567678 [slides]
Hirasawa, Y., Iwasaki, H., Ugawa, T., Onozawa, H.
Generating Virtual Machine Code of JavaScript Engine for Embedded Systems
Journal of Information Processing, Vol. 30, pp. 679--693, 2022.
doi: https://doi.org/10.2197/ipsjjip.30.679
Matsumoto, K., Ugawa, T., Iwasaki, H.
Replication-based object persistence by reachability
Proc. International Symposium on Memory Management (ISMM 2022)
ACM, pp. 43--56, June 14, 2022.
doi: https://doi.org/10.1145/3520263.3534653
Onozawa, H., Ugawa, T., Iwasaki, H.
Fusuma: Double-ended Threaded Compaction
Proc. International Symposium on Memory Managemen (ISMM 2021), ACM, pp. 94--106, June, 2021.
June 22, 2021
doi: https://doi.org/10.1145/3459898.3463903
[preprint]
Ugawa, T., Fujimoto, T.
Finding Errors in Registrations of Local Variables Using Coccinelle for Accurate Garbage Collection
Journal of Information Processing, Vol. 28, pp. 169--177, 2020.
DOI: https://doi.org/10.2197/ipsjjip.28.169 [Slides (in Japanese)]
Nonaka, T., Ugawa, T.
Design and Implementation of Superinstructions for JavaScript Virtual Machine Generation System for Embedded Systems eJSTK
Journal of Information Processing, Vol. 27, pp. 658--670, 2019.
DOI:https://doi.org/10.2197/ipsjjip.27.658
Ugawa, T., Iwasaki, H., Kataoka, T.
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), July 19, 2019
[slide]
Matsumoto, K., Ugawa, T.
Visualization of Counterexamples of Memory Model-Aware Model Checking Using SPIN
Journal of Information Processing, Vol. 27, pp. 489--498, 2019.
DOI: https://doi.org/10.2197/ipsjjip.27.489
Ugawa, T., Iwasaki, H., Kataoka, T.
eJSTK: Building JavaScript Virtual Machines With Customized Datatypes for Embedded Systems
Journal of Computer Languages.
Vol. 51, pp. 261--279, Elsevier, April 2019.
DOI: https://doi.org/10.1016/j.cola.2019.01.003
[preprint] [PDF (free download until July 16, 2019) ] [software]
Ugawa, T., Ritson, C. G., Jones, R. E.
Transactional Sapphire: Lessons in High Performance, On-the-fly Garbage Collection
Transactions on Programming Languages and Systems (TOPLAS)
Vol. 40 Issue 4, Article No. 15, December 2018.
doi:10.1145/3226225 [preprint] [software]
Ugawa, T., Iwasaki, H.
Generating a Minimal JavaScript VM Specialized for Target Applications
2018 Virtual Machines and Language Implementations (VMIL 2018), November 6, 2018
[slide] [software]
Kataoka, T., Ugawa, T., Iwasaki, H.
A Framework for Constructing JavaScript Virtual Machines with Customized Datatype Representations
The 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), pp. 1238--1247, ACM, April 9-13, 2018
doi:10.1145/3167132.3167266 [software]
Matsumoto, K., Ugawa, T., Abe,. T
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN
Journal of Information Processing, Vol. 26, pp. 314--326, 2018.
doi:https://doi.org/10.2197/ipsjjip.26.314 [software]
Ugawa, T., Abe, T., Maeda, T.
Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
Proc. OOPSLA 2017, ACM, pp. 53:1 -- 53:26, October 2017.
doi:10.1145/3133877 [slide] [software (see Source Materials)]
Abe, T., Ugawa, T., Maeda, T.
Reordering control approaches to state explosion in model checking with memory consistency models
Proc. of 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'17), LNCS 10712, Springer, pp. 170--190, July 2017. doi:10.1007/978-3-319-72308-2_11
Abe, T., Ugawa, T., Maeda, T., Matsumoto, K.
Reducing state explosion for software model checking with relaxed memory consistency models
Proc. of Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA'16), LNCS 9984, Springer, pp. 118--135, November 2016.
Ugawa, T., Jones, R. E., Ritson, C. G.
Reference Object Processing in On-The-Fly Garbage Collection
Proc. International Symposium on Memory Management (ISMM 2014), ACM, pp. 59--69, June 2014.
doi:10.1145/2602988.2602991 [paper] [slide]
Ritson, C. G., Ugawa, T., Jones, R. E.
Exploring Garbage Collection with Haswell Hardware Transactional Memory
Proc. International Symposium on Memory Management (ISMM 2014), ACM, pp. 105--115, June 2014.
doi:10.1145/2602988.2602992 [paper] [slide]
Morikawa, K., Ugawa, T., Iwasaki, H.
Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector
Proc. of International Symposium on Memory Management (ISMM 2013), ACM, pp. 15--26, June 2013.
doi:10.1145/2555670.2466480

Service

ISORC 2009 PC member
ISMM 2014, 2018, 2022, 2023 PC member
MoreVMs 2020, 2021 PC member, 2023 PC co-chair
MPLR 2023 PC member
APLAS 2020 OC member (remote arrangement chair)
<programming> 2023 organizing chair
ICPC programming contest Asia Japan regionals judge

Services to domestic societies are listed in Japanese version.