• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

High-Productivity GPU Programming Languages

Research Project

Project/Area Number 18H03219
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Review Section Basic Section 60050:Software-related
Research InstitutionTokyo Institute of Technology

Principal Investigator

増原 英彦  東京工業大学, 情報理工学院, 教授 (40280937)

Project Period (FY) 2018-04-01 – 2023-03-31
Project Status Granted (Fiscal Year 2022)
Budget Amount *help
¥17,160,000 (Direct Cost: ¥13,200,000、Indirect Cost: ¥3,960,000)
Fiscal Year 2022: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2021: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2020: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2019: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2018: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
KeywordsGPGPU / 領域特化言語 / スレッドスケジーリング / Ruby / グラフ処理 / 資源管理 / 入れ子オブジェクト / structure-of-arrays配置 / メタコンパイラフレームワーク / 動的長配列型 / メモリ管理 / JITコンパラ / プログラム合成 / 資源意識
Outline of Annual Research Achievements

本年度の成果は後述する高水準言語に関するもの他に、以下のものがあった。実行時コンパイラを従来よりも柔軟にするコンパイル方式を可能にする提案が国際会議Dynamic Language Symposiumに採択発表された。モジュール化機構に関しては、反応的プログラミングに永続性を取り入れる試みと、文脈指向プログラミングのモジュール性を向上させる言語設計の提案を行いそれぞれ国際ワークショップにて発表した。さらに柔軟かつ安全な制御構造を可能にする代数的エフェクト機構に関して基礎的な貢献を行い、国内ワークショップにて発表した。

GPU上での動的なオブジェクト生成を可能にするDynaSOArに対して、より高度なオブジェクト指向機能を追加した。具体的には入れ子になったオブジェクトをstructure-of-arrays配置へ変換する機構である。この成果は日本ソフトウェア科学会プログラミングとプログラミング言語研究会で発表したほか、PLDI国際会議に併設されてARRAY 2021ワークショップでの発表も予定している。また、これまでの一連の研究成果をAsian Symposium on Programming Languages and Systems (APLAS 2002)における基調講演として発表した。

GPU向け高水準言語LIFTを拡張し、より多くのプログラムが記述可能となるようにした。LIFT言語の型システムは配列長が静的に固定される制限を課していた。この型システムを存在型を用いて拡張し、配列長に関する安全性を保ったままより広範囲のプログラムが書けることを示し、実際にコンパイラを試作してその有効性を確認した。この成果は情報処理学会論文誌論文として採録され、筆頭著者の学生が情報処理学会コンピュータサイエンス領域奨励賞を受賞した。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

LIFT言語の拡張に関しては計画以上に良い成果を挙げることができた。また、国際会議における基調講演に招待されるなど、本研究の成果が広く認知されていることもまた計画以上のものである。一方でオブジェクト機構に関する取り組みに関しては順調に進んではいるものの、研究課題も多く残っている。

Strategy for Future Research Activity

当初の研究計画に従って研究を進めてゆく。国内外の会議出張が行えなくなっているため、他組織の研究者との議論をする機会が減ってしまっている。研究発表の機会を増やすことでカバーすることを考えたい。またRAを雇用し、実験を加速させることも検討する。

Report

(3 results)
  • 2020 Annual Research Report
  • 2019 Annual Research Report
  • 2018 Annual Research Report

Research Products

(42 results)

All 2021 2020 2019 2018 Other

All Int'l Joint Research (4 results) Journal Article (15 results) (of which Int'l Joint Research: 4 results,  Peer Reviewed: 15 results) Presentation (20 results) (of which Int'l Joint Research: 3 results,  Invited: 2 results) Remarks (3 results)

  • [Int'l Joint Research] Catholic University of the North(チリ)

    • Related Report
      2020 Annual Research Report
  • [Int'l Joint Research] SUNY Binghamton/City University of New York(米国)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] University of Potsdam(ドイツ)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] KTH Royal Institute of Technology(スウェーデン)

    • Related Report
      2018 Annual Research Report
  • [Journal Article] Amalgamating different JIT compilations in a meta-tracing JIT compiler framework2020

    • Author(s)
      Izawa Yusuke、Masuhara Hidehiko
    • Journal Title

      Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Language (DLS'20)

      Volume: - Pages: 1-15

    • DOI

      10.1145/3426422.3426977

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Interfaces for Modular Reasoning in Context-Oriented Programming2020

    • Author(s)
      Leger Paul、Masuhara Hidehiko、Figueroa Ismael
    • Journal Title

      Proceedings of the 12th International Workshop on Context-Oriented Programming and Advanced Modularity (COP 2020),

      Volume: . Pages: 1-7

    • DOI

      10.1145/3422584.3423152

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Lift中間言語における動的長配列の追加.2020

    • Author(s)
      新美和生, 増原英彦.
    • Journal Title

      情報処理学会論文誌:プログラミング

      Volume: 13(3) Pages: 1-12

    • NAID

      170000182021

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Extending a meta-tracing compiler to mix method and tracing compilation2019

    • Author(s)
      Izawa Yusuke、Masuhara Hidehiko、Aotani Tomoyuki
    • Journal Title

      Proceedings of the Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs'19) in Proceedings of the Conference Companion of the 3rd International Conference on Programming,

      Volume: .

    • DOI

      10.1145/3328433.3328439

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A shell-like model for general purpose programming2019

    • Author(s)
      Adkisson Jeanine Miller、Westlund Johannes、Masuhara Hidehiko
    • Journal Title

      Proceedings of the Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs'19) in Proceedings of the Conference Companion of the 3rd International Conference on Programming,

      Volume: .

    • DOI

      10.1145/3328433.3328444

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Massively parallel GPU memory compaction2019

    • Author(s)
      Matthias Springer, Hidehiko Masuhara
    • Journal Title

      Proceedings of the ACM SIGPLAN International Symposium on Memory Management (ISMM 2019),

      Volume: - Pages: 14-26

    • DOI

      10.1145/3315573.3329979

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] DynaSOAr: A parallel memory allocator for object-oriented programming on GPUs with efficient memory access.2019

    • Author(s)
      Matthias Springer and Hidehiko Masuhara.
    • Journal Title

      Leibniz International Proceedings in Informatics (LIPICS),

      Volume: 134

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Extending a meta-tracing compiler to mix method and tracing compilation2019

    • Author(s)
      Yusuke Izawa, Hidehiko Masuhara, Tomoyuki Aotani
    • Journal Title

      Proceedings of the Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs'19)

      Volume: -

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A shell-like model for general purpose programming2019

    • Author(s)
      Jeanine Miller Adkisson, Johannes Westlund, Hidehiko Masuhara
    • Journal Title

      Proceedings of the Workshop on Modern Language Runtimes, Ecosystems, and VMs: Track on Programming Across the System Stack (MoreVMs/PASS'19)

      Volume: -

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Massively parallel GPU memory compaction2019

    • Author(s)
      Matthias Springer and Hidehiko Masuhara
    • Journal Title

      Proceedings of the ACM SIGPLAN International Symposium on Memory Management (ISMM' 19)

      Volume: -

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] DynaSOAr: A parallel memory allocator for object-oriented programming on GPUs with efficient memory access2019

    • Author(s)
      Matthias Springer and Hidehiko Masuhara
    • Journal Title

      Proceedings of of European Conference on Object-Oriented Programming (ECOOP'19)

      Volume: -

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Inner array inlining for structure of arrays layout2018

    • Author(s)
      Matthias Springer, Yaozhu Sun, Hidehiko Masuhara
    • Journal Title

      5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming

      Volume: - Pages: 50-58

    • DOI

      10.1145/3219753.3219760

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] A Context-Oriented Programming Approach to Dependency Hell2018

    • Author(s)
      Tanabe Yudai、Aotani Tomoyuki、Masuhara Hidehiko
    • Journal Title

      Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition, COP '18

      Volume: 1 Pages: 14-8

    • DOI

      10.1145/3242921.3242923

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Live, synchronized, and mental map preserving visualization for data structure programming2018

    • Author(s)
      Akio Oka, Hidehiko Masuhara, Tomoyuki Aotani
    • Journal Title

      Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2018

      Volume: - Pages: 72-87

    • DOI

      10.1145/3276954.3276962

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Stochastic energy optimization for mobile GPS applications2018

    • Author(s)
      Anthony Canino, Yu David Liu, Hidehiko Masuhara
    • Journal Title

      Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2018

      Volume: - Pages: 703-713

    • DOI

      10.1145/3236024.3236076

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Presentation] An interpreter design for supporting different JIT compilations in RPython framework.2021

    • Author(s)
      Yusuke Izawa, Hidehiko Masuhara, and Youyou Cong.
    • Organizer
      The 23rd JSSST Workshop on Programming and Programming Languages,
    • Related Report
      2020 Annual Research Report
  • [Presentation] Koka言語に対するエフェクト割り当て最適化.2021

    • Author(s)
      Naoya Furudono, Youyou Cong, and Hidehiko Masuhara.
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ(PPL2021),
    • Related Report
      2020 Annual Research Report
  • [Presentation] 代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明.2021

    • Author(s)
      Kazuki Ikemori, Youyou Cong and Hidehiko Masuhara.
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ(PPL2021),
    • Related Report
      2020 Annual Research Report
  • [Presentation] Effekt言語の双方向エフェクトによる拡張.2021

    • Author(s)
      Kazuki Niimi, Youyou Cong, and Hidehiko Masuhara.
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ(PPL2021),
    • Related Report
      2020 Annual Research Report
  • [Presentation] Object support for GPU programming: Why and how. (Keynote Talk)2020

    • Author(s)
      Hidehiko Masuhara.
    • Organizer
      the 18th Asian Symposium on Programming Languages and Systems (APLAS 2020)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Managing persistent signals using signal classes.2020

    • Author(s)
      Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara.
    • Organizer
      the 7th Workshop on Reactive and Event-based Languages and Systems (REBLS 2020).
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Making different JIT compilations dancing to the same tune, acting in the meta-level.2020

    • Author(s)
      Yusuke Izawa and Hidehiko Masuhara.
    • Organizer
      The 22nd JSSST Workshop on Programming and Programming Languages,
    • Related Report
      2019 Annual Research Report
  • [Presentation] Object-oriented programming with versions.2020

    • Author(s)
      Lubis Luthfan Anshar, Yudai Tanabe, Tomoyuki Aotani, and Hidehiko Masuhara.
    • Organizer
      The 22nd JSSST Workshop on Programming and Programming Languages,
    • Related Report
      2019 Annual Research Report
  • [Presentation] Sanajeh: a DSL for GPGPU programming with Python objects.2020

    • Author(s)
      Jizhe Chenxin, Hidehiko Masuhara, and Matthias Springer.
    • Organizer
      The 22nd JSSST Workshop on Programming and Programming Languages,
    • Related Report
      2019 Annual Research Report
  • [Presentation] Lift中間言語における動的長配列の追加.2020

    • Author(s)
      新美和生, 増原英彦.
    • Organizer
      情報処理学会第127回プログラミング研究会2019-4-(8),
    • Related Report
      2019 Annual Research Report
  • [Presentation] コエフェクト多相性に基づいた版多相性の実現.2020

    • Author(s)
      田辺裕大, Lubis Luthfan Anshar, 青谷知幸, 増原英彦.
    • Organizer
      第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020),
    • Related Report
      2019 Annual Research Report
  • [Presentation] On defining recursive functions in live data structure programming2019

    • Author(s)
      Akio Oka, Hidehiko Masuhara, Tomoyuki Aotani
    • Organizer
      日本ソフトウェア科学会プログラミング論研究会
    • Related Report
      2018 Annual Research Report
  • [Presentation] Programming experiences with a live programming environment for data structures2019

    • Author(s)
      Hidehiko Masuhara, Akio Oka, Tomoki Ogushi
    • Organizer
      International Conference on the Art, Science, and Engineering of Programming (<Programming>'19)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A shell-like model for general purpose programming2019

    • Author(s)
      Jeanine Miller Adkisson, Johannes Westlund, Hidehiko Masuhara
    • Organizer
      情報処理学会第122回プログラミング研究会
    • Related Report
      2018 Annual Research Report
  • [Presentation] プロファイル型プログラム合成によるGPGPUプログラムの半自動最適化2019

    • Author(s)
      蟹暁, 増原英彦, 青谷知幸
    • Organizer
      日本ソフトウェア科学会プログラミング論研究会
    • Related Report
      2018 Annual Research Report
  • [Presentation] バージョン付きモジュールシステムの提案2019

    • Author(s)
      田辺裕大, 青谷知幸, 増原英彦
    • Organizer
      日本ソフトウェア科学会プログラミング論研究会
    • Related Report
      2018 Annual Research Report
  • [Presentation] コエフェクト計算に基づく量化型の再形式化2019

    • Author(s)
      田辺裕大, Lubis Luthfan Anshar, 青谷知幸, 増原英彦
    • Organizer
      情報処理学会第124回プログラミング研究会
    • Related Report
      2018 Annual Research Report
  • [Presentation] Narratives for multi-party mechanisms and concerns2018

    • Author(s)
      Robert Hirschfeld, Tobias Durschmid, Patrick Rein, Marcel Taeumel, Hidehiko Masuhara
    • Organizer
      日本ソフトウェア科学会大会
    • Related Report
      2018 Annual Research Report
  • [Presentation] GPGPUプログラム最適化のためのプログラム合成器とその適用手法2018

    • Author(s)
      蟹暁, 朝倉泉, 増原英彦, 青谷知幸
    • Organizer
      The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018)
    • Related Report
      2018 Annual Research Report
  • [Presentation] Automated refactoring of legacy Java software to default methods2018

    • Author(s)
      Raffi Khatchadourian, 増原英彦
    • Organizer
      第17回情報科学技術フォーラム
    • Related Report
      2018 Annual Research Report
    • Invited
  • [Remarks] DynaSOAr: A CUDA Framework for SMMO Applications

    • URL

      https://github.com/prg-titech/dynasoar

    • Related Report
      2018 Annual Research Report
  • [Remarks] KaniCUDA

    • URL

      https://github.com/prg-titech/Kani-CUDA

    • Related Report
      2018 Annual Research Report
  • [Remarks] BacCaml: The Meta-Hybrid Just-In-Time Compiler

    • URL

      https://github.com/prg-titech/baccaml

    • Related Report
      2018 Annual Research Report

URL: 

Published: 2018-04-23   Modified: 2022-07-01  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi