Shin-ya Katsumata

ORCID

Publication Activity (10 Years)

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

Top Venues

CoRR

LICS

FoSSaCS

Proc. ACM Program. Lang.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

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)
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