Travelled to:1 × Finland
1 × Germany
1 × Iceland
1 × Switzerland
1 × United Kingdom
2 × USA
3 × Italy
Collaborated with:∅ A.Ohori T.Sato S.Nishimura A.Mycroft A.A.d.Amorim M.Gaboardi J.Hsu Ikram Cherigui
Talks about:semant (4) effect (3) system (2) predic (2) direct (2) comput (2) proof (2) monad (2) logic (2) type (2)
Person: Shin-ya Katsumata
DBLP: Katsumata:Shin=ya
Contributed to:
2014
2013
2011
20082008
200620052004
2001
20012017Wrote 11 papers:
- POPL-2014-Katsumata #monad #parametricity #semantics
- Parametric effect monads and semantics of effect systems (SyK), pp. 633–646.
- FoSSaCS-2013-KatsumataS #algebra #monad #simulation
- Preorders on Monads and Coalgebraic Simulations (SyK, TS), pp. 145–160.
- ICALP-v2-2011-Katsumata
- Relating Computational Effects by ⊤ ⊤-Lifting (SyK), pp. 174–185.
- CSL-2008-Katsumata
- A Characterisation of λ Definability with Sums Via TT-Closure Operators (SyK), pp. 278–292.
- ICALP-B-2008-Katsumata #attribute grammar #category theory #semantics
- Attribute Grammars and Categorical Semantics (SyK), pp. 271–282.
- ICFP-2006-KatsumataN #algebra #parametricity
- Algebraic fusion of functions with an accumulating parameter and its improvement (SyK, SN), pp. 227–238.
- CSL-2005-Katsumata #logic #metalanguage #semantics
- A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage (SyK), pp. 87–102.
- ICALP-2004-Katsumata
- A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems (SyK), pp. 831–845.
- ESOP-2001-KatsumataO #decompiler #low level
- Proof-Directed De-compilation of Low-Level Code (SyK, AO), pp. 352–366.
- WCRE-2001-MycroftOK #decompiler #type system
- Comparing Type-Based and Proof-Directed Decompilation (AM, AO, SyK), pp. 362–367.
- POPL-2017-AmorimGHKC #metric #semantics
- A semantic account of metric preservation (AAdA, MG, JH, SyK, IC), pp. 545–556.