Shin-ya Katsumata

Orcid: 0000-0001-7529-5489

Affiliations:
  • National Institute of Informatics, Tokyo, Japan
  • Kyoto University, Japan


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Control-data separation and logical condition propagation for efficient inference on probabilistic programs.
J. Log. Algebraic Methods Program., January, 2024

Composing Codensity Bisimulations.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023
Divergences on monads for relational program logics.
Math. Struct. Comput. Sci., 2023

A Categorical Framework for Program Semantics and Semantic Abstraction.
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022
Weakest preconditions in fibrations.
Math. Struct. Comput. Sci., April, 2022

Flexible presentations of graded monads.
Proc. ACM Program. Lang., 2022

Fully abstract models for effectful λ-calculi via category-theoretic logical relations.
Proc. ACM Program. Lang., 2022

Codensity Games for Bisimilarity.
New Gener. Comput., 2022

Stone dualities from opfibrations.
J. Log. Algebraic Methods Program., 2022

The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.
CoRR, 2022

On Inverse Operators in Dynamic Epistemic Logic.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Higher-order probabilistic adversarial computations: categorical semantics and program logics.
Proc. ACM Program. Lang., 2021

Fibrational bisimulations and quantitative reasoning: Extended version.
J. Log. Comput., 2021

Architecture-Guided Test Resource Allocation via Logic.
Proceedings of the Tests and Proofs - 15th International Conference, 2021

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Generalized Bounded Linear Logic and its Categorical Semantics.
Proceedings of the Foundations of Software Science and Computation Structures, 2021

Graded Hoare Logic and its Categorical Semantics.
Proceedings of the Programming Languages and Systems, 2021

Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020
Relational Differential Dynamic Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Weakest Preconditions in Fibrations.
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

Interaction Laws of Monads and Comonads.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019
Differentiable Causal Computations via Delayed Trace.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Codensity Games for Bisimilarity.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Probabilistic Relational Reasoning via Metrics.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Relational differential dynamic logic: poster abstract.
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.
Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018
Codensity Lifting of Monads and its Dual.
Log. Methods Comput. Sci., 2018

Quantitative bisimulations using coreflections and open morphisms.
CoRR, 2018

Metric Semantics for Probabilistic Relational Reasoning.
CoRR, 2018

A Double Category Theoretic Analysis of Graded Linear Exponential Comonads.
Proceedings of the Foundations of Software Science and Computation Structures, 2018

Fibrational Bisimulations and Quantitative Reasoning.
Proceedings of the Coalgebraic Methods in Computer Science, 2018

2017
Enhanced coinduction (NII Shonan Meeting 2017-17).
NII Shonan Meet. Rep., 2017

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

Reasoning about Divergences for Relaxations of Differential Privacy.
CoRR, 2017

A semantic account of metric preservation.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
Combining effects and coeffects via grading.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Towards a Formal Theory of Graded Monads.
Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015
Codensity Liftings of Monads.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014
Parametric effect monads and semantics of effect systems.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013
Relating computational effects by ⊤⊤-lifting.
Inf. Comput., 2013

Preorders on Monads and Coalgebraic Simulations.
Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012
Extensional Models of Untyped Lambda-mu Calculus
Proceedings of the Proceedings Fourth Workshop on Classical Logic and Computation, 2012

2010
Categorical Descriptional Composition.
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008
Algebraic fusion of functions with an accumulating parameter and its improvement.
J. Funct. Program., 2008

Attribute Grammars and Categorical Semantics.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

A Characterisation of Lambda Definability with Sums Via TT-Closure Operators.
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2005
A generalisation of pre-logical predicates and its applications.
PhD thesis, 2005

A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage.
Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003
Semantic and Syntactic Approaches to Simulation Relations.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2002
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001
Comparing Type-Based and Proof-Directed Decompilation.
Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Proof-Directed De-compilation of Low-Level Code.
Proceedings of the Programming Languages and Systems, 2001


  Loading...