Sekiyama Taro

セキヤマタロウ | Sekiyama Taro

Affiliation and department：

Research field (1)： Software

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

Research theme for competitive and other funds (8)：

2022 - 2027 機械学習技術による高速な演繹的推論エンジンの開発
2021 - 2026 形式検証とシステムソフトウェアの協働によるゼロトラストIoT
2022 - 2025 Type systems for verification of temporal and state-dependent properties in the presence of various computational effects
2020 - 2025 Program Verification Techniques for the AI Era
2020 - 2025 Research on software contracts for highly interoperable software modules

Show all

Papers (27)：

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
Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama. Automated Security Analysis for Real-World IoT Devices. HASP@MICRO. 2023. 29-37
Taro Sekiyama, Hiroshi Unno 0001. Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations. Proc. ACM Program. Lang. 2023. 7. POPL. 2079-2110
Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno. Toward Neural-Network-Guided Program Synthesis and Verification. 28th International Static Analysis Symposium (SAS'21). 2021. 236-260
Taro Sekiyama, Takeshi Tsukada. CPS transformation with affine types for call-by-value implicit polymorphism. Proc. ACM Program. Lang. 2021. 5. ICFP. 1-30

ｍore...

MISC (19)：

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

ｍore...

Lectures and oral presentations (12)：

形式検証によるセキュアな 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)
CPS Transformation with Affine Types for Implicit Polymorphism
(Dagstuhl Seminar 20312, Scalable Handling of Effects 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 (4)：

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 (25)：

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