BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Brazil
1 × Cyprus
1 × France
1 × United Kingdom
2 × Japan
Collaborated with:
N.Kobayashi C.L.Ong N.K.0001 A.Igarashi K.Watanabe K.Sakayori K.Inaba Y.Tobita Takashi Suwa Hiroki Oshikawa
Talks about:
order (6) model (6) check (6) higher (5) program (3) verif (3) type (3) game (3) intersect (2) semant (2)

Person: Takeshi Tsukada

DBLP DBLP: Tsukada:Takeshi

Contributed to:

LICS 20152015
FoSSaCS 20142014
CSL-LICS 20142014
FLOPS 20122012
ICALP (2) 20122012
FOSSACS 20102010
TLCA 20092009
ESOP 20182018
ESOP 20192019
PEPM 20172017
PEPM 20192019

Wrote 12 papers:

LICS-2015-TsukadaO #game studies #nondeterminism #semantics
Nondeterminism in Game Semantics via Sheaves (TT, CHLO), pp. 220–231.
FoSSaCS-2014-KobayashiIT #higher-order
Unsafe Order-2 Tree Languages Are Context-Sensitive (NK, KI, TT), pp. 149–163.
FoSSaCS-2014-Tsukada0 #call-by #complexity #model checking #source code
Complexity of Model-Checking Call-by-Value Programs (TT, NK), pp. 180–194.
LICS-CSL-2014-TsukadaO #composition #game studies #higher-order #model checking
Compositional higher-order model checking via ω-regular games over Böhm trees (TT, CHLO), p. 10.
FLOPS-2012-TobitaTK #analysis #higher-order #model checking
Exact Flow Analysis by Higher-Order Model Checking (YT, TT, NK), pp. 275–289.
ICALP-v2-2012-OngT #game studies #recursion #semantics
Two-Level Game Semantics, Intersection Types, and Recursion Schemes (CHLO, TT), pp. 325–336.
FoSSaCS-2010-TsukadaK #infinity #recursion
Untyped Recursion Schemes and Infinite Intersection Types (TT, NK), pp. 343–357.
TLCA-2009-TsukadaI #classification #logic
A Logical Foundation for Environment Classifiers (TT, AI), pp. 341–355.
ESOP-2018-0001TW #higher-order #model checking #verification
Higher-Order Program Verification via HFL Model Checking (NK0, TT, KW), pp. 711–738.
ESOP-2019-SakayoriT #category theory #π-calculus
A Categorical Model of an i/o-typed π-calculus (KS, TT), pp. 640–667.
PEPM-2017-SuwaT0I #code generation #higher-order #model checking #verification
Verification of code generators via higher-order model checking (TS, TT, NK0, AI), pp. 59–70.
PEPM-2019-WatanabeTO0 #higher-order #reduction #source code #verification
Reduction from branching-time property verification of higher-order programs to HFL validity checking (KW, TT, HO, NK0), pp. 22–34.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.