Tomoharu Ugawa

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Finding Errors in Registrations of Local Variables Using Coccinelle for Accurate Garbage Collection.
J. Inf. Process., 2020

eJSTK: Building JavaScript virtual machines with customized datatypes for embedded systems.
J. Comput. Lang., 2019

Design and Implementation of Superinstructions for JavaScript Virtual Machine Generation System for Embedded Systems eJSTK.
J. Inf. Process., 2019

Visualization of Counterexamples of Memory Model-aware Model Checking Using SPIN.
J. Inf. Process., 2019

Transactional Sapphire: Lessons in High-Performance, On-the-fly Garbage Collection.
ACM Trans. Program. Lang. Syst., 2018

Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN.
J. Inf. Process., 2018

A framework for constructing javascript virtual machines with customized datatype representations.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Towards Model Checking Library for Persistent Data Structures.
Proceedings of the IEEE 7th Non-Volatile Memory Systems and Applications Symposium, 2018

Model checking copy phases of concurrent copying garbage collection with various memory models.
Proc. ACM Program. Lang., 2017

Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Design and Implementation of a Java Bytecode Manipulation Library for Clojure.
J. Inf. Process., 2015

Reference object processing in on-the-fly garbage collection.
Proceedings of the International Symposium on Memory Management, 2014

Exploring garbage collection with haswell hardware transactional memory.
Proceedings of the International Symposium on Memory Management, 2014

A proper performance evaluation system that summarizes code placement effects.
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.
Proceedings of the International Symposium on Memory Management, 2013

SAW: Java Synchronization Selection from Lock or Software Transactional Memory.
Proceedings of the 17th IEEE International Conference on Parallel and Distributed Systems, 2011

Starvation-free heap size for replication-based incremental compacting garbage collection.
Proceedings of the International Lisp Conference, 2010

Improved replication-based incremental garbage collection for embedded systems.
Proceedings of the 9th International Symposium on Memory Management, 2010

Project Report: Toward the Realization of Highly Reliable Embedded Systems.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

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

Memory usage improvement using runtime alias detection.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003