Faculty Members

ugawa-tomoharu-1.JPG

Associate Professor
UGAWA, Tomoharu

Ph. D., Kyoto University, Japan, 2006

  • Year of birth: 1978
  • Gender: Male
  • Affiliation:
    - School of Information
    - Information Systems Engineering Course, Department of Engineering, Graduate School of Enginering
    - Infomatics Course, Department of Engineering, Graduate School of Enginering
  • Personal web site: http://spa.info.kochi-tech.ac.jp/~ugawa/
Areas of specialization Programming Language, System Software
Laboratory/research office Programming Languages and Systems Laboratory
Software is written in programming languages and executed on runtime systems. Our research topics are in the area of programming languages, runtime systems, and programming tools. Through this research, we aim to create a programming environment where programmers can use intuitive, idiomatic expressions to develop reliable software that runs quickly and/or with low energy consumption.
Current reseach topics
Educational background 2005: Doctor, Kyoto University
2002: Master, Kyoto University
2000: Bachelor, Kyoto University
Professional background 2014-: 
2008-2014: 
2005-2008: 
Licenses
Academic societies

You can see the continuation of the table with a side swipe.

Courses

* Courses provided in English are shown with (E) mark

Undergraduate school
  • Algebra for Information Technology
  • Compiler
  • Laboratory Work on Information Technology 2
  • Project Research 1
  • Project Research 2
  • Project Research 3
  • Guide to the School of Information
  • Seminars on the School of Information
  • Graduation Thesis
Graduate school
  • Theory of Computation
  • Advanced Software Engineering
  • Seminar on Infomatics I
  • Seminar on Infomatics II
  • Individual Work for Graduate

You can see the continuation of the table with a side swipe.

Research activities

Research papers
  1. Authors: Kosuke Matsumoto, Tomoharu Ugawa, Tatsuya Abe
    Title: Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN
    Journal: Journal of Information Processing, Vol. 26, pp. 314-326
    Year: 2018
  2. Authors: Tomoharu Ugawa, Tatsuya Abe, Toshiyuki Maeda
    Title: Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
    Journal: Proceedings of the ACM on Programming Languages archive, Vol. 1, No. OOPSLA, pp. 53:1-53:26, ACM
    Year: 2017
  3. Authors: Seiji Umatani, UGAWA Tomoharu, Masahiro Yasugi
    Title: Design and Implementation of a Java Bytecode Manipulation Library for Clojure
    Journal: Journal of Information Processing, Vol. 23, No. 5, pp. 716-729, Information Processing Society of Japan
    Year: 2015
Awards
  1. First Prize Award (12th Asian Symposium on Programming Languages and Systems (APLAS 2014) poster competition), 12th Asian Symposium on Programming Languages and Systems (APLAS 2014), 2014
Grants-in-Aid for Scientific Research from the Japanese government
  1. Project title: Memory Management for Managed Runtimes in Embedded Systems on Multi-Core and Many-Core Processors
    Category: Grant-in-Aid for Scientific Research (C)
    Project number: 25330080
    Project period: 2013/04-2016/03
    Total budget amount: 4,680,000 yen
    Keywords: 

You can see the continuation of the table with a side swipe.

Social activities

Committee roles
  1. PC member, PPL 2015, 2014-2015
  2. Program Committee, 2014 ACM SIGPLAN International Symposium on Memory Management (ISMM 2014) , 2013-2014

You can see the continuation of the table with a side swipe.