Taro Sekiyama

51 papers A* 4A 1B 5C 1Journal 35Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
A Category-Theoretic Framework for Dependent Effect Systems.
ESOP (1)
Satoshi Kura, Marco Gaboardi, Taro Sekiyama, Hiroshi Unno
2026 J jnl
A Category-Theoretic Framework for Dependent Effect Systems.
CoRR
Satoshi Kura, Marco Gaboardi, Taro Sekiyama, Hiroshi Unno
2026 J jnl
Validated Code Translation for Projects with External Libraries.
CoRR
Hanliang Zhang, Arindam Sharma, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening, Wenjia Ye, Taro Sekiyama
2025 J jnl
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs.
CoRR
Kazuki Watanabe, Mayuko Kori, Taro Sekiyama, Satoshi Kura, Hiroshi Unno
2025 J jnl
Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs.
Proc. ACM Program. Lang.
Taro Sekiyama, Hiroshi Unno
2025 J jnl
On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs.
Proc. ACM Program. Lang.
Taro Sekiyama, Ugo Dal Lago, Hiroshi Unno
2025 J jnl
Thrust: A Prophecy-Based Refinement Type System for Rust.
Proc. ACM Program. Lang.
Hiromi Ogawa, Taro Sekiyama, Hiroshi Unno
2025 J jnl
Towards neural-network-guided program synthesis and verification.
Formal Methods Syst. Des.
Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno
2024 J jnl
Abstracting Effect Systems for Algebraic Effect Handlers.
CoRR
Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi
2024 J jnl
Abstracting Effect Systems for Algebraic Effect Handlers.
Proc. ACM Program. Lang.
Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi
2024 J jnl
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.
Proc. ACM Program. Lang.
Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi
2024 B conf
Formal Support for Threat Modeling with Attack Decision Diagrams.
COMPSAC
Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa
2024 J jnl
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification.
Proc. ACM Program. Lang.
Taro Sekiyama, Hiroshi Unno
2024 J jnl
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination.
CoRR
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
2024 C conf
Rabbit: A Language to Model and Verify Data Flow in Networked Systems.
ISNCC
Terunobu Inaba, Yutaka Ishikawa, Atsushi Igarashi, Taro Sekiyama
2024 J jnl
Signature restriction for polymorphic algebraic effects.
J. Funct. Program.
Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi
2024 J jnl
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric.
Proc. ACM Program. Lang.
Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
2023 J jnl
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.
CoRR
Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi
2023 — conf
Automated Security Analysis for Real-World IoT Devices.
HASP@MICRO
Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama
2023 J jnl
Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations.
Proc. ACM Program. Lang.
Taro Sekiyama, Hiroshi Unno
2022 J jnl
Temporal Verification with Answer-Effect Modification.
CoRR
Taro Sekiyama, Hiroshi Unno
2021 J jnl
CPS transformation with affine types for call-by-value implicit polymorphism.
Proc. ACM Program. Lang.
Taro Sekiyama, Takeshi Tsukada
2021 J jnl
Enhancing Loop-Invariant Synthesis via Reinforcement Learning.
CoRR
Takeshi Tsukada, Hiroshi Unno, Taro Sekiyama, Kohei Suenaga
2021 B conf
Toward Neural-Network-Guided Program Synthesis and Verification.
SAS
Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno
2021 J jnl
Toward Neural-Network-Guided Program Synthesis and Verification.
CoRR
Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno
2020 J jnl
Signature restriction for polymorphic algebraic effects.
CoRR
Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi
2020 J jnl
Signature restriction for polymorphic algebraic effects.
Proc. ACM Program. Lang.
Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi
2020 A* conf
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.
AAAI
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
2019 J jnl
Dynamic type inference for gradual Hindley-Milner typing.
Proc. ACM Program. Lang.
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
2019 J jnl
Gradual Typing for Extensibility by Rows.
CoRR
Taro Sekiyama, Atsushi Igarashi
2019 A conf
Handling Polymorphic Algebraic Effects.
ESOP
Taro Sekiyama, Atsushi Igarashi
2019 J jnl
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.
CoRR
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
2018 B conf
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks.
APLAS
Taro Sekiyama, Kohei Suenaga
2018 J jnl
Automated proof synthesis for propositional logic with deep neural networks.
CoRR
Taro Sekiyama, Kohei Suenaga
2018 J jnl
Dynamic Type Inference for Gradual Hindley-Milner Typing.
CoRR
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
2018 J jnl
Handling polymorphic algebraic effects.
CoRR
Taro Sekiyama, Atsushi Igarashi
2018 B conf
Involving CPUs into Multi-GPU Deep Learning.
ICPE
Tung D. Le, Taro Sekiyama, Yasushi Negishi, Haruki Imai, Kiyokuni Kawachiya
2018 — conf
Lung nodule classification by the combination of fusion classifier and cascaded convolutional neural networks.
ISBI
Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama
2018 J jnl
Profile-guided memory optimization for deep neural networks.
CoRR
Taro Sekiyama, Takashi Imamichi, Haruki Imai, Rudy Raymond
2018 J jnl
Reasoning about Polymorphic Manifest Contracts.
CoRR
Taro Sekiyama, Atsushi Igarashi
2017 A* conf
Bidirectional Learning for Time-series Models with Hidden Units.
ICML
Takayuki Osogami, Hiroshi Kajino, Taro Sekiyama
2017 J jnl
Lung Nodule Classification by the Combination of Fusion Classifier and Cascaded Convolutional Neural Networks.
CoRR
Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama
2017 — conf
Multi-stage Neural Networks with Single-Sided Classifiers for False Positive Reduction and Its Evaluation Using Lung X-Ray CT Images.
ICIAP (1)
Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama
2017 J jnl
Multi-stage Neural Networks with Single-sided Classifiers for False Positive Reduction and its Evaluation using Lung X-ray CT Images.
CoRR
Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama
2017 J jnl
On polymorphic gradual typing.
Proc. ACM Program. Lang.
Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi
2017 J jnl
Polymorphic Manifest Contracts, Revised and Resolved.
ACM Trans. Program. Lang. Syst.
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg
2017 A* conf
Stateful manifest contracts.
POPL
Taro Sekiyama, Atsushi Igarashi
2017 J jnl
Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic.
CoRR
Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga
2016 — —
An Integrated Theory of Type-Based Static and Dynamic Verification.
Taro Sekiyama
2015 A* conf
Manifest Contracts for Datatypes.
POPL
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi
2015 B conf
Shifting the Blame - A Blame Calculus with Delimited Control.
APLAS
Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi