Yuito MURASE（村瀬 唯斗）

profile image of Yuito MURASE

I am a Ph.D. student at graduate school of informatics, Kyoto University. My supervisor is Atsushi Igarashi.

My research interests include following areas

Especially, I am interested in establishing type-theoretic foundation of Lisp-style macros. I am more than happy to have discussions if you have interests in the similar area!

Contacts

Publications

  1. Yuito Murase, Yuichi Nishiwaki and Atsushi Igarashi
    Contextual Modal Type Theory with Polymorphic Contexts
    In Proceedings of 32nd European Symposium on Programming (ESOP 2023)
    Nominated for the best paper award of ETAPS 2023
    [ Springer | extended version at arXiv | slides ]
  2. Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase
    Modality via Iterated Enrichment
    In Proceedings of 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018)
    [ Elsevier ]

Talks

  1. Yuito Murase
    Refined2 Environment Classifiers
    Presented at The APLAS 2024 Student Research Competition, Kyoto, Japan, Oct. 22-23, 2024
    The winner of the first place award and the audience award for posters
  2. Yuito Murase, Atsushi Igarashi
    Scope-Aware Staged Computation via Labelled Deduction
    Presented at 40th Symbolic Logic and Computer Science (SLACS 2023), Kyoto, Japan, Aug. 31-Sep. 1, 2023
  3. Yuito Murase, Yuichi Nishiwaki and Atsushi Igarashi
    Contextual Modal Type Theory with Polymorphic Contexts
    Presented at 25th Workshop on Programming and Programming Languages (PPL 2023), Nagoya, Japan, Mar. 6-Mar.8, 2023
  4. Yuito Murase, Atsushi Igarashi
    Reconstruction of Refined Environment Classifiers via Hybrid Type Theory
    Presented at 25th Workshop on Programming and Programming Languages (PPL 2023), Nagoya, Japan, Mar. 6-Mar.8, 2023
  5. Yuito Murase, Yuichi Nishiwaki and Atsushi Igarashi
    Type-theoretic approach to safe metaprogramming: Contextual modal type theory with polymorphic context
    Presented at 17th ICT Innovation, Kyoto, Japan, Feb. 22, 2023
  6. Yuito Murase
    Kripke-style Contxtual Modal Type Theory
    Presented at 13th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2018), Oxford, UK, Jol reversed. 7, 2018
  7. Yuito Murase
    Foundational Theory of Self-Extendable Macros
    Presented at 19th Workshop on Programming and Programming Languages (PPL 2017), Fuefuki, Japan, Mar. 8-Mar.10, 2017
    The winner of the student presentation award

Experiences