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
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
2007/10 - 2008/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
2024/03 - 2024/03 The 26th JSSST PPL Workshop Program Co-chair
2023/03 - 2023/03 The 25th JSSST PPL Workshop Program Committee
2018/04 - 2022/03 並列/分散/協調処理に関するサマー・ワークショップ 実行委員
2018/04 - 2022/03 Journal of Information Processing in Special Section on Programming Editorial Committee Member in Special Section on Programming
2018/04 - 2022/03 情報処理学会プログラミング研究会 運営委員
2020/03 - 2020/03 The 22nd JSSST PPL Workshop Program Committee
2019/03 - 2019/03 The 21st JSSST PPL Workshop Organizing Committee
2018/03 - 2018/03 The 20th JSSST PPL Workshop Organizing Committee
2017/08 - 2017/08 第34回記号論理学と情報科学 幹事
2016/03 - 2016/03 理論計算機科学と圏論ワークショップ2016 幹事
2016/03 - 2016/03 The 18th JSSST PPL Workshop Program 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