
Tomoharu Ugawa
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j8]Tomoharu Ugawa, Taiki Fujimoto:
Finding Errors in Registrations of Local Variables Using Coccinelle for Accurate Garbage Collection. J. Inf. Process. 28: 169-177 (2020)
2010 – 2019
- 2019
- [j7]Kosuke Matsumoto, Tomoharu Ugawa:
Visualization of Counterexamples of Memory Model-aware Model Checking Using SPIN. J. Inf. Process. 27: 489-498 (2019) - [j6]Tomoya Nonaka, Tomoharu Ugawa:
Design and Implementation of Superinstructions for JavaScript Virtual Machine Generation System for Embedded Systems eJSTK. J. Inf. Process. 27: 658-670 (2019) - [j5]Tomoharu Ugawa
, Hideya Iwasaki, Takafumi Kataoka:
eJSTK: Building JavaScript virtual machines with customized datatypes for embedded systems. J. Comput. Lang. 51: 261-279 (2019) - 2018
- [j4]Kosuke Matsumoto, Tomoharu Ugawa, Tatsuya Abe
:
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN. J. Inf. Process. 26: 314-326 (2018) - [j3]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): 15:1-15:56 (2018) - [c15]Hiroyuki Iiboshi, Tomoharu Ugawa:
Towards Model Checking Library for Persistent Data Structures. NVMSA 2018: 119-120 - [c14]Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki
:
A framework for constructing javascript virtual machines with customized datatype representations. SAC 2018: 1238-1247 - 2017
- [j2]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): 53:1-53:26 (2017) - [c13]Tatsuya Abe
, Tomoharu Ugawa, Toshiyuki Maeda:
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models. VSTTE 2017: 170-190 - 2016
- [c12]Tatsuya Abe
, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto:
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. SETTA 2016: 118-135 - [i1]Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto:
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models. CoRR abs/1608.05893 (2016) - 2015
- [j1]Seiji Umatani, Tomoharu Ugawa, Masahiro Yasugi:
Design and Implementation of a Java Bytecode Manipulation Library for Clojure. J. Inf. Process. 23(5): 716-729 (2015) - 2014
- [c11]Tomoharu Ugawa, Richard E. Jones
, Carl G. Ritson:
Reference object processing in on-the-fly garbage collection. ISMM 2014: 59-69 - [c10]Carl G. Ritson, Tomoharu Ugawa, Richard E. Jones
:
Exploring garbage collection with haswell hardware transactional memory. ISMM 2014: 105-115 - 2013
- [c9]Kazuya Morikawa, Tomoharu Ugawa, Hideya Iwasaki:
Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector. ISMM 2013: 15-26 - [c8]Masahiro Yasugi, Yuki Matsuda, Tomoharu Ugawa:
A proper performance evaluation system that summarizes code placement effects. PASTE 2013: 41-48 - 2011
- [c7]Yuji Yamada, Hideya Iwasaki
, Tomoharu Ugawa:
SAW: Java Synchronization Selection from Lock or Software Transactional Memory. ICPADS 2011: 104-111 - 2010
- [c6]Tomoharu Ugawa, Hideya Iwasaki
, Taiichi Yuasa:
Improved replication-based incremental garbage collection for embedded systems. ISMM 2010: 73-82 - [c5]Tomoharu Ugawa, Hideya Iwasaki
, Taiichi Yuasa:
Starvation-free heap size for replication-based incremental compacting garbage collection. ILC 2010: 43-52
2000 – 2009
- 2009
- [c4]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: 105-111 - 2008
- [c3]Tomoharu Ugawa, Masahiro Yasugi, Taiichi Yuasa:
Replication-Based Incremental Compaction. ISORC 2008: 516-524 - 2006
- [c2]Ryo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, Taiichi Yuasa:
Memory usage improvement using runtime alias detection. Trends in Functional Programming 2006: 129-144 - 2003
- [c1]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: 410-426
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-02-18 23:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint