Shin-ya Katsumata

77 papers A* 10A 4B 13C 1Misc 1Journal 36Unranked 11

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