Rchr
J-GLOBAL ID:201801008349213019   Update date: Oct. 16, 2024

TATSUYA ABE

アベ タツヤ | TATSUYA ABE
Affiliation and department:
Job title: Other
Homepage URL  (1): https://abetatsuya.github.io/
Research field  (1): Software
Research keywords  (4): concurrency ,  lambda calculi ,  mathematical logic ,  Programming languages
Research theme for competitive and other funds  (5):
  • 2023 - 2026 時間を扱う論理と並行プログラム論理の合成に関する研究
  • 2016 - 2019 メモリー貫性モデルを考慮したプログラム検証の統一理論の構築とその検査器の実装
  • 2017 - 2017 奨学寄付金
  • 2013 - 2017 PGAS言語のメモリー貫性に関するプログラム検証理論とその実装
  • 2016 - 2017 奨学寄付金
Papers (28):
  • Tatsuya Abe and Daisuke Kimura. A Typed Lambda-Calculus with First-Class Configurations. Journal of Logic and Computation. 2023. 33. 7. 1527-1565
  • Tatsuya Abe and Daisuke Kimura. Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding. Journal of Applied Logics. 2023. 10. 4. 511-530
  • Tatsuya Abe and Tasuku Hiraishi. An Extensionally Equivalence-Ensured Language for Task Parallel Processing with Backtracking-Based Load Balancing. Journal of Information Processing. 2021. 29. 434-448
  • Makoto Hamana, Tatsuya Abe, and Kentaro Kikuchi. Polymorphic computation systems: Theory and practice of confluence with call-by-value. Science of Computer Programming. 2020. 187. 102322
  • Tatsuya Abe. A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language. Proceedings of MPLR. 2019. 50-62
more...
MISC (6):
  • 松元稿如, 鵜川始陽, 安部達也. メモリモデルを考慮したメモリアクセス命令を提供するSPIN用ライブラリ. 第23回ソフトウェア工学の基礎ワークショップ(FOSE)議事録. 2016. 63-72
  • 安部達也, 佐藤三久. 高性能計算における Verification-Oblivious プログラミングのためのディレクティブに基づくソースコード検証. 夏のプログラミング・シンポジウム「プログラミング言語、作る人、使う人」. 2011. 1-6
  • 安部達也, 平石拓, 三宅洋平, 岩下武史, 中島浩. 分散制約充足問題のジョブ並列による求解. 並列/分散/協調処理に関するサマー・ワークショップ. 2011. 1-8
  • 曾川景介, 平石拓, 安部達也, 三宅洋平, 岩下武史, 中島浩. 並列スクリプト言語 Xcrypt によるジョブ分割実行に基づく並列化ツール. 第 27 回日本ソフトウェア科学会全国大会. 2010
  • 平石拓, 安部達也, 三宅洋平, 岩下武史, 中島浩. 柔軟かつ直観的な記述が可能なジョブ並列スクリプト言語 Xcrypt. 第8回先進的計算基盤システムシンポジウム(SACSIS)議事録. 2010. 183-191
more...
Education (3):
  • 2004 - 2007 The University of Tokyo Graduate School of Infomation Science and Technology
  • 2002 - 2004 The University of Tokyo Graduate School of Infomation Science and Technology
  • 1998 - 2002 Kyoto University Faculty of Science
Professional career (3):
  • BSc (Kyoto University)
  • MSc (The University of Tokyo)
  • PhD (The University of Tokyo)
Work history (6):
  • 2015/11 - 現在 Chiba Institute of Technology Other
  • 2013/04 - 2015/10 RIKEN AICS
  • 2011/04 - 2013/03 RIKEN AICS
  • 2009/04 - 2011/03 Kyoto University ACCMS
  • 2008/04 - 2009/03 AIST CVS
Show all
Committee career (16):
  • 2024/04 - 現在 JSSST-SIGPPL Steering Committee
  • 2023/08 - 現在 計算・言語・論理の研究集会御宿 世話人
  • 2023/04 - 現在 Journal of Information Processing in Special Section on Programming Editorial Committee Member in Special Section on Programming
  • 2023/04 - 現在 情報処理学会プログラミング研究会 幹事
  • 2025/03 - 2025/03 The 27th JSSST PPL Workshop Organizing Committee
Show all
Awards (1):
  • 2018/03 - Information Processing Society of Japan Yamashita SIG Research Award Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations
Association Membership(s) (2):
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