Rchr
J-GLOBAL ID：200901029541627827   Update date: Apr. 07, 2024

MASUHARA Hidehiko

マスハラ ヒデヒコ | MASUHARA Hidehiko
Affiliation and department：
Tokyo Institute of Technology School of Computing

About Tokyo Institute of Technology School of Computing


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
Show all
Papers (103)：
  • 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
  • Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara. A Functional Programming Language with Versions. CoRR. 2021. abs/2107.07301
  • Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi. Method safety mechanism for asynchronous layer deactivation. Science of Computer Programming. 2018. 156. 104-120
  • Raffi Khatchadourian, Hidehiko Masuhara. Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods. CoRR. 2018. abs/1803.10198
ｍ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
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM