Tomoharu Ugawa

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 23

Top Topics

Embedded Systems

Automated Verification

Virtual Machine

Spatial Locality

Top Venues

J. Inf. Process.

Publications

Akira Inoue, Tomoharu Ugawa, Shigeru Chiba
A Managed Memory System for Micro Controllers with NOR Flash Memory. ISMM (2024)
Takato Hideshima, Shigeyuki Sato, Tomoharu Ugawa
Collective Allocator Abstraction to Control Object Spatial Locality in C++. CoRR (2024)
Takato Hideshima, Shigeyuki Sato, Tomoharu Ugawa
Collective Allocator Abstraction to Control Object Spatial Locality in C++. Art Sci. Eng. Program. 8 (3) (2024)
Masaki Nakata, Shigeyuki Sato, Tomoharu Ugawa
General-purpose Asynchronous Periodic Checkpointing in Hybrid Memory. ICPP (2023)
Tetsuro Yamazaki, Tomoki Nakamaru, Ryota Shioya, Tomoharu Ugawa, Shigeru Chiba
Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake? Proc. ACM Program. Lang. 7 (PLDI) (2023)
Wanhong Huang, Stefan Marr, Tomoharu Ugawa
Optimizing the Order of Bytecode Handlers in Interpreters using a Genetic Algorithm. SAC (2023)
Tomoharu Ugawa, Stefan Marr, Richard E. Jones
Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems. VMIL@SPLASH (2022)
Yuta Hirasawa, Hideya Iwasaki, Tomoharu Ugawa, Hiro Onozawa
Generating Virtual Machine Code of JavaScript Engine for Embedded Systems. J. Inf. Process. 30 (2022)
Kotaro Matsumoto, Tomoharu Ugawa, Hideya Iwasaki
Replication-based object persistence by reachability. ISMM (2022)
Hiro Onozawa, Tomoharu Ugawa, Hideya Iwasaki
Fusuma: double-ended threaded compaction. ISMM (2021)
Tomoharu Ugawa, Taiki Fujimoto
Finding Errors in Registrations of Local Variables Using Coccinelle for Accurate Garbage Collection. J. Inf. Process. 28 (2020)
Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka
Collecting Type Information Using Unit Tests for Customizing JavaScript Virtual Machines. ICOOOLPS@ECOOP (2019)
Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka
eJSTK: Building JavaScript virtual machines with customized datatypes for embedded systems. J. Comput. Lang. 51 (2019)
Kosuke Matsumoto, Tomoharu Ugawa
Visualization of Counterexamples of Memory Model-aware Model Checking Using SPIN. J. Inf. Process. 27 (2019)
Tomoya Nonaka, Tomoharu Ugawa
Design and Implementation of Superinstructions for JavaScript Virtual Machine Generation System for Embedded Systems eJSTK. J. Inf. Process. 27 (2019)
Hiroyuki Iiboshi, Tomoharu Ugawa
Towards Model Checking Library for Persistent Data Structures. NVMSA (2018)
Kosuke Matsumoto, Tomoharu Ugawa, Tatsuya Abe
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN. J. Inf. Process. 26 (2018)
Tomoharu Ugawa, Carl G. Ritson, Richard E. Jones
Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection. ACM Trans. Program. Lang. Syst. 40 (4) (2018)
Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki
A framework for constructing javascript virtual machines with customized datatype representations. SAC (2018)
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models. VSTTE (2017)
Tomoharu Ugawa, Tatsuya Abe, Toshiyuki Maeda
Model checking copy phases of concurrent copying garbage collection with various memory models. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. SETTA (2016)
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. CoRR (2016)
Seiji Umatani, Tomoharu Ugawa, Masahiro Yasugi
Design and Implementation of a Java Bytecode Manipulation Library for Clojure. J. Inf. Process. 23 (5) (2015)
Carl G. Ritson, Tomoharu Ugawa, Richard E. Jones
Exploring garbage collection with haswell hardware transactional memory. ISMM (2014)
Tomoharu Ugawa, Richard E. Jones, Carl G. Ritson
Reference object processing in on-the-fly garbage collection. ISMM (2014)
Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki
Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector. ISMM (2013)
Masahiro Yasugi, Yuki Matsuda, Tomoharu Ugawa
A proper performance evaluation system that summarizes code placement effects. PASTE (2013)
Haruna Nishiwaki, Tomoharu Ugawa, Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa
SEAN: Support Tool for Detecting Rule Violations in JNI Coding. Inf. Media Technol. 7 (4) (2012)
Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
Improvements of Recovery from Marking Stack Overflow in Mark Sweep Garbage Collection. Inf. Media Technol. 7 (2) (2012)
Yuji Yamada, Hideya Iwasaki, Tomoharu Ugawa
SAW: Java Synchronization Selection from Lock or Software Transactional Memory. ICPADS (2011)
Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
Improved replication-based incremental garbage collection for embedded systems. ISMM (2010)
Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa
Starvation-free heap size for replication-based incremental compacting garbage collection. ILC (2010)
Takuya Katayama, Tomoji Kishi, Shintaro Hosoai, Tatsuo Nakajima, Taiichi Yuasa, Midori Sugaya, Tomoharu Ugawa
Project Report: Toward the Realization of Highly Reliable Embedded Systems. ISORC (2009)
Tomoharu Ugawa, Masahiro Yasugi, Taiichi Yuasa
Replication-Based Incremental Compaction. ISORC (2008)
Ryo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, Taiichi Yuasa
Memory usage improvement using runtime alias detection. Trends in Functional Programming (2006)
Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa
Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations. APLAS (2003)