Taro Sekiyama

Registered user since Tue 8 Nov 2016

Name: Taro Sekiyama

Bio: I’m a research staff at IBM Research - Tokyo. I am interested in theory and applications of programming languages, such as type theory, program verification, type inference, program reasoning, and so on. The current research theme is to optimize and empower deep learning frameworks such as Caffe, Chainer, and so on.

Country: Japan

Affiliation: IBM Research, Japan

Personal website: http://researcher.ibm.com/researcher/view.php?person=jp-SEKIYM

Research interests: programming languages, type theory, gradual typing, contracts, effects, deep learning

Contributions

Off the Beaten Track 2018Author of Towards Proof Synthesis by Neural Machine Translation within the Off the Beaten Track 2018-track
ICFP 2017Author of On Polymorphic Gradual Typing within the Research Papers-track
POPL 2018Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
STOPAuthor of Gradual Typing for Delimited Continuations within the STOP-track
POPL 2017Author of Stateful Manifest Contracts within the POPL-track