Taro Sekiyama

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 36

Top Topics

Program Synthesis

Number Of False Positives

Propositional Logic

Top Venues

Proc. ACM Program. Lang.

Publications

Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR (2024)
Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi
Abstracting Effect Systems for Algebraic Effect Handlers. CoRR (2024)
Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. Proc. ACM Program. Lang. 8 (POPL) (2024)
Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi
Signature restriction for polymorphic algebraic effects. J. Funct. Program. 34 (2024)
Taro Sekiyama, Hiroshi Unno
Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations. Proc. ACM Program. Lang. 7 (POPL) (2023)
Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama
Automated Security Analysis for Real-World IoT Devices. HASP@MICRO (2023)
Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. CoRR (2023)
Taro Sekiyama, Hiroshi Unno
Temporal Verification with Answer-Effect Modification. CoRR (2022)
Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno
Toward Neural-Network-Guided Program Synthesis and Verification. SAS (2021)
Taro Sekiyama, Takeshi Tsukada
CPS transformation with affine types for call-by-value implicit polymorphism. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Takeshi Tsukada, Hiroshi Unno, Taro Sekiyama, Kohei Suenaga
Enhancing Loop-Invariant Synthesis via Reinforcement Learning. CoRR (2021)
Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno
Toward Neural-Network-Guided Program Synthesis and Verification. CoRR (2021)
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. AAAI (2020)
Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi
Signature restriction for polymorphic algebraic effects. CoRR (2020)
Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi
Signature restriction for polymorphic algebraic effects. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Taro Sekiyama, Atsushi Igarashi
Handling Polymorphic Algebraic Effects. ESOP (2019)
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
Dynamic type inference for gradual Hindley-Milner typing. Proc. ACM Program. Lang. 3 (POPL) (2019)
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. CoRR (2019)
Taro Sekiyama, Atsushi Igarashi
Gradual Typing for Extensibility by Rows. CoRR (2019)
Taro Sekiyama, Kohei Suenaga
Automated proof synthesis for propositional logic with deep neural networks. CoRR (2018)
Taro Sekiyama, Takashi Imamichi, Haruki Imai, Rudy Raymond
Profile-guided memory optimization for deep neural networks. CoRR (2018)
Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama
Lung nodule classification by the combination of fusion classifier and cascaded convolutional neural networks. ISBI (2018)
Tung D. Le, Taro Sekiyama, Yasushi Negishi, Haruki Imai, Kiyokuni Kawachiya
Involving CPUs into Multi-GPU Deep Learning. ICPE (2018)
Taro Sekiyama, Atsushi Igarashi
Reasoning about Polymorphic Manifest Contracts. CoRR (2018)
Taro Sekiyama, Atsushi Igarashi
Handling polymorphic algebraic effects. CoRR (2018)
Taro Sekiyama, Kohei Suenaga
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. APLAS (2018)
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi
Dynamic Type Inference for Gradual Hindley-Milner Typing. CoRR (2018)
Taro Sekiyama, Atsushi Igarashi
Stateful manifest contracts. POPL (2017)
Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama
Multi-stage Neural Networks with Single-sided Classifiers for False Positive Reduction and its Evaluation using Lung X-ray CT Images. CoRR (2017)
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg
Polymorphic Manifest Contracts, Revised and Resolved. ACM Trans. Program. Lang. Syst. 39 (1) (2017)
Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi
On polymorphic gradual typing. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama
Multi-stage Neural Networks with Single-Sided Classifiers for False Positive Reduction and Its Evaluation Using Lung X-Ray CT Images. ICIAP (1) (2017)
Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama
Lung Nodule Classification by the Combination of Fusion Classifier and Cascaded Convolutional Neural Networks. CoRR (2017)
Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga
Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic. CoRR (2017)
Takayuki Osogami, Hiroshi Kajino, Taro Sekiyama
Bidirectional Learning for Time-series Models with Hidden Units. ICML (2017)
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi
Manifest Contracts for Datatypes. POPL (2015)
Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi
Shifting the Blame - A Blame Calculus with Delimited Control. APLAS (2015)