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

Maeda Toshiyuki  前田 俊行

ORCIDConnect your ORCID iD *help
Researcher Number 50436557
Affiliation (Current) 2025: 千葉工業大学, 人工知能・ソフトウェア技術研究センター, 副所長
Affiliation (based on the past Project Information) *help 2015: 国立研究開発法人理化学研究所, 計算科学研究機構, チームリーダー
2013 – 2014: 独立行政法人理化学研究所, 計算科学研究機構, チームリーダー
Review Section/Research Field
Principal Investigator
Software
Keywords
Principal Investigator
プログラミング言語 / プログラム検証 / 型システム / メモリ一貫性モデル
  • Research Projects

    (1 results)
  • Research Products

    (5 results)
  •  Study on a simple and flexible type system for relaxed memory consistency modelsPrincipal Investigator

    • Principal Investigator
      Maeda Toshiyuki
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      Institute of Physical and Chemical Research

All 2016 2015 2014 2013 Other

All Journal Article Presentation

  • [Journal Article] A General Model Checking Framework for Various Memory Consistency Models2016

    • Author(s)
      Tatsuya Abe and Toshiyuki Maeda
    • Journal Title

      International Journal on Software Tools for Technology Transfer

      Volume: TBD

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25730050
  • [Presentation] Towards a Unified Verification Theory for Various Memory Consistency Models2015

    • Author(s)
      Tatsuya Abe and Toshiyuki Maeda
    • Organizer
      6th Workshop on Syntax and Semantics of Low-Level Languages
    • Place of Presentation
      Kyoto, Japan
    • Year and Date
      2015-07-05
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25730050
  • [Presentation] A general model checking framework for various memory consistency models2014

    • Author(s)
      Tatsuya Abe and Toshiyuki Maeda
    • Organizer
      19th International Workshop on High-Level Parallel Programming Models and Supportive Environments
    • Place of Presentation
      Phoenix, Arizona, USA
    • Year and Date
      2014-05-09
    • Data Source
      KAKENHI-PROJECT-25730050
  • [Presentation] Model Checking with User-Definable Memory Consistency Models2013

    • Author(s)
      Tatsuya Abe and Toshiyuki Maeda
    • Organizer
      7th International Conference on PGAS Programming Models
    • Place of Presentation
      Edinburgh, Scotland, UK
    • Data Source
      KAKENHI-PROJECT-25730050
  • [Presentation] Optimization of a general model checking framework for various memory consistency models

    • Author(s)
      Tatsuya Abe and Toshiyuki Maeda
    • Organizer
      8th International Conference on Partitioned Global Address Space Programming Models
    • Place of Presentation
      Eugene, Oregon, USA
    • Year and Date
      2014-10-07 – 2014-10-10
    • Data Source
      KAKENHI-PROJECT-25730050

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi