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.
[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
- 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).
- 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