Shin-ya Katsumata

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Graded Hoare Logic and its Categorical Semantics.
CoRR, 2020

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

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

Stone Dualities from Opfibrations.
Proceedings of the Relational and Algebraic Methods 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
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...