Rchr
J-GLOBAL ID：200901085016075705   Update date: Sep. 30, 2024

Ueno Katsuhiro

ウエノ カツヒロ | Ueno Katsuhiro
Affiliation and department：
Niigata University Academic Assembly Institute of Science and Technology

About Niigata University Academic Assembly Institute of Science and Technology


Job title： Associate Professor
Homepage URL  (1)： https://www.pllab.ie.niigata-u.ac.jp/katsu/
Research field  (2)： Software ,  Information theory
Research keywords  (5)： Type Theory ,  ML ,  Functional Programming Language ,  Compiler ,  Software Development
Research theme for competitive and other funds  (8)：
  • 2024 - 2029 Development of a Functional Programming Language without Abstraction of Computing Resources
  • 2023 - 2024 ソフトウェアのビルド手続きを系統的に記述するための新たな枠組みの開発
  • 2019 - 2023 マルチコア並列計算に対応した関数型言語処理系の実現
  • 2018 - 2022 Development of Functional Language Capable of Parallel Computation on Multicore Processors
  • 2015 - 2019 A systematic approach for developing practical programming languages
Show all
Papers (31)：
  • 佐藤 季樹, 上野 雄大. 型別名を保存する型推論アルゴリズム. 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024). 2024
  • Katsuhiro Ueno, Atsushi Ohori. Concurrent and Parallel Garbage Collection for Lightweight Threads on Multicore Processors. Proceedings of the 2022 ACM SIGPLAN International Symposium on Memory Management. 2022
  • Atsushi Ohori, Katsuhiro Ueno. A Compilation Method for Dynamic Typing in ML. APLAS 2021: Programming Languages and Systems. 2021. 140-159
  • 上野雄大. 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式. 第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020). 2020
  • 遠藤侑介, 松本宗太郎, 上野雄大, 住井英二郎, 松本行弘. Progress report: Ruby 3における静的型解析の実現に向けて. 第21回プログラミングおよびプログラミング言語ワークショップ (PPL2019). 2019
ｍore...
MISC (4)：
  • 上野雄大. 日本語は計算が書けるか. コンピュータソフトウェア. 2024. 41. 3. 3_90-3_91
  • 末永 幸平. 日本ソフトウェア科学会第40回大会 受賞者による受賞研究紹介. コンピュータソフトウェア. 2024. 41. 3. 3_76-3_86
  • 住井 英二郎. 日本ソフトウェア科学会第37回大会受賞者による受賞研究紹介. コンピュータソフトウェア. 2021. 38. 2. 2_5-2_13
  • 光来 健一, 上野 雄大. 日本ソフトウェア科学会第33回大会報告. コンピュータソフトウェア. 2017. 34. 1. 1_39-1_51
Books (1)：
  • SML#で始める実践MLプログラミング
    共立出版 2021 ISBN:9784320124714
Lectures and oral presentations  (3)：
  • SML#: Toward the Ideal Interoperability between Languages and Systems
    (MoreVMs'23 2023)
  • SML#コンパイラを使いこなす
    (PPLサマースクール2018 2018)
  • The SML# compiler backend: compiling ML to C-compatible low-level code
    (Syntax and Smentics of Low-Level Languages (LOLA 2015) 2015)
Works (1)：
  • SML#コンパイラ
    大堀 淳, 上野雄大, 開発協力者多数 2006 - 現在
Education (2)：
  • 2006 - 2009 Tohoku University Graduate School of Information Sciences Department of System Information Sciences
  • 2004 - 2006 Japan Advanced Institute of Science and Technology School of Information Science
Professional career (1)：
  • Doctor of Philosophy (Information Sciences) (Tohoku University)
Work history (4)：
  • 2021/10 - 現在 Niigata University Academic Assembly Institute of Science and Technology Associate Professor
  • 2016/06 - 2021/09 Research Institute of Electrical Communication, Tohoku University Associate Professor
  • 2009/04 - 2016/05 Research Institute of Electrical Communication, Tohoku University Assistant Professor
  • 2006/06 - 2008/03 Research Institute of Electrical Communication, Tohoku University Industry-Academia-Government Collaboration Researcher
Committee career (24)：
  • 2022/04 - 現在 情報処理学会プログラミング研究会 幹事
  • 2021/04 - 現在 日本ソフトウェア科学会プログラミング論研究会 運営委員
  • - 2024/09 The 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024) A program committee member
  • - 2023/09 The 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications(RTCSA’23) Local Arrangements Chair
  • - 2023/06 Libraries, Languages and Compilers for Array Programming (ARRAY 2023) A Program Committee Member
Show all
Awards (6)：
  • 2023/12 - 日本ソフトウェア科学会 第40回大会優秀発表賞 Minissg: 小さく軽量で規約のない静的Webサイトジェネレータ
  • 2021/01 - 日本ソフトウェア科学会 第37回高橋奨励賞 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式
  • 2020/10 - 日本ソフトウェア科学会 第37回大会優秀発表賞 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式
  • 2020/09 - 日本ソフトウェア科学会 第24回研究論文賞 部分動的レコードを活用した型付きテンプレートエンジンの実現
  • 2015/03 - 公益財団法人トーキン科学技術振興財団 トーキン財団奨励賞 高信頼プログラミング言語の実用化技術の研究および次世代言語処理系の開発
Show all
Association Membership(s) (2)：
Information Processing Society of Japan ,  Japan Society for Software Science and Technology
※ 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