Taro Sekiyama
Taro Sekiyama
Verified email at nii.ac.jp
Title
Cited by
Cited by
Year
On polymorphic gradual typing
Y Igarashi, T Sekiyama, A Igarashi
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
41*2017
Manifest contracts for datatypes
T Sekiyama, Y Nishida, A Igarashi
Proceedings of the 42th ACM SIGPLAN Symposium on Principles of Programming …, 2015
192015
Polymorphic manifest contracts, revised and resolved
T Sekiyama, A Igarashi, M Greenberg
ACM Transactions on Programming Languages and Systems 39 (1), 3:1--3:36, 2017
15*2017
Bidirectional learning for time-series models with hidden units
T Osogami, H Kajino, T Sekiyama
International Conference on Machine Learning, 2711-2720, 2017
102017
Stateful manifest contracts
T Sekiyama, A Igarashi
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
92017
Multi-stage Neural Networks with Single-sided Classifiers for False Positive Reduction and its Evaluation using Lung X-ray CT Images
M Sakamoto, H Nakano, K Zhao, T Sekiyama
arXiv preprint arXiv:1703.00311, 2017
72017
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks
T Sekiyama, K Suenaga
Asian Symposium on Programming Languages and Systems, 309-328, 2018
6*2018
Shifting the Blame
T Sekiyama, S Ueda, A Igarashi
Asian Symposium on Programming Languages and Systems, 189-207, 2015
62015
Lung nodule classification by the combination of fusion classifier and cascaded convolutional neural networks
M Sakamoto, H Nakano, K Zhao, T Sekiyama
2018 IEEE 15th International Symposium on Biomedical Imaging (ISBI 2018 …, 2018
52018
Large Model Support for Deep Learning in Caffe and Chainer
M Cho, T Le, U Finkler, H Imai, Y Negishi, T Sekiyama, S Vinod, V Zolotov, ...
SysML, 2018
52018
Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic
T Sekiyama, A Imanishi, K Suenaga
arXiv preprint arXiv:1706.06462, 2017
52017
Handling polymorphic algebraic effects
T Sekiyama, A Igarashi
European Symposium on Programming, 353-380, 2019
42019
Profile-guided memory optimization for deep neural networks
T Sekiyama, T Imamichi, H Imai, R Raymond
arXiv preprint arXiv:1804.10001, 2018
42018
Logical relations for a manifest contract calculus, fixed
T Sekiyama, A Igarashi
ACM SIGPLAN Workshop onHigher-Order Programming with Effects, 2012
4*2012
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
T Okudono, M Waga, T Sekiyama, I Hasuo
arXiv preprint arXiv:1904.02931, 2019
32019
Dynamic type inference for gradual Hindley–Milner typing
Y Miyazaki, T Sekiyama, A Igarashi
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
22019
Involving CPUs into Multi-GPU Deep Learning
TD Le, T Sekiyama, Y Negishi, H Imai, K Kawachiya
Proceedings of the 2018 ACM/SPEC International Conference on Performance …, 2018
22018
Localizing tree-based convolutional neural networks
TD Le, T Sekiyama
US Patent App. 15/815,771, 2019
12019
Real-time resource usage reduction in artificial neural networks
T Sekiyama, K Kawachiya, TD Le, Y Negishi
US Patent 10,268,951, 2019
12019
WEIGHTED CASCADING CONVOLUTIONAL NEURAL NETWORKS
T Sekiyama, M Sakamoto, H Nakano, K Zhao
US Patent App. 16/680,667, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20