Koko Muroya (室屋 晃子)
▲explore my research landscape! :-D
(interactive visualisation powered by
D3.js)
- Assistant professor in
RIMS,
Kyoto University.
- Postal address:
Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606-8502, Japan
Email:
kmuroya [at] kurims.kyoto-u.ac.jp
/ koko.muro.m [at] gmail.com
/ k.muroya [at] cs.bham.ac.uk
/ muroykk [at] is.s.u-tokyo.ac.jp
- Alumna of:
News
Research Interests
- Diagrammatic modelling of program execution,
for reasoning intensional, extensional and relational properties such as:
- Trade-off between space efficiency and time efficiency
- Observational (contextual) equivalence
- Dataflow manipulation in conventional programming
- More technically: interplay between interaction
(information-flow) semantics and rewriting
- Graph-rewriting abstract machines for functional programs,
guided by Girard's Geometry of Interaction
Tools
Papers / Theses
[Publication (dblp)]
-
Koko Muroya.
Hypernet Semantics of Programming Languages.
PhD thesis, University of Birmingham, 2020.
[e-thesis
| pdf]
-
Koko Muroya and
Dan R. Ghica.
The Dynamic Geometry of Interaction Machine:
a Token-Guided Graph Rewriter.
Logical Methods in Computer Science,
15(4), 2019.
Expanded version of the CSL'17 paper and the WPTE'17 paper.
[lmcs
| arxiv]
-
Koko Muroya,
Steven W. T. Cheung and
Dan R. Ghica.
The Geometry of Computation-Graph Abstraction.
In Proc.
LICS 2018, p. 749–758, 2018.
Revised version of preprint
arXiv:1710.03984.
Twin paper of the FLOPS'18 paper.
[acm
| preprint pdf (extended version)]
[talk slides pdf]
-
Steven W. T. Cheung,
Victor Darvariu,
Dan R. Ghica,
Koko Muroya and
Reuben N. S. Rowe.
A Functional Perspective on Machine Learning
via Programmable Induction and Abduction.
In Proc.
FLOPS 2018,
LNCS 10818, p. 84–98, 2018.
Twin paper of the LICS'18 paper.
[springer
| preprint pdf]
[talk slides pdf]
- Koko Muroya and
Dan R. Ghica.
Efficient Implementation of Evaluation Strategies via
Token-Guided Graph Rewriting.
In Proc.
WPTE 2017,
EPTCS 265, p. 52–66, 2018.
Successor of the CSL'17 paper.
Expanded version published in LMCS, 15(4), 2019.
[eptcs
| arxiv]
[talk slides pdf]
- Koko Muroya and
Dan R. Ghica.
The Dynamic Geometry of Interaction Machine:
a Call-by-Need Graph Rewriter.
In Proc.
CSL 2017, p. 32:1–32:15, 2017.
Followed up by the WPTE'17 paper.
Expanded version published in LMCS, 15(4), 2019.
[lipics
|
arxiv (extended version)]
[talk slides pdf]
-
Koko Muroya.
Recursion and Adequacy
in Memoryful Geometry of Interaction.
Master thesis, University of Tokyo, 2016.
[pdf]
[talk slides pdf in Japanese]
- Koko Muroya,
Naohiko Hoshino and
Ichiro Hasuo.
Memoryful Geometry of Interaction II:
Recursion and Adequacy.
In Proc.
POPL 2016, p. 748–760, 2016.
[acm
| preprint pdf]
[talk slides pdf]
-
Naohiko Hoshino,
Koko Muroya and
Ichiro Hasuo.
Memoryful Geometry of Interaction: from Coalgebraic
Components to Algebraic Effects.
In Proc.
CSL-LICS 2014, p. 52:1–52:10, 2014.
[acm
| preprint pdf]
-
Koko Muroya.
Resumption-Based Categorical Geometry of Interaction for
Effects.
Bachelor thesis, University of Tokyo, 2014.
[pdf]
[talk slides pdf in Japanese]
Abstracts / Preprints
Talks
- Local Reasoning for Robust Observational Equivalence.
Online LFCS Seminar
at Laboratory for Foundations of Computer Science (LFCS),
University of Edinburgh, United Kingdom (4 December 2020)
Improved presentation of the LOLA'19 work,
similar to the CMCS'20 talk, but with some examples.
[slides pdf]
- Hypernet Semantics and Robust Observational Equivalence.
Invited talk at
CMCS 2020
online (12 October 2020)
Improved presentation of the LOLA'19 work, with
some discussion on simulation notions.
[slides pdf]
- Modelling Program Execution with
Token-Guided (Hierarchical) Graph Rewriting.
Seminar at
Ueda Laboratory,
Waseda University, Japan (30 January 2020)
Overview of my research in Birmingham.
[slides pdf (in English except for the front page)]
- Local Reasoning for Robust Observational Equivalence
(preliminary report).
- Online seminar at
Kobayashi Laboratory,
University of Tokyo, Japan (22 April 2020)
- Talks at
Introduction & high-level description of technical development.
[slides pdf]
- Invited talk at
STRINGS 3 and SYCO 5
in Birmingham, United Kingdom (6 September 2019)
Introduction for people in applied category theory &
string diagram community.
[slides pdf]
-
LOLA 2019
in Vancouver, Canada (23 June 2019)
Overview of technical development.
[slides pdf]
- Diagrammatic Execution Models for Functional Languages.
Overview of my research with diagrams.
[slides (of my half) pdf]
- Token-Passing Semantics
with and without Rewriting.
Overview of the LICS'18 paper and more.
[slides pdf]
- The Geometry of Computation-Graph Abstraction.
LICS 2018
in Oxford, United Kingdom (12 July 2018)
[slides pdf]
- A Graph-Rewriting Perspective of the Beta-Law
(preliminary report).
- A Functional Perspective on Machine Learning via Programmable
Induction and Abduction.
FLOPS 2018
in Nagoya, Japan (9 May 2018)
[slides pdf]
- Dynamic Geometry of Interaction: Overview.
Bellairs Workshop on compositional methods for network diagrams and component-based systems
in Bellairs Research Institute, Barbados (18 March 2018)
- Efficient Implementation of Evaluation Strategies via
Token-Guided Graph Rewriting.
WPTE 2017
in Oxford, United Kingdom (8 September 2017)
[slides pdf]
- Towards Abductive Functional Programming
(preliminary report).
ML Family Workshop 2017
in Oxford, United Kingdom (7 September 2017)
[slides pdf]
- The Dynamic Geometry of Interaction Machine:
a Call-by-Need Graph Rewriter.
CSL 2017
in Stockholm, Sweden (21 August 2017)
[slides pdf]
- Dynamic GoI Machine:
Call-by-Need and Call-by-Value Graph Rewriter
(preliminary report).
- Recursion and Adequacy
in Memoryful Geometry of Interaction.
Master thesis presentation in University of Tokyo, Japan
(1 February 2016)
[slides pdf in Japanese]
- Memoryful Geometry of Interaction II:
Recursion and Adequacy.
POPL 2016
in St. Petersburg, Florida, United States
(22 January 2016)
[slides pdf]
- Memoryful GoI with Recursion.
- Compiling Effectful Terms to Transducers: Prototype
Implementation of Memoryful Geometry of Interaction
(preliminary report).
-
ALGI 25
in Kanagawa University, Japan (19 August 2014)
-
LOLA 2014
in Vienna, Austria (13 July 2014)
[slides pdf]
- Resumption-Based Categorical Geometry of Interaction
for Effects.
Bachelor thesis presentation in University of Tokyo, Japan
(12 February 2014)
[slides pdf in Japanese]
Academic Career
Education
Professional Services
Award
- Dean's Award of Graduate School of
Information Science and Technology
[東京大学大学院 情報理工学系研究科 研究科長賞],
University of Tokyo, 2016.
Research Grants
Visits
Just to help us remember where we met :)
- 2020
- Half-day visit to
Ueda Laboratory,
Waseda University, Japan (30 January 2020)
- 2019
-
Categorical Algebra and Computation
(a Workshop in Honour of John Power on the occasion of
his 60th Birthday)
in Kyoto University, Japan (December 2019)
- Visit to
Mobility Reading Group,
Imperial College London, United Kingdom
(13–22 September 2019)
- Visit to
Programming, Logic and Semantics Group,
Computer Laboratory, University of Cambridge, United Kingdom
(9–12 September 2019)
-
STRINGS 3 and SYCO 5
in Birmingham, United Kingdom (September 2019)
- Visit to
JST ERATO MMSD Project,
Tokyo, Japan (regularly from August 2019;
see record)
-
LICS 2019
in Vancouver, Canada (June 2019)
- Visit to
Informatics Theory Group,
University of Bamberg, Germany
(31 January – 1 February 2019)
- 2018
-
Shonan Meeting No.109 on
diagrammatic methods for linear and nonlinear systems
in Shonan Village Center, Japan (November 2018)
- Visit to
JST ERATO MMSD Project,
Tokyo, Japan (19–22 November 2018)
-
Lambda World Cadiz 2018
in Cadiz, Spain (October 2018)
-
CRECOGI Project Meeting 2018
in Paris, France (October 2018)
-
SYCO 1
in Birmingham, United Kingdom (September 2018)
-
CSL 2018
in Birmingham, United Kingdom (September 2018)
-
FLoC 2018
in Oxford, United Kingdom (July 2018)
-
S-REPLS 9
in University of Sussex, United Kingdom (May 2018)
-
FLOPS 2018
in Nagoya, Japan (May 2018)
- Bellairs Workshops on
in Bellairs Research Institute, Barbados (March 2018)
- 2017
- 2016
- 2015
- 2014