Shin-ya Katsumata

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 57

Top Venues

CoRR

LICS

FoSSaCS

Proc. ACM Program. Lang.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
Composing Codensity Bisimulations. CoRR (2024)
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
Composing Codensity Bisimulations. LICS (2024)
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebraic Methods Program. 136 (2024)
Tetsuya Sato, Shin-ya Katsumata
Divergences on monads for relational program logics. Math. Struct. Comput. Sci. 33 (4-5) (2023)
Shin-ya Katsumata, Xavier Rival, Jérémy Dubut
A Categorical Framework for Program Semantics and Semantic Abstraction. CoRR (2023)
Tetsuya Sato, Shin-ya Katsumata
Divergences on Monads for Relational Program Logics. CoRR (2022)
Ohad Kammar, Shin-ya Katsumata, Philip Saville
Fully abstract models for effectful λ-calculi via category-theoretic logical relations. Proc. ACM Program. Lang. 6 (POPL) (2022)
Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu
Flexible presentations of graded monads. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
The Lattice-Theoretic Essence of Property Directed Reachability Analysis. CAV (1) (2022)
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo
Codensity Games for Bisimilarity. New Gener. Comput. 40 (2) (2022)
Shota Motoura, Shin-ya Katsumata
On Inverse Operators in Dynamic Epistemic Logic. LFCS (2022)
Alejandro Aguirre, Shin-ya Katsumata, Satoshi Kura
Weakest preconditions in fibrations. Math. Struct. Comput. Sci. 32 (4) (2022)
Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
Stone dualities from opfibrations. J. Log. Algebraic Methods Program. 127 (2022)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. CoRR (2022)
David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo
Fibrational bisimulations and quantitative reasoning: Extended version. J. Log. Comput. 31 (6) (2021)
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs. CoRR (2021)
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation. CoRR (2021)
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. NFM (2021)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
Higher-order probabilistic adversarial computations: Categorical semantics and program logics. CoRR (2021)
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. LICS (2021)
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
Graded Hoare Logic and its Categorical Semantics. ESOP (2021)
Yoji Fukihara, Shin-ya Katsumata
Generalized Bounded Linear Logic and its Categorical Semantics. FoSSaCS (2021)
Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. CoRR (2021)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation Via Logic. CoRR (2021)
Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa
Architecture-Guided Test Resource Allocation via Logic. TAP@STAF (2021)
Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. CONCUR (2021)
Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. CoRR (2021)
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
Graded Hoare Logic and its Categorical Semantics. CoRR (2020)
Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational Differential Dynamic Logic. TACAS (1) (2020)
Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
Stone Dualities from Opfibrations. RAMiCS (2020)
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
Interaction Laws of Monads and Comonads. LICS (2020)
Alejandro Aguirre, Shin-ya Katsumata
Weakest Preconditions in Fibrations. MFPS (2020)
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
Codensity Games for Bisimilarity. CoRR (2019)
Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo
Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. FoSSaCS (2019)
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. LICS (2019)
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational differential dynamic logic: poster abstract. HSCC (2019)
Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada
Relational Differential Dynamic Logic. CoRR (2019)
David Sprunger, Shin-ya Katsumata
Differentiable Causal Computations via Delayed Trace. CoRR (2019)
David Sprunger, Shin-ya Katsumata
Differentiable Causal Computations via Delayed Trace. LICS (2019)
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
Codensity Games for Bisimilarity. LICS (2019)
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
Interaction laws of monads and comonads. CoRR (2019)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Probabilistic Relational Reasoning via Metrics. LICS (2019)
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger
Quantitative bisimulations using coreflections and open morphisms. CoRR (2018)
Shin-ya Katsumata
A Double Category Theoretic Analysis of Graded Linear Exponential Comonads. FoSSaCS (2018)
Shin-ya Katsumata, Tetsuya Sato, Tarmo Uustalu
Codensity Lifting of Monads and its Dual. Log. Methods Comput. Sci. 14 (4) (2018)
David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo
Fibrational Bisimulations and Quantitative Reasoning. CMCS (2018)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Metric Semantics for Probabilistic Relational Reasoning. CoRR (2018)
Shin-ya Katsumata, Tetsuya Sato, Tarmo Uustalu
Codensity Lifting of Monads and its Dual. CoRR (2018)
Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo
Path category for free - Open morphisms from coalgebras with non-deterministic branching. CoRR (2018)
Shin-ya Katsumata, Damien Pous, Jan Rutten
Enhanced coinduction (NII Shonan Meeting 2017-17). NII Shonan Meet. Rep. 2017 (2017)
Marco Gaboardi, Shin-ya Katsumata
Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4). NII Shonan Meet. Rep. 2017 (2017)
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata
Reasoning about Divergences for Relaxations of Differential Privacy. CoRR (2017)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui
A semantic account of metric preservation. POPL (2017)
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui
A Semantic Account of Metric Preservation. CoRR (2017)
Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu
Combining effects and coeffects via grading. ICFP (2016)
Soichiro Fujii, Shin-ya Katsumata, Paul-André Melliès
Towards a Formal Theory of Graded Monads. FoSSaCS (2016)
Shin-ya Katsumata, Tetsuya Sato
Codensity Liftings of Monads. CALCO (2015)
Shin-ya Katsumata
Parametric effect monads and semantics of effect systems. POPL (2014)
Shin-ya Katsumata, Tetsuya Sato
Preorders on Monads and Coalgebraic Simulations. FoSSaCS (2013)
Shin-ya Katsumata
Relating computational effects by ⊤⊤-lifting. Inf. Comput. 222 (2013)
Koji Nakazawa, Shin-ya Katsumata
Extensional Models of Untyped Lambda-mu Calculus CL&C (2012)
Shin-ya Katsumata
Relating Computational Effects by ⊤ ⊤-Lifting. ICALP (2) (2011)
Shin-ya Katsumata
Categorical Descriptional Composition. APLAS (2010)
Shin-ya Katsumata
Attribute Grammars and Categorical Semantics. ICALP (2) (2008)
Shin-ya Katsumata, Susumu Nishimura
Algebraic fusion of functions with an accumulating parameter and its improvement. J. Funct. Program. 18 (5-6) (2008)
Shin-ya Katsumata
A Characterisation of Lambda Definability with Sums Via TT-Closure Operators. CSL (2008)
Shin-ya Katsumata, Susumu Nishimura
Algebraic fusion of functions with an accumulating parameter and its improvement. ICFP (2006)
Shin-ya Katsumata
A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. CSL (2005)
Shin-ya Katsumata
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems. ICALP (2004)
Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella
Semantic and Syntactic Approaches to Simulation Relations. MFCS (2003)
Shin-ya Katsumata
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages. WADT (2002)
Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata
Comparing Type-Based and Proof-Directed Decompilation. WCRE (2001)
Shin-ya Katsumata, Atsushi Ohori
Proof-Directed De-compilation of Low-Level Code. ESOP (2001)

Shin-ya Katsumata.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shin-ya Katsumata