Updated on 2026/04/21

写真a

 
TANABE YUDAI
 
Organization
School of Computing Assistant Professor
Title
Assistant Professor
Homepage
https://yudaitnb.github.io/
External link

Degree

  • Doctor of Science ( 2023.3   Tokyo Institute of Technology )

Research Interests

  • Software Maintenance

  • Type System

  • Programming Language Theory

  • Programming Languages

  • Software

Research Areas

  • Informatics / Software

  • Informatics / Theory of informatics

Education

  • Tokyo Institute of Technology   School of Computing   Mathematical and Computing Science

    2020.4 - 2023.3

    　 More details

    Country： Japan

    researchmap

  • Tokyo Institute of Technology   School of Computing   Mathematical and Computing Science

    2018.4 - 2020.3

    　 More details

    Country： Japan

    researchmap

  • Tokyo Institute of Technology   School of Science   Department of Information Science

    2014.4 - 2018.3

    　 More details

    Country： Japan

    researchmap

Research History

  • Institue of Science Tokyo   School of Computing   Assistant Professor

    2024.10

    　 More details

    Country：Japan

    researchmap

  • Tokyo Institute of Technology   School of Computing   Assistant Professor

    2024.4 - 2024.9

    　 More details

    Country：Japan

    researchmap

  • Kyoto University   Graduate School of Informatics Department of Communications and Computer Engineering   Program-Specific Researcher

    2023.4 - 2024.3

    　 More details

    Country：Japan

    researchmap

  • Japan Society for the Promotion of Science   JSPS Research Fellow

    2022.4 - 2023.3

    　 More details

    Country：Japan

    researchmap

Professional Memberships

Committee Memberships

  • PPL 2027   Treasurer  

    2027   

    　 More details

    Committee type：Academic society

    researchmap

  • PPL 2026   Assistant Treasurer  

    2026   

    　 More details

    Committee type：Academic society

    researchmap

  • SLE 2026   Program Committee  

    2026   

    　 More details

    Committee type：Academic society

    researchmap

  • PPL 2025   Treasurer, Program Committee  

    2025   

    　 More details

    Committee type：Academic society

    researchmap

  • ‹Programming› 2025   Artifact Evaluation Committee  

    2025   

    　 More details

    Committee type：Academic society

    researchmap

  • POPL2025   Artifact Evaluation Committee  

    2025   

    　 More details

    Committee type：Academic society

    researchmap

  • OOPSLA 2025   Artifact Evaluation Committee  

    2025   

    　 More details

    Committee type：Academic society

    researchmap

  • PLDI 2025 Research Artifacts   Artifact Evaluation Committee  

    2025   

    　 More details

    Committee type：Academic society

    researchmap

  • Joint Seminar on Programming Languages   Founder, Organizer  

    2024   

    　 More details

    Committee type：Academic society

    researchmap

  • IPSJ Special Interest Group on Programming (IPSJ SIGPRO)   External Reviewer  

    2024   

    　 More details

    Committee type：Academic society

    researchmap

  • PLDI 2024 Research Artifacts   Artifact Evaluation Committee  

    2024   

    　 More details

    Committee type：Academic society

    researchmap

  • TyDe 2024   Program Committee  

    2024   

    　 More details

    Committee type：Academic society

    researchmap

  • ECOOP 2024   Extended Review Committee and Artifact Evaluation Committee  

    2024   

    　 More details

    Committee type：Academic society

    researchmap

  • ATVA 2024   Poster Chair  

    2024   

    　 More details

    Committee type：Academic society

    researchmap

  • ICFP 2024   Artifact Evaluation Committee  

    2024   

    　 More details

    Committee type：Academic society

    researchmap

  • APSEC 2024   External Reviewer  

    2024   

    　 More details

    Committee type：Academic society

    researchmap

  • APLAS 2024 Student Research Competition and Posters   Oraganizer, Selection Committee, and Judge  

    2024   

    　 More details

    Committee type：Academic society

    researchmap

  • ICCQ 2024   Program Committee  

    2024   

    　 More details

    Committee type：Academic society

    researchmap

  • APSEC 2023 Student Research Competition   Program Committee  

    2023   

    　 More details

    Committee type：Academic society

    researchmap

  • ICSME 2023 Industry Track   Program Committee  

    2023   

    　 More details

    Committee type：Academic society

    researchmap

  • APLAS 2023 Student Research Competition and Posters   Judge  

    2023   

    　 More details

    Committee type：Academic society

    researchmap

  • COP 2023   Organizing Committee and Program Committee Chair  

    2023   

    　 More details

    Committee type：Academic society

    researchmap

  • ICCQ 2023   Program Committee  

    2023   

    　 More details

    Committee type：Academic society

    researchmap

  • PeerJ Computer Science   Reviewer  

    2022   

    　 More details

    Committee type：Academic society

    researchmap

  • COP 2022   Organizing Committee and Program Committee Chair  

    2022   

    　 More details

    Committee type：Academic society

    researchmap

  • PEPM History Project   Organizing Committee  

    2022   

    　 More details

    Committee type：Academic society

    researchmap

  • Scheme 2021   External Reviewer  

    2021   

    　 More details

    Committee type：Academic society

    researchmap

  • Onward! Essays 2020   Program Committee (Co-reviewer)  

    2020   

    　 More details

    Committee type：Academic society

    researchmap

▼display all

Papers

  • Space-Efficient Polymorphic Gradual Typing, Mostly Parametric Reviewed International journal

    Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe

    Proceedings of the ACM on Programming Languages (PACMPL)   8 ( PLDI )   1585 - 1608   2024.6

    　More details

    Authorship：Last author,　Corresponding author   Language：English   Publishing type：Research paper (scientific journal)   Publisher：Association for Computing Machinery (ACM)  

    Since the arrival of gradual typing, which allows partially typed code in a single program, efficient implementations of gradual typing have been an active research topic. In this paper, we study the space-efficiency problem of gradual typing in the presence of parametric polymorphism. Based on the existing work that showed the impossibility of a space-efficient implementation that supports fully parametric polymorphism, this paper will show that a space-efficient implementation is, in principle, possible by slightly relaxing parametricity. We first develop λC mp , which is a coercion calculus with mostly parametric polymorphism, and show its relaxed parametricity. Then, we present λS mp , a space-efficient version of λC mp , and prove that λS mp programs can be executed in a space-efficient manner and that translation from λC mp to λS mp is type- and semantics-preserving.

    DOI： 10.1145/3656441

    researchmap

  • Compilation Semantics for a Programming Language with Versions Reviewed International journal

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    Programming Languages and Systems, 21th Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26, 2023, Proceedings   14405   3 - 23   2023.11

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：arXiv  

    Programming with versions is a paradigm that allows a program to use multiple versions of a module so that the programmer can selectively use functions from both older and newer versions of a single module. Previous work formalized $λ_{\mathrm{VL } }$, a core calculus for programming with versions, but it has not been integrated into practical programming languages. In this paper, we propose VL, a Haskell-subset surface language for $λ_{\mathrm{VL } }$ along with its compilation method. We formally describe the core part of the VL compiler, which translates from the surface language to the core language by leveraging Girard's translation, soundly infers the consistent version of expressions along with their types, and generates a multi-version interface by bundling specific-version interfaces. We conduct a case study to show how VL supports practical software evolution scenarios and discuss the method's scalability.

    DOI： 10.1007/978-981-99-8311-7_1

    DOI： 10.48550/arXiv.2310.00298

    researchmap

  • A Functional Programming Language with Versions Reviewed International journal

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    The Art, Science, and Engineering of Programming   6 ( 1 )   5 - 5   2022

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (scientific journal)  

    DOI： 10.22152/programming-journal.org/2022/6/5

    researchmap

  • Multi-Version Objects: Mediating Object Access in Mixed-Version Programs for Python Reviewed

    Satsuki Kasuya, Yudai Tanabe, Hidehiko Mauhara

    The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1   2026.3

    　More details

    Language：English   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

    Other Link： https://jssst-ppl.org/workshop/2026/

  • Towards Borrowable Ownership Types with Algebraic Effect Handlers Reviewed

    Peien Chen, Yudai Tanabe, Taro Sekiyama

    The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1   2026.3

    　More details

    Language：English   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

    Other Link： https://jssst-ppl.org/workshop/2026/

  • A Lightweight Implementation for Efficient Multi-Stage Computation Using a Tracing JIT Compiler Reviewed

    Yusei Yoshimura, Yudai Tanabe, Hidehiko Masuhara

    The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1   2026.3

    　More details

    Language：Japanese   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

    Other Link： https://jssst-ppl.org/workshop/2026/

  • Language-Level Support for Multiple Versions for Software Evolution

    Tomoyuki Aotani, Satsuki Kasuya, Luthfan Anshar Lubis, Hidehiko Masuhara, Yudai Tanabe

    The 24th Belgium-Netherlands Software Evolution Workshop (BENEVOL2025), Summary of Highlights and Outstanding Work (SHOW) Track   2025.11

    　More details

    Authorship：Last author   Language：English   Publishing type：Research paper (conference, symposium, etc.)  

    researchmap

  • An Efficient Execution Mechanism on a GPU for Fine-Grained Parallel Programs With the Fork-Join Model Reviewed International journal

    Kosuke Kiuchi, Yudai Tanabe, Hidehiko Masuhara

    Journal of Information Processing   33   840 - 851   2025.10

    　More details

    Language：English   Publishing type：Research paper (scientific journal)   Publisher：Information Processing Society of Japan  

    DOI： 10.2197/ipsjjip.33.840

    researchmap

  • Dynamic Version Checking for Gradual Updating Reviewed International journal

    Satsuki Kasuya, Yudai Tanabe, Hidehiko Masuhara

    Journal of Information Processing   33   471 - 486   2025

    　More details

    Language：English   Publishing type：Research paper (scientific journal)   Publisher：Information Processing Society of Japan  

    DOI： 10.2197/ipsjjip.33.471

    researchmap

  • BatakJava: An Object-Oriented Programming Language with Versions Reviewed International journal

    Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara

    Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)   222 - 234   2022.11

    　More details

    Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.1145/3567512.3567531

    researchmap

    Other Link： https://dblp.uni-trier.de/db/conf/sle/sle2022.html#LubisTAM22

  • A Step toward Programming with Versions in Real-World Functional Languages Reviewed International journal

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    Proceedings of the 14th ACM SIGPLAN International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (COP '22)   44 - 51   2022

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)  

    DOI： 10.1145/3570353.3570359

    researchmap

    Other Link： https://dblp.uni-trier.de/db/conf/ecoop/cop2022.html#TanabeLAM22

  • A Context-Oriented Programming Approach to Dependency Hell Reviewed International journal

    Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara

    Proceedings of the 10th ACM SIGPLAN International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (COP '18)   8 - 14   2018

    　More details

    Authorship：Lead author,　Corresponding author   Language：English   Publishing type：Research paper (international conference proceedings)   Publisher：ACM  

    DOI： 10.1145/3242921.3242923

    researchmap

    Other Link： https://dblp.uni-trier.de/db/conf/ecoop/cop2018.html#TanabeAM18

▼display all

Books

  • COP 2023: Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity

    Yudai Tanabe, Lars Schütze, Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara（ Role： Edit）

    Association for Computing Machinery  2023.7  （ ISBN:9798400702440 ）

    　More details

  • COP '22: Proceedings of the 14th ACM International Workshop on Context-Oriented Programming and Advanced Modularity

    Yudai Tanabe, Jens Lincke, Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara（ Role： Edit）

    Association for Computing Machinery  2022.12  （ ISBN:9781450399869 ）

    　More details

MISC

  • Jorunal of Functional Programming PhD Abstracts International journal

    Yudai Tanabe

    Journal of Functional Programming   33 ( e6 )   2023.7

    　More details

    Language：English   Publisher：Cambridge University Press (CUP)  

    While modern software development heavily relies on versioned packages, the concept of versions is rarely supported in the semantics of programming languages, resulting in bulky and unsafe software updates. The dissertation proposes a programming language that intrinsically supports versions. To establish a basis of finer-grained version control in language semantics, the author proposes a language called VL, with core calculus for supporting multiple versions, a compilation method to the core, and an inference algorithm determining the version of each expression. The author proved the type safety of the core calculus to guarantee consistent versions in a program. The author also implements VL, a minimal but adequate functional language that supports data structures and a module system, and conducts a case study involving the simultaneous use of multiple versions.

    DOI： 10.1017/s0956796823000035

    researchmap

Presentations

  • Language-Level Support for Multiple Versions for Software Evolution Invited International conference

    Tomoyuki Aotani, Satsuki Kasuya, Luthfan Anshar Lubis, Hidehiko Masuhara, Yudai Tanabe

    The 24th Belgium-Netherlands Software Evolution Workshop (BENEVOL2025), Keynote Talk & Summary of Highlights and Outstanding Work (SHOW) Track  2025.11  Vadim Zaytsev, Fernando Castor

    　More details

    Event date： 2025.11

    Language：English   Presentation type：Oral presentation (keynote)  

    Venue：University of Twente   Country：Netherlands  

    researchmap

  • Chasing Efficiency in Sound Gradual Typing Invited

    田邉 裕大

    第156回プログラミング研究会 若手研究者招待講演  2025.11  日本情報処理学会

    　More details

    Event date： 2025.11

    Language：Japanese   Presentation type：Oral presentation (invited, special)  

    Venue：東京科学大学   Country：Japan  

    本講演では、漸進的型付け言語の空間効率性に関する講演者の最近の研究を紹介する。はじめに、健全な漸進的型付け言語の歴史的経緯と最近の研究動向を概観する。続けて、講演者らのPLDI’24論文：パラメトリック多相を持った漸進的型付け言語の空間効率性の達成について詳述する。本講演ではこれらに加え、健全な漸進的型付け言語の時間・空間計算コストの実証的評価にも触れる。漸進的型付け言語向けMutationフレームワークの一種であるDynamizerの実装、PLDI’24言語のインタプリタへの適用、初期的なベンチマーク結果から得られた発見を報告し、これらを踏まえた今後の研究展望を紹介する。

    researchmap

  • Chasing Sound and Practical Gradual Typing, in Action Invited

    Yudai Tanabe

    NII Karuizawa Seminar  2025.9  National Institute of Infomatics

    　More details

    Event date： 2025.9

    Language：English   Presentation type：Oral presentation (invited, special)  

    Venue：Inose Lodge   Country：Japan  

    researchmap

  • Bringing Fine-Grained Task Parallelism to GPUs Invited

    Yudai Tanabe

    MIT-Toyohashi ASPIRE workshop 2025  2025.6 

    　More details

    Event date： 2025.6

    Language：English   Presentation type：Oral presentation (invited, special)  

    researchmap

  • Programming Language with Versions Invited

    Yudai Tanabe

    The 7th STAIR Lab ST Seminar  2024.5  Software Technology & Artificial Intelligence Research Laboratory, Chiba Institute of Techonology

    　More details

    Event date： 2024.5

    Language：Japanese   Presentation type：Oral presentation (invited, special)  

    Venue：Online   Country：Japan  

    researchmap

  • A Language to Safely Exploit Multi-Version Modules at the Expression-level Invited

    Yudai Tanabe

    The 13th ACM SIGPLAN International Workshop on Context-Oriented Programming and Advanced Modularity (COP 2021)  2021.7 

    　More details

    Event date： 2021.7

    Language：English   Presentation type：Oral presentation (invited, special)  

    researchmap

  • Space-Efficient Polymorphic Gradual Typing, Mostly Parametric Invited

    Yudai Tanabe

    The 41st JSSST Annual Conference, Top-tier Conference Special Lecture  2024.9 

    　More details

    Language：English   Presentation type：Oral presentation (invited, special)  

    researchmap

  • Multi-Version Objects: Mediating Object Access in Mixed-Version Programs for Python

    Satsuki Kasuya, Yudai Tanabe, Hidehiko Masuhara

    The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1  2026.3  Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)

    　More details

    Event date： 2026.3

    Language：English   Presentation type：Oral presentation (general)  

    Venue：Kagawa   Country：Japan  

    researchmap

  • Towards Borrowable Ownership Types with Algebraic Effect Handlers

    Peien Chen, Yudai Tanabe, Taro Sekiyama

    The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1  2026.3  Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)

    　More details

    Event date： 2026.3

    Language：English   Presentation type：Oral presentation (general)  

    Venue：Kagawa   Country：Japan  

    researchmap

  • A Lightweight Implementation for Efficient Multi-Stage Computation Using a Tracing JIT Compiler

    Yusei Yoshimura, Yudai Tanabe, Hidehiko Masuhara

    The 28th JSSST Workshop on Programming and Programming Languages (PPL2026), Category 1  2026.3  Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)

    　More details

    Event date： 2026.3

    Language：Japanese   Presentation type：Oral presentation (general)  

    Venue：Kagawa   Country：Japan  

    researchmap

  • 借用可能リソースのためのTypestateプログラミング

    川上竜司, 田邉裕大, 関山太郎

    The 28th JSSST Workshop on Programming and Programming Languages (PPL 2026), Category 3 (Poster)  2026.3  Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)

    　More details

    Event date： 2026.3

    Language：Japanese   Presentation type：Poster presentation  

    Venue：Kagawa   Country：Japan  

    researchmap

  • 補助データの構造データへの色付けによる可視化と残像アニメーションの提案

    林みなみ, 田邉裕大, 増原英彦

    The 28th JSSST Workshop on Programming and Programming Languages (PPL 2026), Category 3 (Poster)  2026.3  Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)

    　More details

    Event date： 2026.3

    Language：Japanese   Presentation type：Poster presentation  

    Venue：Kagawa   Country：Japan  

    researchmap

  • Towards Borrowable Ownership Types with Algebraic Effect Handlers (Poster)

    Peien Chen, Yudai Tanabe, Taro Sekiyama

    The 28th JSSST Workshop on Programming and Programming Languages (PPL 2026), Category 3 (Poster)  2026.3  Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)

    　More details

    Event date： 2026.3

    Language：English   Presentation type：Poster presentation  

    Venue：Kagawa   Country：Japan  

    researchmap

  • 直接操作によるデータ構造プログラミングの対話的合成

    吉尾拓真, 田邉裕大, 増原英彦

    The 28th JSSST Workshop on Programming and Programming Languages (PPL 2026), Category 3 (Poster)  2026.3  Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)

    　More details

    Event date： 2026.3

    Language：Japanese   Presentation type：Poster presentation  

    Venue：Kagawa   Country：Japan  

    researchmap

  • Multi-Version Objectsによる複数バージョンが共存するアプリケーションの構築と進化

    糟谷颯希, 田邉裕大, 増原英彦

    The 28th JSSST Workshop on Programming and Programming Languages (PPL 2026), Category 3 (Poster)  2026.3  Special Interest Group on Programming and Programming Languages (JSSST-SIGPPL)

    　More details

    Event date： 2026.3

    Language：Japanese   Presentation type：Poster presentation  

    Venue：Kagawa   Country：Japan  

    researchmap

  • 多版オブジェクト機構による漸進的ソフトウェア移行

    糟谷颯希, 田邉裕大, 増原英彦

    ソフトウェアエンジニアリングシンポジウム2025 (SES2025)  2025.9  情報処理学会 ソフトウェア工学研究会

    　More details

    Event date： 2025.9

    Language：Japanese   Presentation type：Poster presentation  

    Venue：早稲田大学 西早稲田キャンパス   Country：Japan  

    researchmap

  • 漸進的ソフトウェア移行に向けた多版オブジェクト機構の導入

    糟谷颯希, 田邉裕大, 増原英彦

    日本ソフトウェア科学会第42回大会  2025.9  日本ソフトウェア科学会

    　More details

    Event date： 2025.9

    Language：Japanese   Presentation type：Poster presentation  

    Venue：東海大学 品川キャンパス   Country：Japan  

    researchmap

  • Programming through a Scientific Lens: Expression, Execution, and Proof

    Yudai Tanabe

    Open Campus 2025 - Institute of Science Tokyo  2025.8  Institute of Science Tokyo

    　More details

    Event date： 2025.8

    Language：Japanese   Presentation type：Public lecture, seminar, tutorial, course, or other speech  

    Venue：Ookayama, Tokyo   Country：Japan  

    researchmap

    Other Link： https://prg.is.titech.ac.jp/ja/news/tanabe-presents-research-introduction-at-open-campus-2025/

  • トレーシングJITコンパイラは多段階計算を救えるか？ Invited

    吉村友成, 田邉裕大, 増原英彦

    The 2nd Workshop on Metaprogramming and Related Topics 2025  2025.6 

    　More details

    Event date： 2025.6

    Language：Japanese   Presentation type：Oral presentation (invited, special)  

    researchmap

  • An Efficient Execution Mechanism on a GPU for Fine-Grained Parallel Programs With the Fork-Join Model

    Kosuke Kiuchi, Yudai Tanabe, Hidehiko Masuhara

    IPSJ PRO2024-5  2025.3 

    　More details

    Event date： 2025.3

    Language：Japanese   Presentation type：Oral presentation (general)  

    researchmap

  • 非互換な振る舞いの変更に対応した更新タイミングの決定戦略

    Satsuki Kasuta, Yudai Tanabe, Hidehiko Masuhara

    The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025)  2025.3 

    　More details

    Event date： 2025.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • Language Server Protocolを用いたライブプログラミング環境Kanonの汎環境化

    Ryota Inaba, Hidehiko Masuhara, Yudai Tanabe, Youyou Cong

    The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025)  2025.3 

    　More details

    Event date： 2025.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • Linear Haskell での Rust 流借用の純粋な実現

    Yusuke Matsushita, Yudai Tanabe, Taro Sekiyama, Atsushi Igarashi

    The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025)  2025.3 

    　More details

    Event date： 2025.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

    Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe

    The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025)  2025.3 

    　More details

    Event date： 2025.3

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • Adapting Ownership Types for Resource-Safe Algebraic Effect Handling

    Peien Chen, Yudai Tanabe, Youyou Cong, Hidehiko Masuhara

    The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025)  2025.3 

    　More details

    Event date： 2025.3

    Language：English   Presentation type：Poster presentation  

    researchmap

  • ライブプログラミング環境Kanonにおけるプログラマの関心事の強調法の提案

    Miyami Hayashi, Yudai Tanabe, Hidehiko Masuhara

    The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025)  2025.3 

    　More details

    Event date： 2025.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • 可視化されたデータ構造の編集による対話的プログラム合成手法RefSynの提案

    Takuma Yoshio, Yudai Tanabe, Hidehiko Masuhara

    The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025)  2025.3 

    　More details

    Event date： 2025.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • メタトレーシングJITコンパイラを用いた多段階計算の高速化への試み

    Yusei Yoshimura, Yudai Tanabe, Hidehiko Masuhara

    The 27th JSSST Workshop on Programming and Programming Languages (PPL 2025)  2025.3 

    　More details

    Event date： 2025.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • Dynamic Version Checking for Gradual Updating

    Satsuki Kasuya, Yudai Tanabe, Hidehiko Masuhara

    IPSJ PRO2024-4.  2025.1 

    　More details

    Event date： 2025.1

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

    Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe

    The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024)  2024.6 

    　More details

    Event date： 2024.6

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • Static Shape Checking in TensorSafe for Directed Acyclic Graph Models

    Taito Suda, Yudai Tanabe, Hidehiko Masuhara, Youyou Cong

    IPSJ PRO  2024.6 

    　More details

    Event date： 2024.6

    Language：Japanese   Presentation type：Oral presentation (general)  

    researchmap

  • Compilation Semantics for a Programming Language with Versions

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    The 26th JSSST Workshop on Programming and Programming Languages (PPL 2024)  2024.3 

    　More details

    Event date： 2024.3

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • 複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性検査機構の提案

    Satsuki Kasuya, Hidehiko Masuhara, Tomoyuki Aotani, Yudai Tanabe, Luthfan Anshar Lubis

    The 26th JSSST Workshop on Programming and Programming Languages (PPL 2024)  2024.3 

    　More details

    Event date： 2024.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • Compilation Semantics for a Programming Language with Versions

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023)  2023.11 

    　More details

    Event date： 2023.11

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • A Functional Programming Language with Versions

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    The International Conference on the Art, Science, and Engineering of Programming (‹Programming›'23)  2023.3 

    　More details

    Event date： 2023.3

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • BatakJava: An Object-Oriented Programming Language with Versions

    Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara

    The 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)  2022.12 

    　More details

    Event date： 2022.12

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • A Step toward Programming with Versions in Real-World Functional Languages

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhar

    The 14th ACM SIGPLAN International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (COP '22)  2022.6 

    　More details

    Event date： 2022.6

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • A Functional Programming Language with Versions

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    The International Conference on the Art, Science, and Engineering of Programming (‹Programming›'22)  2022.4 

    　More details

    Event date： 2022.4

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • A Functional Programming Language with Versions

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    The 24th JSSST Workshop on Programming and Programming Languages (PPL 2022)  2022.3 

    　More details

    Event date： 2022.3

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • Type-based Compatibility Analysis by Using Graded Modality

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    The 37th JSSST Annual Conference (JSSST 2020)  2020.9 

    　More details

    Event date： 2020.9

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • BatakJava: A Java Extension with Versions

    Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara

    The 37th JSSST Annual Conference (JSSST 2020)  2020.9 

    　More details

    Event date： 2020.9

    Language：English   Presentation type：Poster presentation  

    researchmap

  • Object-oriented Programming with Versions

    Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara

    The 22nd JSSST Workshop on Programming and Programming Languages (PPL 2020)  2020.3 

    　More details

    Event date： 2020.3

    Language：English   Presentation type：Poster presentation  

    researchmap

  • Version Polymorphism based on Coeffect Polymorphism

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    The 22nd JSSST Workshop on Programming and Programming Languages (PPL 2020)  2020.3 

    　More details

    Event date： 2020.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • A Reformalization of Quantified Types Based on Coeffect Calculus

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    The 124th IPSJ Workshop on Programming  2019.6 

    　More details

    Event date： 2019.6

    Language：Japanese   Presentation type：Oral presentation (general)  

    researchmap

  • A Proposal for a Versioned Module System

    Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara

    The 21st JSSST Workshop on Programming and Programming Languages (PPL 2019)  2019.3 

    　More details

    Event date： 2019.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

  • Context Oriented Programming Approach to Dependent Hell

    Yudai Tanabe

    Kumiki Meeting 6.0  2018.9 

    　More details

    Event date： 2018.9

    Language：Japanese   Presentation type：Oral presentation (invited, special)  

    researchmap

  • A Context-Oriented Programming Approach to Dependency Hell

    Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara

    The 10th ACM SIGPLAN International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (COP '18)  2018.7 

    　More details

    Event date： 2018.7

    Language：English   Presentation type：Oral presentation (general)  

    researchmap

  • Introducing Versions into Programming Languages

    Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

    The 20st JSSST Workshop on Programming and Programming Languages (PPL 2018)  2018.3 

    　More details

    Event date： 2018.3

    Language：Japanese   Presentation type：Poster presentation  

    researchmap

▼display all

Awards

  • Interactive Poster Award

    2025.9   IPSJ/SIGSE Software Engineering Symposium (SES2025)   Gradual Migration via Multi-version Object Mechanism

    Satsuki Kasuya, Yudai Tanabel, Hidehiko Masuhara

    　More details

    Award type：Award from Japanese society, conference, symposium, etc.  Country：Japan

    researchmap

  • PPL 2025 ポスター賞 (受賞者は第一著者)

    2025.3   第27回プログラミングおよびプログラミング言語ワークショップ (PPL2025)   Linear Haskell での Rust 流借用の純粋な実現

    松下祐介, 田邉裕大, 関山太朗, 五十嵐淳

    　More details

    Award type：Award from Japanese society, conference, symposium, etc.  Country：Japan

    researchmap

Research Projects

  • Programming Supports for Incremental and Interactive Updates through Compatibility-Oriented Program Analysis

    Grant number：25K21178  2025.4 - 2028.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Early-Career Scientists

    Yudai Tanabe

    　 More details

    Authorship：Principal investigator 

    Grant amount：\4810000 （ Direct Cost: \3700000 、 Indirect Cost：\1110000 ）

    researchmap

  • Updating Support Techniques by Introducing Semantic Versioning into Programming Languages

    Grant number：23K19961  2023.8 - 2025.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Research Activity Start-up

    Yudai Tanabe

    　 More details

    Authorship：Principal investigator 

    Grant amount：\2860000 （ Direct Cost: \2200000 、 Indirect Cost：\660000 ）

    researchmap

  • High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks

    Grant number：23K28058  2023.4 - 2028.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (B)

    　 More details

    Authorship：Coinvestigator(s) 

    Grant amount：\18460000 （ Direct Cost: \14200000 、 Indirect Cost：\4260000 ）

    researchmap

  • バージョンを言語要素に持つプログラミング言語の開発

    Grant number：22KJ1313  2023.3 - 2024.3

    日本学術振興会  科学研究費助成事業  特別研究員奨励費

    田辺 裕大

    　 More details

    Grant amount：\1400000 （ Direct Cost: \1400000 ）

    交付申請書で挙げた3つの項目について以下の成果を得た。
    項目Ⅰ「コア言語の設計」コア言語λVLの体系を変更し、型安全性の言明を洗練させた。本成果は萌芽的な研究アイデアと共に<Programming>2023で発表した。
    項目Ⅱ「現代的言語機能の提案言語への導入」（オブジェクト指向言語）提案機能を持つオブジェクト指向言語BatakJavaを設計した。BatakJavaではバージョニングの対象はクラス定義である。型検査機は各クラスの持つバージョン情報を収集し、特定のバージョン向けのJavaクラスへとコンパイルする。BatakJava言語処理系を拡張可能JavaコンパイラExtendJを用いて実装し、事例研究を行った。本成果はSLE2023で発表された。また、BatakJavaの柔軟性を向上させるためのアイデア・応じたコンパイル手法の拡張のアイデアをPPL2023で発表した。（関数型言語）Haskellのサブセットを提案機能で拡張した言語VLを設計した。VLではバージョニングの対象はモジュールである。各式の外部モジュールへの依存性はインターフェースに集約され、モジュール外に提供される。また検討を行った結果、当初の計画とは異なり、提案機能とパターンマッチに相互作用があることが明らかになった。本成果はVL言語処理系として実装され、現在執筆中の論文に纏め2023年末の国際会議に投稿予定である。
    項目Ⅲ「既存言語のプログラミングと提案手法の接続」既存の関数型言語プログラムから式レベルの依存性情報を含むインターフェースを自動生成する手法Bundlingを提案した。Bundlingは各バージョンのトップレベル式の持つバージョン情報を集約する。本成果はCOP2023で発表しVL言語の言語処理系の一部として実装された。本成果は現在執筆中の論文に纏め、2023年末の国際会議に投稿予定である。

    researchmap

  • A Programming Language With Versions

    Grant number：22J14382  2022.4 - 2023.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for JSPS Research Fellows

    Yudai Tanabe

    　 More details

    Authorship：Principal investigator 

    Grant amount：\1400000 （ Direct Cost: \1400000 ）

    researchmap

  • Research on software contracts for highly interoperable software modules

    Grant number：20H00582  2020.4 - 2025.3

    Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research  Grant-in-Aid for Scientific Research (A)

    Atsushi Igarashi, Kohei Suenaga, Taro Sekiyama, Mirai Ikebuchi, Yudai Tanabe, Yusuke Matsushita

    　 More details

    Authorship：Coinvestigator(s) 

    Grant amount：\44460000 （ Direct Cost: \34200000 、 Indirect Cost：\10260000 ）

    researchmap

▼display all

Teaching Experience

  • Forum on Computing

    2024.10 Institution：Institute of Science Tokyo

    　More details

  • Research opportunity in Laboratories (MCS)

    2024.10 Institution：Institute of Science Tokyo

    　More details

  • Programming II

    2024.10 Institution：Institute of Science Tokyo

    　More details

  • Forum on Computing

    2024.4 - 2024.9 Institution：Tokyo Institute of Technology

    　More details

  • Programming II

    2024.4 - 2024.9 Institution：Tokyo Institute of Technology

    　More details

Academic Activities

  • PPL 2021 Social Event Panelist

    Role(s)： Panel moderator, session chair, etc.

    Taro Sekiyama  2021

    　More details

    Type：Academic society, research group, etc. 

    researchmap

  • SPLASH 2020 Student Volunteer

    Role(s)： Planning, management, etc.

    Robert Dyer and Samantha Syeda Khairunnesa  2020

    　More details

    Type：Academic society, research group, etc. 

    researchmap