Rchr
J-GLOBAL ID：200901029541627827
Update date: Nov. 18, 2024
MASUHARA Hidehiko
マスハラ ヒデヒコ | MASUHARA Hidehiko
Affiliation and department：
Job title：
Professor
Homepage URL (2)：
http://prg.is.titech.ac.jp/ja/people/masuhara/
,
http://prg.is.titech.ac.jp/people/masuhara/
Research field (1)：
Software
Research keywords (2)：
Programming Languages
, プログラミング言語
Research theme for competitive and other funds (26)：
- 2023 - 2028 High-Performance and Highly-Productive Language Infrastructures Based on Language Implementation Frameworks
- 2021 - 2025 仮想空間と現実世界の融合を支援する反応的計算基盤の構築
- 2020 - 2023 Multi-Platform and Ployglot Live Programming Framework
- 2018 - 2023 High-Productivity GPU Programming Languages
- 2014 - 2018 Code recommendation system with developer's background information
- 2010 - 2015 A Study on modularization mechanisms to integrate hierarchical and crosscutting decomposition for the post-aspect era
- 2006 - 2009 Aspect-Oriented Software Development Methodology for Enhancing Productivity and Safety
- 2006 - 2008 Foundational models of aspect-oriented languages and their applications
- 2005 - 2006 Wide Range Application of Status Evaluation Function
- 2001 - 2005 High Reliability Component-Based Software Engineering
- 2003 - 2004 Acquisition of Evaluation Function of high precision by Learning
- 2000 - 2003 Secure Programming Languages Based on Mobile Code
- 2001 - 2002 Automatic Construction of State Evaluation Functions and its Dynamic Evaluator
- 2000 - 2002 Adaptive Software Substrate for High Performance Wide Area Computing
- 1999 - 2000 自己反映言語による並列・分散アプリケーション記述の改善
- 1997 - 1998 多様な並行オブジェクトモデルをサポートする言語処理系の研究
- 1996 - 1998 StackThreads/MP : Integrating Futures into Calling Standards
- 1996 - 1996 並列計算のための自己反映オブジェクト指向言語処理系
- Advanced Programming Language Systems
- Reflective Computation
- High-Speed Partial Evaluation
- プログラミング環境
- アスペクト指向プログラミング
- 先進的なプログラミング言語システム
- 自己反映計算
- 高速な部分計算
Show all
Papers (117)：
-
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. Compilation Semantics for a Programming Language with Versions. CoRR. 2023. abs/2310.00298
-
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. Compilation Semantics for a Programming Language with Versions. APLAS. 2023. 3-23
-
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara. BatakJava: An Object-Oriented Programming Language with Versions. SLE. 2022. 222-234
-
Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe. Preface to the JOT special issue on ECOOP 2021: selected workshop papers. Journal of Object Technology. 2022. 21. 2
-
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara. Signal classes: A mechanism for building synchronous and persistent signal networks. Leibniz International Proceedings in Informatics, LIPIcs. 2021. 194
ｍore...
MISC (15)：
-
Matthias Springer, Hidehiko Masuhara, Robert Hirschfeld. A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes. 2017. 10. 2
-
Tim Felgentreff, Robert Hirschfeld, Maria Graber, Alan Borning, Hidehiko Masuhara. Declaring Constraints on Object-oriented Collections. 2016. 9. 4
-
Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani. Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq. 2015. 8. 4
-
Manabu Toyama, Tomoyuki Aotani, Eric Bodden, Hidehiko Masuhara, Eric Tanter. Aspect Interfaces: Towards Separate Type-checking of Aspect-oriented Programs with Inter-type Declarations. 2013. 6. 4. 79-79
-
Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara. Activation Order Analysis of Context-oriented Programs Based on Resource Usage Analysis. 2013. 6. 1. 29-29
ｍore...
Books (4)：
-
情報科学入門-Rubyを使って学ぶ
東京大学出版会 2010 ISBN:4130624520
-
情報: 東京大学教養学部テキスト
東京大学出版会 2006 ISBN:4130624512
-
Reflection in Concurrent Object-Oriented Languages
Formal Methods for Distributed Processing: An Object Oriented Approach (Cambridge University Press) 2001
-
Reflection in Concurrent Object-Oriented Languages
Formal Methods for Distributed Processing: An Object Oriented Approach (Cambridge University Press) 2001
Professional career (1)：
- Doctor of Science (The University of Tokyo)
Work history (5)：
- 2013/04 - 現在 Tokyo Institute of Technology Department of Mathematical and Computing Sciences Professor
- 2002/04 - 2013/03 The University of Tokyo Graduate School of Arts and Sciences Associate Professor
- 2001/10 - 2002/09 University of British Columbia, Canada Department of Computer Science Visiting Professor
- 2000/04 - 2002/03 The University of Tokyo Graduate School of Arts and Sciences Lecturer
- 1995/08 - 2000/03 The University of Tokyo College / Graduate School of Arts and Sciences Assistant Professor
Committee career (1)：
- 2018/06 - 現在 日本ソフトウェア科学会 副理事長
Awards (5)：
- 2013/09 - Japan Society of Software Science and Technology Best paper award
- 2011 - Information Processing Soceity of Japan Best paper award
- 2009 - Minister of Education,Culture, Sports, Science and Technology The Young Scientists' Prize, The Commendation for Science and Technology
- 2008 - Japan Society for Software Science and Technology Best tutorial paper award
- 1996 - Information Processing Soceity of Japan Best paper award
Association Membership(s) (3)：
日本ソフトウェア科学会
, 情報処理学会
, ACM
