UGAWA Tomoharu

J-GLOBAL         Last updated: Jun 18, 2019 at 23:55
 
Avatar
Name
UGAWA Tomoharu
URL
http://spa.info.kochi-tech.ac.jp/~ugawa/
Affiliation
Kochi University of Technology
Job title
Associate Professor
Degree
Informatics(Kyoto University)
ORCID ID
0000-0002-3849-8639

Research Areas

 
 

Academic & Professional Experience

 
Apr 2014
 - 
Today
associate professor, Kochi University of Technology
 
Apr 2008
 - 
Mar 2014
Assistant Professor, The University of Electro-Communications Graduate School of Informatics and Engineering, Faculty of Informatics and Engineering Department of Communication Engineering and Informatics
 
2005
 - 
2008
 Graduate School of Informatics, Kyoto University special-appointment assistant professor
 

Education

 
 
 - 
2005
Department of Communications and Computer Engineering, Graduate School, Division of Information and Communication, Kyoto University
 

Committee Memberships

 
2017
 - 
2018
International Symposium on Memory Management (ISMM 2018)  Program Committee Member
 
2013
 - 
2014
International Symposium on Memory Management (ISMM 2014)  Program Committee Member
 
2008
 - 
2009
International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2009)  Program Committee Member
 

Awards & Honors

 
Dec 2014
An Implementation of On-The-Fly Copying Garbage Collection on Jikes RVM, First Prize Award, APLAS2014
Winner: Tomoharu Ugawa, Richard E. Jones, Carl G. Ritson
 

Published Papers

 
Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka
Journal of Computer Languages   51 261-279   Apr 2019   [Refereed]
Tomoharu Ugawa, Carl G. Ritson, Richard E. Jones
Transactions on Programming Languages and Systems (TOPLAS)   40(4) Article No. 15   Dec 2018   [Refereed]
A Framework for Constructing JavaScript Virtual Machines with Customized Datatype Representations
Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki
Proc. 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018)   1238-1247   Apr 2018   [Refereed]
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN
Kosuke Matsumoto, Tomoharu Ugawa, Tatsuya Abe
Journal of Information Processing   26 314-326   Mar 2018   [Refereed]
Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
Tomoharu Ugawa, Tatsuya Abe, Toshiyuki Maeda
Proceedings of the ACM on Programming Languages   1(OOPSLA) 53:1-53:26   Oct 2017   [Refereed]

Misc

 

Conference Activities & Talks

 
Model Checking of a Persistent Concurrent Queue
Hiroyuki Iiboshi, Tomoharu Ugawa
Asian Symposium on Programming Languages and Systems (APLAS 2018)   3 Dec 2018   
Generating a Minimal JavaScript VM Specialized for Target Applications
Tomoharu Ugawa, Hideya Iwasaki
2018 Virtual Machines and Language Implementations (VMIL 2018)   6 Nov 2018   
Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models [Invited]
UGAWA Tomoharu
30 Aug 2018   
Towards Model Checking Library for Persistent Data Structures
Hiroyuki Iiboshi, Tomoharu Ugawa
The 7th IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA 2018)   28 Aug 2018   
Generating Type-Based Dispatching Code for Intermediate Language Interpreter of Dynamic Typed Languages
Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki
15th Asian Symposium on Programming Languages and Systems (APLAS 2017)   28 Nov 2017   

Research Grants & Projects

 
Persistent Managed Heap on Non-Volatile Memory
Project Year: 2019 - 2022    Investigator(s): UGAWA Tomoharu
Application-Specialised Memory Management for Embedded Systems
Project Year: 2019 - 2020    Investigator(s): UGAWA Tomoharu
Real-Time Memory Management Methods for Embedded Systems
Project Year: 2008 - 2009