Taro Sekiyama

According to our database1, Taro Sekiyama authored at least 19 papers between 2015 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Signature restriction for polymorphic algebraic effects.
Proc. ACM Program. Lang., 2020

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Dynamic type inference for gradual Hindley-Milner typing.
Proc. ACM Program. Lang., 2019

Gradual Typing for Extensibility by Rows.
CoRR, 2019

Handling Polymorphic Algebraic Effects.
Proceedings of the Programming Languages and Systems, 2019

2018
Reasoning about Polymorphic Manifest Contracts.
CoRR, 2018

Automated proof synthesis for propositional logic with deep neural networks.
CoRR, 2018

Profile-guided memory optimization for deep neural networks.
CoRR, 2018

Involving CPUs into Multi-GPU Deep Learning.
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.
Proceedings of the 15th IEEE International Symposium on Biomedical Imaging, 2018

Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017
Polymorphic Manifest Contracts, Revised and Resolved.
ACM Trans. Program. Lang. Syst., 2017

On polymorphic gradual typing.
Proc. ACM Program. Lang., 2017

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

Stateful manifest contracts.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Bidirectional Learning for Time-series Models with Hidden Units.
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.
Proceedings of the Image Analysis and Processing - ICIAP 2017, 2017

2015
Manifest Contracts for Datatypes.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Shifting the Blame - A Blame Calculus with Delimited Control.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015


  Loading...