Shin-ya Katsumata

According to our database, Shin-ya Katsumata authored at least 55 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Control-data separation and logical condition propagation for efficient inference on probabilistic programs.

Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata

J. Log. Algebraic Methods Program., January, 2024

2023

Divergences on monads for relational program logics.

Tetsuya Sato, Shin-ya Katsumata

Math. Struct. Comput. Sci., 2023

A Categorical Framework for Program Semantics and Semantic Abstraction.

Shin-ya Katsumata, Xavier Rival, Jérémy Dubut

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022

Weakest preconditions in fibrations.

Alejandro Aguirre, Shin-ya Katsumata, Satoshi Kura

Math. Struct. Comput. Sci., April, 2022

Flexible presentations of graded monads.

Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu

Proc. ACM Program. Lang., 2022

Fully abstract models for effectful λ-calculi via category-theoretic logical relations.

Ohad Kammar, Shin-ya Katsumata, Philip Saville

Proc. ACM Program. Lang., 2022

Codensity Games for Bisimilarity.

Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo

New Gener. Comput., 2022

Stone dualities from opfibrations.

Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida

J. Log. Algebraic Methods Program., 2022

The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

CoRR, 2022

On Inverse Operators in Dynamic Epistemic Logic.

Shota Motoura, Shin-ya Katsumata

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

The Lattice-Theoretic Essence of Property Directed Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Higher-order probabilistic adversarial computations: categorical semantics and program logics.

Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato

Proc. ACM Program. Lang., 2021

Fibrational bisimulations and quantitative reasoning: Extended version.

David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo

J. Log. Comput., 2021

Architecture-Guided Test Resource Allocation via Logic.

Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa

Proceedings of the Tests and Proofs - 15th International Conference, 2021

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.

Tsutomu Kobayashi, Rick Salay, Ichiro Hasuo, Krzysztof Czarnecki, Fuyuki Ishikawa, Shin-ya Katsumata

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.

Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Generalized Bounded Linear Logic and its Categorical Semantics.

Yoji Fukihara, Shin-ya Katsumata

Proceedings of the Foundations of Software Science and Computation Structures, 2021

Graded Hoare Logic and its Categorical Semantics.

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato

Proceedings of the Programming Languages and Systems, 2021

Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.

Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Relational Differential Dynamic Logic.

Juraj Kolcák, Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Weakest Preconditions in Fibrations.

Alejandro Aguirre, Shin-ya Katsumata

Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

Interaction Laws of Monads and Comonads.

Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Differentiable Causal Computations via Delayed Trace.

David Sprunger, Shin-ya Katsumata

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy.

Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Codensity Games for Bisimilarity.

Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Probabilistic Relational Reasoning via Metrics.

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Relational differential dynamic logic: poster abstract.

Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching.

Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Codensity Lifting of Monads and its Dual.

Shin-ya Katsumata, Tetsuya Sato, Tarmo Uustalu

Log. Methods Comput. Sci., 2018

Quantitative bisimulations using coreflections and open morphisms.

Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger

CoRR, 2018

Metric Semantics for Probabilistic Relational Reasoning.

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

CoRR, 2018

A Double Category Theoretic Analysis of Graded Linear Exponential Comonads.

Shin-ya Katsumata

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Fibrational Bisimulations and Quantitative Reasoning.

David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2018

2017

Enhanced coinduction (NII Shonan Meeting 2017-17).

Shin-ya Katsumata, Damien Pous, Jan Rutten

NII Shonan Meet. Rep., 2017

Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4).

Marco Gaboardi, Shin-ya Katsumata

NII Shonan Meet. Rep., 2017

Reasoning about Divergences for Relaxations of Differential Privacy.

Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

CoRR, 2017

A semantic account of metric preservation.

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Combining effects and coeffects via grading.

Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Towards a Formal Theory of Graded Monads.

Soichiro Fujii, Shin-ya Katsumata, Paul-André Melliès

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015

Codensity Liftings of Monads.

Shin-ya Katsumata, Tetsuya Sato

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Parametric effect monads and semantics of effect systems.

Shin-ya Katsumata

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Relating computational effects by ⊤⊤-lifting.

Shin-ya Katsumata

Inf. Comput., 2013

Preorders on Monads and Coalgebraic Simulations.

Shin-ya Katsumata, Tetsuya Sato

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Extensional Models of Untyped Lambda-mu Calculus

Koji Nakazawa, Shin-ya Katsumata

Proceedings of the Proceedings Fourth Workshop on Classical Logic and Computation, 2012

2010

Categorical Descriptional Composition.

Shin-ya Katsumata

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008

Algebraic fusion of functions with an accumulating parameter and its improvement.

Shin-ya Katsumata, Susumu Nishimura

J. Funct. Program., 2008

Attribute Grammars and Categorical Semantics.

Shin-ya Katsumata

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

A Characterisation of Lambda Definability with Sums Via TT-Closure Operators.

Shin-ya Katsumata

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2005

A generalisation of pre-logical predicates and its applications.

Shin-ya Katsumata

PhD thesis, 2005

A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage.

Shin-ya Katsumata

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004

A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems.

Shin-ya Katsumata

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003

Semantic and Syntactic Approaches to Simulation Relations.

Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2002

Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages.

Shin-ya Katsumata

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001

Comparing Type-Based and Proof-Directed Decompilation.

Alan Mycroft, Atsushi Ohori, Shin-ya Katsumata

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Proof-Directed De-compilation of Low-Level Code.

Shin-ya Katsumata, Atsushi Ohori

Proceedings of the Programming Languages and Systems, 2001