Rchr
J-GLOBAL ID:200901001934421439   Update date: Jan. 17, 2020

UGAWA Tomoharu

ウガワ トモハル | UGAWA Tomoharu
Affiliation and department:
Job title: Associate Professor
Homepage URL  (1): http://spa.info.kochi-tech.ac.jp/~ugawa/
Research field  (1): Software
Research keywords  (8): model checking ,  memory model ,  garbage collection ,  programming language ,  Programming Language System ,  Virtual Machine ,  System Software ,  Embedded System
Research theme for competitive and other funds  (3):
  • 2019 - 2022 Persistent Managed Heap on Non-Volatile Memory
  • 2019 - 2020 Application-Specialised Memory Management for Embedded Systems
  • 2008 - 2009 Real-Time Memory Management Methods for Embedded Systems
Papers (23):
  • Tomoya Nonaka, Ugawa Tomoharu. Design and Implementation of Superinstructions for JavaScript Virtual Machine Generation System for Embedded Systems eJSTK. Journal of Information Processing. 2019. 27. 658-670
  • Kosuke Matsumoto, Tomoharu Ugawa. Visualization of Counterexamples of Memory Model-Aware Model Checking Using SPIN. Journal of Information Processing. 2019. 27. 489-498
  • Tomoharu Ugawa, Hideya Iwasaki, Takafumi Kataoka. eJSTK: Building JavaScript Virtual Machines With Customized Datatypes for Embedded Systems. Journal of Computer Languages. 2019. 51. 261-279
  • Tomoharu Ugawa, Carl G. Ritson, Richard E. Jones. Transactional Sapphire: Lessons in High Performance, On-the-fly Garbage Collection. Transactions on Programming Languages and Systems (TOPLAS). 2018. 40. 4. Article No. 15
  • Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki. A Framework for Constructing JavaScript Virtual Machines with Customized Datatype Representations. Proc. 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018). 2018. 1238-1247
more...
MISC (1):
  • UGAWA Tomoharu. Model Checking Transactional Sapphire. 2018
Lectures and oral presentations  (14):
  • Removing Unnecessary Escape Barriers for Continuations
    (The Second ASIAN Symposium on Programming Languages and Systems (APLAS '04) 2004)
  • 複製に基づくインクリメンタルコンパクションを用いたガベージコレクタ
    (日本ソフトウェア科学会 2009)
  • Detecting Bugs in Android Using a Static Escape Analyzer SEAN for Native Code
    (The 10th Asian Symposium on Programming Languages and Systems (APLAS 2012) 2012)
  • A Source Code Checker Using Declarative Patterns to Represent Rule Violations
    (Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016) 2016)
  • Generating Type-Based Dispatching Code for Intermediate Language Interpreter of Dynamic Typed Languages
    (15th Asian Symposium on Programming Languages and Systems (APLAS 2017) 2017)
more...
Education (1):
  • - 2005 Kyoto University Graduate School, Division of Information and Communication Department of Communications and Computer Engineering
Professional career (1):
  • Informatics (Kyoto University)
Work history (3):
  • 2005 - 2008 Graduate School of Informatics, Kyoto University special-appointment assistant professor
  • 2008/04 - 2014/03 The University of Electro-Communications Graduate School of Informatics and Engineering, Faculty of Informatics and Engineering Department of Communication Engineering and Informatics Assistant Professor
  • 2014/04 - 現在 Kochi University of Technology associate professor
Committee career (4):
  • 2019/11 - 2020/03 Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs 2020) Program Committee Member
  • 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 (1):
  • 2014/12 - APLAS2014 First Prize Award An Implementation of On-The-Fly Copying Garbage Collection on Jikes RVM
Association Membership(s) (3):
ACM ,  Japan Society for Software Science and Technology ,  Information Processing Society of Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page