Taro Sekiyama

According to our database, Taro Sekiyama authored at least 31 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.

Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi

Proc. ACM Program. Lang., January, 2024

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric.

Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe

Proc. ACM Program. Lang., 2024

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination.

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo

CoRR, 2024

Abstracting Effect Systems for Algebraic Effect Handlers.

Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi

CoRR, 2024

Formal Support for Threat Modeling with Attack Decision Diagrams.

Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023

Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations.

Taro Sekiyama, Hiroshi Unno

Proc. ACM Program. Lang., January, 2023

Automated Security Analysis for Real-World IoT Devices.

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

Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, 2023

2022

Temporal Verification with Answer-Effect Modification.

Taro Sekiyama, Hiroshi Unno

CoRR, 2022

2021

CPS transformation with affine types for call-by-value implicit polymorphism.

Taro Sekiyama, Takeshi Tsukada

Proc. ACM Program. Lang., 2021

Enhancing Loop-Invariant Synthesis via Reinforcement Learning.

Takeshi Tsukada, Hiroshi Unno, Taro Sekiyama, Kohei Suenaga

CoRR, 2021

Toward Neural-Network-Guided Program Synthesis and Verification.

Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno

Proceedings of the Static Analysis - 28th International Symposium, 2021

2020

Signature restriction for polymorphic algebraic effects.

Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi

Proc. ACM Program. Lang., 2020

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.

Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Dynamic type inference for gradual Hindley-Milner typing.

Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi

Proc. ACM Program. Lang., 2019

Gradual Typing for Extensibility by Rows.

Taro Sekiyama, Atsushi Igarashi

CoRR, 2019

Handling Polymorphic Algebraic Effects.

Taro Sekiyama, Atsushi Igarashi

Proceedings of the Programming Languages and Systems, 2019

2018

Reasoning about Polymorphic Manifest Contracts.

Taro Sekiyama, Atsushi Igarashi

CoRR, 2018

Automated proof synthesis for propositional logic with deep neural networks.

Taro Sekiyama, Kohei Suenaga

CoRR, 2018

Profile-guided memory optimization for deep neural networks.

Taro Sekiyama, Takashi Imamichi, Haruki Imai, Rudy Raymond

CoRR, 2018

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, 2018

Lung nodule classification by the combination of fusion classifier and cascaded convolutional neural networks.

Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama

Proceedings of the 15th IEEE International Symposium on Biomedical Imaging, 2018

Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks.

Taro Sekiyama, Kohei Suenaga

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Polymorphic Manifest Contracts, Revised and Resolved.

Taro Sekiyama, Atsushi Igarashi, Michael Greenberg

ACM Trans. Program. Lang. Syst., 2017

On polymorphic gradual typing.

Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi

Proc. ACM Program. Lang., 2017

Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic.

Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga

CoRR, 2017

Stateful manifest contracts.

Taro Sekiyama, Atsushi Igarashi

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Bidirectional Learning for Time-series Models with Hidden Units.

Takayuki Osogami, Hiroshi Kajino, Taro Sekiyama

Proceedings of the 34th International Conference on Machine Learning, 2017

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

Proceedings of the Image Analysis and Processing - ICIAP 2017, 2017

2016

An Integrated Theory of Type-Based Static and Dynamic Verification.

Taro Sekiyama

PhD thesis, 2016

2015

Manifest Contracts for Datatypes.

Taro Sekiyama, Yuki Nishida, Atsushi Igarashi

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Shifting the Blame - A Blame Calculus with Delimited Control.

Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015