Taro Sekiyama
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2015–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | COMPSAC | The Zero Trust IoT (ZT-IoT) Project. | Atsuko Takefusa, Atsushi Igarashi, Taro Sekiyama, Kuniyasu Suzaki, Toshihiro Matsui, Jie Yin, Atsuya Osaki, Naoki Yamashita, Nobuo Aoki, Sewon Park, Terunobu Inaba, Llio Brun, Yutaka Ishikawa, Kento Aida, Yasushi Ono, Kensuke Fukuda, Eisaku Sakane, Ichiro Hasuo |
| 2026 | ESOP | A Category-Theoretic Framework for Dependent Effect Systems. | Satoshi Kura, Marco Gaboardi, Taro Sekiyama, Hiroshi Unno |
| 2024 | COMPSAC | Formal Support for Threat Modeling with Attack Decision Diagrams. | Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa |
| 2024 | ISNCC | Rabbit: A Language to Model and Verify Data Flow in Networked Systems. | Terunobu Inaba, Yutaka Ishikawa, Atsushi Igarashi, Taro Sekiyama |
| 2021 | SAS | Toward Neural-Network-Guided Program Synthesis and Verification. | Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno |
| 2020 | AAAI | Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. | Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo |
| 2019 | ESOP | Handling Polymorphic Algebraic Effects. | Taro Sekiyama, Atsushi Igarashi |
| 2018 | APLAS | Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. | Taro Sekiyama, Kohei Suenaga |
| 2017 | ICIAP | Multi-stage Neural Networks with Single-Sided Classifiers for False Positive Reduction and Its Evaluation Using Lung X-Ray CT Images. | Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama |
| 2017 | ICML | Bidirectional Learning for Time-series Models with Hidden Units. | Takayuki Osogami, Hiroshi Kajino, Taro Sekiyama |
| 2017 | POPL | Stateful manifest contracts. | Taro Sekiyama, Atsushi Igarashi |
| 2015 | APLAS | Shifting the Blame - A Blame Calculus with Delimited Control. | Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi |
| 2015 | POPL | Manifest Contracts for Datatypes. | Taro Sekiyama, Yuki Nishida, Atsushi Igarashi |