default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTaro Sekiyama
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]Taro Sekiyama
, Takeshi Tsukada, Atsushi Igarashi:
Signature restriction for polymorphic algebraic effects. J. Funct. Program. 34 (2024)- [j8]Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe:
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proc. ACM Program. Lang. 8(PLDI): 1585-1608 (2024) - [j7]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): 115-147 (2024) - [c13]Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa:
Formal Support for Threat Modeling with Attack Decision Diagrams. COMPSAC 2024: 2454-2459 - [i17]Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi:
Abstracting Effect Systems for Algebraic Effect Handlers. CoRR abs/2404.16381 (2024) - [i16]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR abs/2407.09775 (2024) - 2023
- [j6]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): 2079-2110 (2023) - [c12]Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama:
Automated Security Analysis for Real-World IoT Devices. HASP@MICRO 2023: 29-37 - [i15]Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi:
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers. CoRR abs/2307.15463 (2023) - 2022
- [i14]Taro Sekiyama, Hiroshi Unno:
Temporal Verification with Answer-Effect Modification. CoRR abs/2207.10386 (2022) - 2021
- [j5]Taro Sekiyama, Takeshi Tsukada:
CPS transformation with affine types for call-by-value implicit polymorphism. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - [c11]Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno:
Toward Neural-Network-Guided Program Synthesis and Verification. SAS 2021: 236-260 - [i13]Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno:
Toward Neural-Network-Guided Program Synthesis and Verification. CoRR abs/2103.09414 (2021) - [i12]Takeshi Tsukada, Hiroshi Unno, Taro Sekiyama, Kohei Suenaga:
Enhancing Loop-Invariant Synthesis via Reinforcement Learning. CoRR abs/2107.09766 (2021) - 2020
- [j4]Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi:
Signature restriction for polymorphic algebraic effects. Proc. ACM Program. Lang. 4(ICFP): 117:1-117:30 (2020) - [c10]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. AAAI 2020: 5306-5314 - [i11]Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi:
Signature restriction for polymorphic algebraic effects. CoRR abs/2003.08138 (2020)
2010 – 2019
- 2019
- [j3]Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi:
Dynamic type inference for gradual Hindley-Milner typing. Proc. ACM Program. Lang. 3(POPL): 18:1-18:29 (2019) - [c9]Taro Sekiyama, Atsushi Igarashi:
Handling Polymorphic Algebraic Effects. ESOP 2019: 353-380 - [i10]Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo:
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces. CoRR abs/1904.02931 (2019) - [i9]Taro Sekiyama, Atsushi Igarashi:
Gradual Typing for Extensibility by Rows. CoRR abs/1910.08480 (2019) - 2018
- [c8]Taro Sekiyama, Kohei Suenaga:
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. APLAS 2018: 309-328 - [c7]Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama:
Lung nodule classification by the combination of fusion classifier and cascaded convolutional neural networks. ISBI 2018: 822-825 - [c6]Tung D. Le, Taro Sekiyama, Yasushi Negishi, Haruki Imai, Kiyokuni Kawachiya:
Involving CPUs into Multi-GPU Deep Learning. ICPE 2018: 56-67 - [i8]Taro Sekiyama, Takashi Imamichi, Haruki Imai, Rudy Raymond:
Profile-guided memory optimization for deep neural networks. CoRR abs/1804.10001 (2018) - [i7]Taro Sekiyama, Kohei Suenaga:
Automated proof synthesis for propositional logic with deep neural networks. CoRR abs/1805.11799 (2018) - [i6]Taro Sekiyama, Atsushi Igarashi:
Reasoning about Polymorphic Manifest Contracts. CoRR abs/1806.07041 (2018) - [i5]Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi:
Dynamic Type Inference for Gradual Hindley-Milner Typing. CoRR abs/1810.12619 (2018) - [i4]Taro Sekiyama, Atsushi Igarashi:
Handling polymorphic algebraic effects. CoRR abs/1811.07332 (2018) - 2017
- [j2]Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi:
On polymorphic gradual typing. Proc. ACM Program. Lang. 1(ICFP): 40:1-40:29 (2017) - [j1]Taro Sekiyama, Atsushi Igarashi, Michael Greenberg:
Polymorphic Manifest Contracts, Revised and Resolved. ACM Trans. Program. Lang. Syst. 39(1): 3:1-3:36 (2017) - [c5]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: 370-379 - [c4]Takayuki Osogami, Hiroshi Kajino, Taro Sekiyama:
Bidirectional Learning for Time-series Models with Hidden Units. ICML 2017: 2711-2720 - [c3]Taro Sekiyama, Atsushi Igarashi:
Stateful manifest contracts. POPL 2017: 530-544 - [i3]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 abs/1703.00311 (2017) - [i2]Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga:
Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic. CoRR abs/1706.06462 (2017) - [i1]Masaharu Sakamoto, Hiroki Nakano, Kun Zhao, Taro Sekiyama:
Lung Nodule Classification by the Combination of Fusion Classifier and Cascaded Convolutional Neural Networks. CoRR abs/1712.02198 (2017) - 2016
- [b1]Taro Sekiyama:
An Integrated Theory of Type-Based Static and Dynamic Verification. Kyoto University, Japan, 2016 - 2015
- [c2]Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi:
Shifting the Blame - A Blame Calculus with Delimited Control. APLAS 2015: 189-207 - [c1]Taro Sekiyama, Yuki Nishida, Atsushi Igarashi:
Manifest Contracts for Datatypes. POPL 2015: 195-207
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-07 01:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
