Tanabe Yudai

タナベユウダイ | Tanabe Yudai

Affiliation and department：
Job title： Assistant Professor
Homepage URL (1)： https://yudaitnb.github.io/

Research field (2)： Information theory , Software

Research keywords (4)： Programming Languages , Software , Type Theory , Software Maintenance

Research theme for competitive and other funds (4)：

2023 - 2028 High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks
2023 - 2025 Research on Updating Support Techniques by Introducing Semantic Versioning into Programming Languages
2020 - 2025 Research on software contracts for highly interoperable software modules
2022 - 2023 バージョンを言語要素に持つプログラミング言語の開発

Papers (6)：

Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe. Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proceedings of the ACM on Programming Languages. 2024. 8. PLDI. 1585-1608
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. Compilation Semantics for a Programming Language with Versions. Programming Languages and Systems, 21th Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26, 2023, Proceedings. 2023. 14405. 3-23
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara. BatakJava: An Object-Oriented Programming Language with Versions. Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022). 2022. 222-234
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. A Step toward Programming with Versions in Real-World Functional Languages. Proceedings of the 14th ACM SIGPLAN International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition (COP '22). 2022. 44-51
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. A Functional Programming Language with Versions. The Art, Science, and Engineering of Programming. 2022. 6. 1. 5-5

ｍore...

Books (2)：

COP 2023: Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
Association for Computing Machinery 2023 ISBN:9798400702440
COP '22: Proceedings of the 14th ACM International Workshop on Context-Oriented Programming and Advanced Modularity
Association for Computing Machinery 2022 ISBN:9781450399869

Lectures and oral presentations (15)：

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
(The 41st JSSST Annual Conference 2024)
Static Shape Checking in TensorSafe for Directed Acyclic Graph Models
(IPSJ PRO 2024)
Programming Language with Versions
(The STAIR Lab Seminar, Software Technology & Artificial Intelligence Research Laboratory, Chiba Institute of Techonology 2024)
複数バージョンのクラス定義を使用できる動的型付け言語の設計とその互換性検査機構の提案
(The 26th JSSST Workshop on Programming and Programming Languages (PPL 2024) 2024)
Compilation Semantics for a Programming Language with Versions
(The 26th JSSST Workshop on Programming and Programming Languages (PPL 2024) 2024)

ｍore...

Education (3)：

2020 - 2023 Tokyo Institute of Technology School of Computing Mathematical and Computing Science
2018 - 2020 Tokyo Institute of Technology School of Computing Mathematical and Computing Science
2014 - 2018 Tokyo Institute of Technology School of Science Department of Information Science

Professional career (1)：

Work history (4)：

2024/10 - 現在 Institue of Science Tokyo School of Computing Assistant Professor
2024/04 - 2024/09 Tokyo Institute of Technology School of Computing Assistant Professor
2023/04 - 2024/03 Kyoto University Graduate School of Informatics Department of Communications and Computer Engineering Program-Specific Researcher
2022/04 - 2023/03 Japan Society for the Promotion of Science JSPS Research Fellow

Committee career (23)：

Show all

Association Membership(s) (1)：

ACM

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page