Shifting the Blame - A Blame Calculus with Delimited Control. - Taro Sekiyama; Soichiro Ueda; Atsushi Igarashi (APLAS, 2015)

Manifest Contracts for Datatypes. - Taro Sekiyama; Yuki Nishida 001; Atsushi Igarashi (POPL, 2015)

An Integrated Theory of Type-Based Static and Dynamic Verification. - Taro Sekiyama (2016)

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 004; Taro Sekiyama (ICIAP (1), 2017)

Bidirectional Learning for Time-series Models with Hidden Units. - Takayuki Osogami; Hiroshi Kajino; Taro Sekiyama (ICML, 2017)

Stateful manifest contracts. - Taro Sekiyama; Atsushi Igarashi (POPL, 2017)

Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic. - Taro Sekiyama; Akifumi Imanishi; Kohei Suenaga (CoRR, 2017)

On polymorphic gradual typing. - Yuu Igarashi; Taro Sekiyama; Atsushi Igarashi (Proc. ACM Program. Lang., 2017)

Polymorphic Manifest Contracts, Revised and Resolved. - Taro Sekiyama; Atsushi Igarashi; Michael Greenberg 002 (ACM Trans. Program. Lang. Syst., 2017)

Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. - Taro Sekiyama; Kohei Suenaga (APLAS, 2018)

Lung nodule classification by the combination of fusion classifier and cascaded convolutional neural networks. - Masaharu Sakamoto; Hiroki Nakano; Kun Zhao 004; Taro Sekiyama (ISBI, 2018)

Involving CPUs into Multi-GPU Deep Learning. - Tung D. Le; Taro Sekiyama; Yasushi Negishi; Haruki Imai; Kiyokuni Kawachiya (ICPE, 2018)

Profile-guided memory optimization for deep neural networks. - Taro Sekiyama; Takashi Imamichi; Haruki Imai; Rudy Raymond (CoRR, 2018)

Automated proof synthesis for propositional logic with deep neural networks. - Taro Sekiyama; Kohei Suenaga (CoRR, 2018)

Reasoning about Polymorphic Manifest Contracts. - Taro Sekiyama; Atsushi Igarashi (CoRR, 2018)

Handling Polymorphic Algebraic Effects. - Taro Sekiyama; Atsushi Igarashi (ESOP, 2019)

Gradual Typing for Extensibility by Rows. - Taro Sekiyama; Atsushi Igarashi (CoRR, 2019)

Dynamic type inference for gradual Hindley-Milner typing. - Yusuke Miyazaki 001; Taro Sekiyama; Atsushi Igarashi (Proc. ACM Program. Lang., 2019)

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. - Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro Hasuo (AAAI, 2020)

Signature restriction for polymorphic algebraic effects. - Taro Sekiyama; Takeshi Tsukada; Atsushi Igarashi (Proc. ACM Program. Lang., 2020)

Toward Neural-Network-Guided Program Synthesis and Verification. - Naoki Kobayashi 001; Taro Sekiyama; Issei Sato; Hiroshi Unno 001 (SAS, 2021)

Enhancing Loop-Invariant Synthesis via Reinforcement Learning. - Takeshi Tsukada; Hiroshi Unno 001; Taro Sekiyama; Kohei Suenaga (CoRR, 2021)

CPS transformation with affine types for call-by-value implicit polymorphism. - Taro Sekiyama; Takeshi Tsukada (Proc. ACM Program. Lang., 2021)

Temporal Verification with Answer-Effect Modification. - Taro Sekiyama; Hiroshi Unno 001 (CoRR, 2022)

Automated Security Analysis for Real-World IoT Devices. - Lélio Brun; Ichiro Hasuo; Yasushi Ono; Taro Sekiyama (HASP@MICRO, 2023)

Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations. - Taro Sekiyama; Hiroshi Unno 001 (Proc. ACM Program. Lang., 2023)

Formal Support for Threat Modeling with Attack Decision Diagrams. - Misato Nakabayashi; Taro Sekiyama; Ichiro Hasuo; Yutaka Ishikawa (COMPSAC, 2024)

Rabbit: A Language to Model and Verify Data Flow in Networked Systems. - Terunobu Inaba; Yutaka Ishikawa; Atsushi Igarashi; Taro Sekiyama (ISNCC, 2024)

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. - Takamasa Okudono; Masaki Waga; Taro Sekiyama; Ichiro Hasuo (CoRR, 2024)

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. - Atsushi Igarashi; Shota Ozaki; Taro Sekiyama; Yudai Tanabe (Proc. ACM Program. Lang., 2024)

Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification. - Taro Sekiyama; Hiroshi Unno 001 (Proc. ACM Program. Lang., 2024)

Abstracting Effect Systems for Algebraic Effect Handlers. - Takuma Yoshioka; Taro Sekiyama; Atsushi Igarashi (Proc. ACM Program. Lang., 2024)

Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. - Fuga Kawamata; Hiroshi Unno 001; Taro Sekiyama; Tachio Terauchi (Proc. ACM Program. Lang., 2024)

Thrust: A Prophecy-Based Refinement Type System for Rust. - Hiromi Ogawa; Taro Sekiyama; Hiroshi Unno 001 (Proc. ACM Program. Lang., 2025)

Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs. - Taro Sekiyama; Hiroshi Unno 001 (Proc. ACM Program. Lang., 2025)