Tomoharu Ugawa

According to our database, Tomoharu Ugawa authored at least 23 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Finding Errors in Registrations of Local Variables Using Coccinelle for Accurate Garbage Collection.

Tomoharu Ugawa, Taiki Fujimoto

J. Inf. Process., 2020

2019

eJSTK: Building JavaScript virtual machines with customized datatypes for embedded systems.

Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka

J. Comput. Lang., 2019

Design and Implementation of Superinstructions for JavaScript Virtual Machine Generation System for Embedded Systems eJSTK.

Tomoya Nonaka, Tomoharu Ugawa

J. Inf. Process., 2019

Visualization of Counterexamples of Memory Model-aware Model Checking Using SPIN.

Kosuke Matsumoto, Tomoharu Ugawa

J. Inf. Process., 2019

2018

Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection.

Tomoharu Ugawa, Carl G. Ritson, Richard E. Jones

ACM Trans. Program. Lang. Syst., 2018

Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN.

Kosuke Matsumoto, Tomoharu Ugawa, Tatsuya Abe

J. Inf. Process., 2018

A framework for constructing javascript virtual machines with customized datatype representations.

Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Towards Model Checking Library for Persistent Data Structures.

Hiroyuki Iiboshi, Tomoharu Ugawa

Proceedings of the IEEE 7th Non-Volatile Memory Systems and Applications Symposium, 2018

2017

Model checking copy phases of concurrent copying garbage collection with various memory models.

Tomoharu Ugawa, Tatsuya Abe, Toshiyuki Maeda

Proc. ACM Program. Lang., 2017

Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models.

Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

2016

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.

Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

Design and Implementation of a Java Bytecode Manipulation Library for Clojure.

Seiji Umatani, Tomoharu Ugawa, Masahiro Yasugi

J. Inf. Process., 2015

2014

Reference object processing in on-the-fly garbage collection.

Tomoharu Ugawa, Richard E. Jones, Carl G. Ritson

Proceedings of the International Symposium on Memory Management, 2014

Exploring garbage collection with haswell hardware transactional memory.

Carl G. Ritson, Tomoharu Ugawa, Richard E. Jones

Proceedings of the International Symposium on Memory Management, 2014

2013

A proper performance evaluation system that summarizes code placement effects.

Masahiro Yasugi, Yuki Matsuda, Tomoharu Ugawa

Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2013

Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector.

Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki

Proceedings of the International Symposium on Memory Management, 2013

2011

SAW: Java Synchronization Selection from Lock or Software Transactional Memory.

Yuji Yamada, Hideya Iwasaki, Tomoharu Ugawa

Proceedings of the 17th IEEE International Conference on Parallel and Distributed Systems, 2011

2010

Starvation-free heap size for replication-based incremental compacting garbage collection.

Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa

Proceedings of the International Lisp Conference, 2010

Improved replication-based incremental garbage collection for embedded systems.

Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa

Proceedings of the 9th International Symposium on Memory Management, 2010

2009

Project Report: Toward the Realization of Highly Reliable Embedded Systems.

Takuya Katayama, Tomoji Kishi, Shintaro Hosoai, Tatsuo Nakajima, Taiichi Yuasa, Midori Sugaya, Tomoharu Ugawa

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

2008

Replication-Based Incremental Compaction.

Tomoharu Ugawa, Masahiro Yasugi, Taiichi Yuasa

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2006

Memory usage improvement using runtime alias detection.

Ryo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, Taiichi Yuasa

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

2003

Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations.

Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003