| 2025 | ICTAC | A Variety of Request-Response Specifications. | Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo |
| 2024 | FLOPS | Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement. | Koko Muroya, Makoto Hamana |
| 2021 | CALCO | Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). | Koko Muroya, Takahiro Sanada, Natsuki Urabe |
| 2018 | FLOPS | A Functional Perspective on Machine Learning via Programmable Induction and Abduction. | Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe |
| 2018 | LICS | The Geometry of Computation-Graph Abstraction. | Koko Muroya, Steven W. T. Cheung, Dan R. Ghica |
| 2017 | CSL | The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. | Koko Muroya, Dan R. Ghica |
| 2016 | POPL | Memoryful geometry of interaction II: recursion and adequacy. | Koko Muroya, Naohiko Hoshino, Ichiro Hasuo |
| 2014 | CSL | Memoryful geometry of interaction: from coalgebraic components to algebraic effects. | Naohiko Hoshino, Koko Muroya, Ichiro Hasuo |