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)

Yilin Zhang, Omkar Dilip Dhawal, V Krishna Nandivada, Shigeru Chiba, Tomoharu Ugawa
Reducing Write Barrier Overheads for Orthogonal Persistence
Proc. ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024)
ACM, pp. 210--223, October 21-22, 2024, Pasadena, USA.
doi: https://doi.org/10.1145/3687997.3695646 [slides presented by Omkar] [artifact]
Akira Inoue, Tomoharu Ugawa, Shigeru Chiba
A Managed Memory System for Micro Controllers with NOR Flash Memory
Proc. ACM SIGPLAN International Symposium on Memory Management (ISMM 2024)
Pages 57 - 67, Copenhagen Denmark, 25 June, 2024
doi: https://doi.org/10.1145/3652024.3665511
Takato Hideshima, Shigeyuki Sato, Tomoharu Ugawa
Collective Allocator Abstraction to Control Object Spatial Locality in C++
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 3, Article 15
doi: https://doi.org/10.22152/programming-journal.org/2024/8/15
Masaki Nakata, Shigeyuki Sato, Tomoharu Ugawa
General-purpose Asynchronous Periodic Checkpointing in Hybrid Memory
Proc. 52nd International Conference on Parallel Processing (ICPP 2023)
pp. 675 -- 684, August 7-9, 2023, Utah, USA.
doi: https://doi.org/10.1145/3605573.3605648
Tetsuro Yamazaki, Tomoki Nakamaru, Ryota Shioya, Tomoharu Ugawa, Shigeru Chiba:
Collecting Cyclic Garbage across Foreign Function Interfaces
Proceedings of the ACM on Programming Languages, Volume 7, Issue PLDI (PLDI 2023), Article No.: 130, pp. 591 -- 614
doi: https://doi.org/10.1145/3591244
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
APLAS 2020 OC member (remote arrangement chair)
<programming> 2023 organizing chair, 2025 PC member
MPLR 2023, 2024 PC member, 2025 PC chair
ICOOOLPS 2023 PC member
APRIS 2023, 2024 PC member
VMIL 2024 PC member
ICPC programming contest Asia Japan regionals judge 2005-ish - present (chief 2021, 2022, 2023)

Services to domestic societies are listed in Japanese version.