Taro Sekiyama

Profile Information

Affiliation: National Institute of Informatics
: (Concurrent)Associate Professor, Office of Strategic Planning

Degree: Ph.D.(Kyoto University)

Contact information: sekiyamanii.ac.jp
J-GLOBAL ID: 201801009008348036
researchmap Member ID: B000290027

Research Interests

Research Areas

Informatics / Software /

Research History

2024 - Present

Associate Professor, Office of Strategic Planning, Research Organization of Information and Systems
Apr, 2023 - Present

Associate Professor, Information Systems Architecture Science Research Division, National Institute of Informatics
Apr, 2018 - Mar, 2023

Assistant Professor, Information Systems Architecture Science Research Division, National Institute of Informatics
Apr, 2016 - Mar, 2018

Reseacher, IBM Research - Tokyo
Oct, 2015 - Mar, 2016

Researcher, Kyoto University

Education

Oct, 2012 - Sep, 2015

Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University
Apr, 2010 - Sep, 2012

Department of Information and Computer Sciences, Graduate School of Informatics, Kyoto University
Apr, 2006 - Mar, 2010

Department of Information and Computer Sciences, School of Engineering Science, Osaka University

Committee Memberships

Oct, 2024 - Present

Program Committee Member, PLDI 2025
Aug, 2024 - Present

Program Committee Member, ICLR 2025
May, 2024 - Dec, 2024

Reviewer, NeurIPS 2024
Feb, 2024 - Oct, 2024

Program Committee Member, APLAS 2024
Feb, 2024 - Oct, 2024

Program Committee Member, APLAS 2024 SRC & Posters
Mar, 2024 - Sep, 2024

Program Committee Member, Scheme and Functional Programming Workshop
Sep, 2023 - May, 2024

Reviewer, ICLR 2024
2023 - 2023

Program Committee Member, APLAS 2023 SRC & Posters
2023 - 2023

Reviewer, NeurIPS 2023
2023 - 2023

Reviewer, ICML 2023
2022 - 2023

Program Committee Member, PPL 2023
2022 - 2023

Program Committee Member, POPL 2023
2022 - 2022

Program Committee Member, HOPE 2022
2021 - 2022

Reviewer, ICML 2022
2021 - 2022

Organizing Committee Member, FLOPS 2022
2022

Reviewer, NeurIPS 2022
2022

Program Committee Member, MFPS 2022
2022

Reviewer, ICLR 2022
2021

Reviewer, NeurIPS 2021
2021

Program Committee Member, ICFP 2021

Awards

Apr, 2022

Highlighted Reviewer, ICLR 2022
2018

Takahashi Award, Japan Society for Software Science and Technology

Taro Sekiyama

Papers

Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs

Taro Sekiyama, Hiroshi Unno

Proceedings of the ACM on Programming Languages, Jan 7, 2025
Rabbit: A Language to Model and Verify Data Flow in Networked Systems

Terunobu Inaba, Yutaka Ishikawa, Atsushi Igarashi, Taro Sekiyama

2024 International Symposium on Networks, Computers and Communications (ISNCC), 1-8, Oct 22, 2024
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification

Taro Sekiyama, Hiroshi Unno

Proceedings of the ACM on Programming Languages, 8(OOPSLA2) 2662-2691, Oct 8, 2024
Abstracting Effect Systems for Algebraic Effect Handlers

Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi

Proceedings of the ACM on Programming Languages, abs/2404.16381, Aug 15, 2024
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe

Proceedings of the ACM on Programming Languages, 8(PLDI) 1585-1608, Jun 20, 2024
Signature restriction for polymorphic algebraic effects

TARO SEKIYAMA, TAKESHI TSUKADA, ATSUSHI IGARASHI

Journal of Functional Programming, 34, May 27, 2024
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers

Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi

Proceedings of the ACM on Programming Languages, 8(POPL) 115-147, Jan 5, 2024
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination.

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo

CoRR, abs/2407.09775, 2024
Formal Support for Threat Modeling with Attack Decision Diagrams.

Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa

COMPSAC, 2454-2459, 2024
Automated Security Analysis for Real-World IoT Devices.

Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama

HASP@MICRO, 29-37, 2023
Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations.

Taro Sekiyama, Hiroshi Unno 0001

Proc. ACM Program. Lang., 7(POPL) 2079-2110, Jan, 2023
Toward Neural-Network-Guided Program Synthesis and Verification

Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno

28th International Static Analysis Symposium (SAS'21), 236-260, 2021 Peer-reviewed
CPS transformation with affine types for call-by-value implicit polymorphism.

Taro Sekiyama, Takeshi Tsukada

Proc. ACM Program. Lang., 5(ICFP) 1-30, 2021 Peer-reviewed
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo

AAAI Conference on Artificial Intelligence, 5306-5314, 2020 Peer-reviewed
Signature restriction for polymorphic algebraic effects.

Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi

Proc. ACM Program. Lang., 4(ICFP) 117-30, 2020 Peer-reviewed
Handling Polymorphic Algebraic Effects

Taro Sekiyama, Atsushi Igarashi

Lecture Notes in Computer Science (ESOP), 353-380, Apr, 2019 Peer-reviewed
Dynamic type inference for gradual Hindley-Milner typing.

Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi

PACMPL, 3(POPL) 18:1-18:29, 2019 Peer-reviewed
272

Large Model Support for Deep Learning in Caffe and Chainer

Minsik Cho, Tung D. Le, Ulrich A. Finkler, Haruiki Imai, Yasushi Negishi, Taro Sekiyama, Saritha Vinod, Vladimir Zolotov, Kiyokuni Kawachiya, David S. Kung …

The 1st SysML Conference, 2018 Peer-reviewed
Lung nodule classification by the combination of fusion classifier and cascaded convolutional neural networks.

Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama

15th IEEE International Symposium on Biomedical Imaging, ISBI 2018, Washington, DC, USA, April 4-7, 2018, 822-825, 2018 Peer-reviewed
Involving CPUs into Multi-GPU Deep Learning.

Tung D. Le, Taro Sekiyama, Yasushi Negishi, Haruki Imai, Kiyokuni Kawachiya

Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, ICPE 2018, Berlin, Germany, April 09-13, 2018, 56-67, 2018 Peer-reviewed

Misc.

データフローセキュリティの検証のための IoT システムモデリング言語 Rabbit

稲葉皓信, 五十嵐淳, 石川裕, 関山太朗

第26回プログラミングおよびプログラミング言語ワークショップ, Mar, 2024
代数的エフェクトとハンドラのためのエフェクトシステムの抽象化

吉岡拓真, 関山太朗, 五十嵐淳

第26回プログラミングおよびプログラミング言語ワークショップ, Mar, 2024
日本ソフトウェア科学会第40回大会報告

末永幸平, 関山太朗, 五十嵐悠紀

コンピュータソフトウェア, 41(3) 62-75, 2024
攻撃決定図の自動生成によるTamarin Proverの脅威モデリング支援

中林美郷, 関山太朗, 蓮尾一郎, 石川裕

暗号と情報セキュリティシンポジウム, Jan, 2024
Rabbit: a modeling language for verifying data-flow security

Terunobu Inaba, Taro Sekiyama, Atsushi Igarashi, Yutaka Ishikawa

Aug, 2023
限定継続のための高階プログラム論理

佐藤惇, 関山太朗, 五十嵐

第25回プログラミングおよびプログラミング言語ワークショップ, Mar, 2023
代数的エフェクトとハンドラのためのエフェクトシステムの抽象化

吉岡拓真, 関山太朗, 五十嵐淳

第25回プログラミングおよびプログラミング言語ワークショップ, Mar, 2023
代数的エフェクトハンドラのための篩型システム

川俣楓河, 海野広志, 関山太朗, 寺内多智弘

第25回プログラミングおよびプログラミング言語ワークショップ, Mar, 2023
ZT-IoT:ゼロトラストIoTのためのシステムソフトウェア構築に向けて

竹房あつ子, 竹房あつ子, 五十嵐淳, 関山太朗, 関山太朗, 松井俊浩, 小野泰司, 小野泰司, 福田健介, 福田健介 …

情報処理学会研究報告(Web), 2022(OS-154), 2022
Type Inference and Compilation for Implicitly Interoperable Records and Hash Tables.

梅木孝輔, 関山太朗, 五十嵐淳

日本ソフトウェア科学会大会講演論文集(Web), 39th, 2022
Enhancing Loop-Invariant Synthesis via Reinforcement Learning.

Takeshi Tsukada, Hiroshi Unno 0001, Taro Sekiyama, Kohei Suenaga

CoRR, abs/2107.09766, 2021
Profile-guided memory optimization for deep neural networks.

Taro Sekiyama, Takashi Imamichi, Haruki Imai, Rudy Raymond

CoRR, abs/1804.10001, 2018
Automated proof synthesis for propositional logic with deep neural networks.

Taro Sekiyama, Kohei Suenaga

CoRR, abs/1805.11799, 2018
Reasoning about Polymorphic Manifest Contracts.

Taro Sekiyama, Atsushi Igarashi

CoRR, abs/1806.07041, 2018
Performance evaluation of Out-of-Core training for large-scale neural network models

今井晴基, LE DUC Tung, 根岸康, 関山太朗, 河内谷清久仁

情報処理学会研究報告(Web), 2017(HPC-162), 2017
漸進的型付き多相ラムダ計算

五十嵐雄, 関山太朗, 五十嵐淳

第19回プログラミングおよびプログラミング言語ワークショップ, 2017
深層学習によるプログラム生成の高速化

今西諒文, 関山太朗, 村主崇行, 末永幸平

第19回プログラミングおよびプログラミング言語ワークショップ,, 2017
限定継続演算子 shift/reset のための漸進的型付け

宮崎勇輔, 関山太朗, 五十嵐淳

第18回プログラミングおよびプログラミング言語ワークショップ, 2016
京都大学 Teen Racketeer 養成コース

五十嵐淳, 中澤巧爾, 馬谷誠二, 関山太朗, 花田裕一朗, 大元武, 宮本洋平, 末永幸平

第17回プログラミングおよびプログラミング言語ワークショップ, 2015
書き換え可能参照付き顕在的契約計算

関山太朗

第17回プログラミングおよびプログラミング言語ワークショップ, 2015

Presentations

7

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

Taro Sekiyama

The ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Jun, 2024
41

形式検証によるセキュアな IoTシステムの実現に向けて

Formal methods and security workshop, Nov 2, 2023 Invited
28

Answer-Refinement Modification: A refinement type system for algebraic effect handlers

Taro Sekiyama

Shonan Meeting No.203 (Effect Handlers and General-Purpose Languages), Sep, 2023 Invited
25

計算効果の推論技術

関山太朗

PPLサマースクール, Aug 30, 2022 Invited
62

Loop Invariant Synthesis with Machine Learning

Taro Sekiyama

The 24th information-Based Induction Sciences Workshop (Thematic Session 1 : Software Verification and Machine Learning), Nov, 2021 Invited
68

CPS Transformation with Affine Types for Implicit Polymorphism

Taro Sekiyama

Dagstuhl Seminar 20312, Scalable Handling of Effects, Jul 19, 2021 Invited
167

計算の仕組みオートマトンからラムダ計算まで

関山太朗

国立情報学研究所市民講座情報学最前線, Mar 22, 2021
Panel

Taro Sekiyama

The Programming Languages Mentoring Workshop (PLMW@POPL), Jan, 2020 Invited
Gradual Typing for Extensibility by Rows

Taro Sekiyama

First ACM SIGPLAN Workshop on Gradual Typing (WGT 2020), Jan, 2020
129

Weighted Automata Extraction from Recurrent Neural Networks via Regression

Taro Sekiyama

The 22nd Information-Based Induction Sciences Workshop (Session 1: Machine Learning and Discrete Mathematics), Nov, 2019 Invited
119

Integration of Type-Based Static and Dynamic Verification

Taro Sekiyama

PKU-UTokyo-NII Joint Forum, Sep, 2019 Invited
Towards Safe, Reliable Software: Science of Programming Languagees

Taro Sekiyama

NII Open House: Introduction of 100 researches, Jun, 2019 Invited
Stateful Manifest Contracts

Taro Sekiyama

The 34th National Convention of JSSST, 2017 Invited

Teaching Experience

Professional Memberships

Research Projects

並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術

科学研究費助成事業, 基盤研究(A), 日本学術振興会, Apr, 2024 - Mar, 2028

関山太朗, 海野広志
機械学習技術による高速な演繹的推論エンジンの開発

科学研究費助成事業, 基盤研究(B), 日本学術振興会, Apr, 2024 - Mar, 2027

塚田武志, 末永幸平, 海野広志, 関山太朗
機械学習技術による高速な演繹的推論エンジンの開発

科学研究費助成事業, 基盤研究(B), 日本学術振興会, Apr, 2022 - Mar, 2027

塚田武志, 末永幸平, 海野広志, 関山太朗
形式検証とシステムソフトウェアの協働によるゼロトラストIoT

戦略的な研究開発の推進戦略的創造研究推進事業 CREST, 科学技術振興機構, 2021 - 2026

竹房あつ子
Research on software contracts for highly interoperable software modules

Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (A), Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, Apr, 2020 - Mar, 2025
Program Verification Techniques for the AI Era

Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (S), Grant-in-Aid for Scientific Research (S), Japan Society for the Promotion of Science, Aug, 2020 - Mar, 2025
Type systems for verification of temporal and state-dependent properties in the presence of various computational effects

Grants-in-Aid for Scientific Research, Grant-in-Aid for Early-Career Scientists, Japan Society for the Promotion of Science, Apr, 2022 - Mar, 2024
数学の自動化を推進するための機械学習を用いた定理自動証明手法

科学研究費助成事業挑戦的研究(萌芽), 挑戦的研究(萌芽), 日本学術振興会, Jun, 2019 - Mar, 2022

末永幸平, 塚田武志, 関山太朗
動的型付けと静的型付けを融合した漸進的型付けのメタ理論

科学研究費助成事業若手研究, 若手研究, 日本学術振興会, Apr, 2019 - Mar, 2022

関山太朗
高信頼な機械学習応用システムによる価値創造

科学技術振興機構: 未来社会創造事業, 科学技術振興機構, Nov, 2018 - Mar, 2020

吉岡信和

Profile Information

Research Interests

Research Areas

Research History

Education

Committee Memberships

Awards

Papers

Misc.

Presentations

Teaching Experience

Professional Memberships

Research Projects

Menu

Coauthors