Sekiyama Taro

セキヤマタロウ | Sekiyama Taro

Affiliation and department：
Other affiliations (1)：

Research Organization of Information and Systems Office of Strategic Planning Associate Professor

Research field (1)： Software

Research keywords (4)： Formal method , Program verification , Type system , Programming language

Research theme for competitive and other funds (10)：

2024 - 2028 並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術
2024 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
2022 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
2021 - 2026 形式検証とシステムソフトウェアの協働によるゼロトラストIoT
2020 - 2025 Research on software contracts for highly interoperable software modules

Show all

Papers (33)：

Taro Sekiyama, Hiroshi Unno. Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification. Proceedings of the ACM on Programming Languages. 2024. 8. OOPSLA2. 2662-2691
Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proceedings of the ACM on Programming Languages. 2024. 8. PLDI. 1585-1608
TARO SEKIYAMA, TAKESHI TSUKADA, ATSUSHI IGARASHI. Signature restriction for polymorphic algebraic effects. Journal of Functional Programming. 2024. 34
Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi. Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. Proceedings of the ACM on Programming Languages. 2024. 8. POPL. 115-147
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo. Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR. 2024. abs/2407.09775

ｍore...

MISC (21)：

稲葉皓信, 五十嵐淳, 石川裕, 関山太朗. データフローセキュリティの検証のための IoT システムモデリング言語 Rabbit. 第26回プログラミングおよびプログラミング言語ワークショップ. 2024
吉岡拓真, 関山太朗, 五十嵐淳. 代数的エフェクトとハンドラのためのエフェクトシステムの抽象化. 第26回プログラミングおよびプログラミング言語ワークショップ. 2024
中林美郷, 関山太朗, 蓮尾一郎, 石川裕. 攻撃決定図の自動生成によるTamarin Proverの脅威モデリング支援. 暗号と情報セキュリティシンポジウム. 2024
Terunobu Inaba, Taro Sekiyama, Atsushi Igarashi, Yutaka Ishikawa. Rabbit: a modeling language for verifying data-flow security. 2023
佐藤惇, 関山太朗, 五十嵐. 限定継続のための高階プログラム論理. 第25回プログラミングおよびプログラミング言語ワークショップ. 2023

ｍore...

Lectures and oral presentations (13)：

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
(The ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2024)
形式検証によるセキュアな IoTシステムの実現に向けて
(Formal methods and security workshop 2023)
Answer-Refinement Modification: A refinement type system for algebraic effect handlers
(Shonan Meeting No.203 (Effect Handlers and General-Purpose Languages) 2023)
計算効果の推論技術
(PPLサマースクール 2022)
Loop Invariant Synthesis with Machine Learning
(The 24th information-Based Induction Sciences Workshop (Thematic Session 1 : Software Verification and Machine Learning) 2021)

ｍore...

Education (3)：

2012 - 2015 Kyoto University Graduate School of Informatics Department of Communications and Computer Engineering
2010 - 2012 Kyoto University Graduate School of Informatics Department of Information and Computer Sciences
2006 - 2010 Osaka University School of Engineering Science Department of Information and Computer Sciences

Professional career (1)：

Work history (5)：

2024 - 現在 Research Organization of Information and Systems Office of Strategic Planning Associate Professor
2023/04 - 現在 National Institute of Informatics Information Systems Architecture Science Research Division Associate Professor
2018/04 - 2023/03 National Institute of Informatics Information Systems Architecture Science Research Division Assistant Professor
2016/04 - 2018/03 IBM Research - Tokyo Reseacher
2015/10 - 2016/03 Kyoto University Researcher

Committee career (29)：

Show all

Awards (2)：

Association Membership(s) (2)：

JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY , ACM

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page