Rchr
J-GLOBAL ID：200901085016075705   Update date: Feb. 01, 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  (2)： https://researchers.adm.niigata-u.ac.jp/html/200002607_ja.html ,  https://researchers.adm.niigata-u.ac.jp/html/200002607_en.html
Research field  (1)： Software
Research keywords  (5)： 型理論 ,  ML ,  関数型言語 ,  コンパイラ ,  プログラミング言語
Research theme for competitive and other funds  (6)：
  • 2019 - 2023 マルチコア並列計算に対応した関数型言語処理系の実現
  • 2018 - 2022 超並列技術をML系高信頼言語SML#に統合した超並列関数型言語の実現と最適化
  • 2015 - 2019 A systematic approach for developing practical programming languages
  • 2013 - 2018 Basic research on implementation technology for making SML# a practical polymorphic language
  • 2012 - 2015 A study on high-level and safe interoperability of programming languages
Show all
Papers (30)：
  • 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
  • 大野一樹, 上野雄大, 大堀淳. 関数型言語SML#のためのコードレベルデバッグ環境の実現方式. 情報処理学会論文誌 プログラミング(PRO). 2018. 11. 3. 1-13
ｍore...
MISC (3)：
  • Progress report on SML# : a practical functional language. 2011. 28. 1-4
  • The power of bitmap marking non-moving GC. 2011. 28. 1-5
  • Ueno Katsuhiro, Ohori Atsushi. A-030 Polymorphic Foreign Function Interface between ML and C. 2009. 8. 1. 317-318
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 (22)：
  • 2022/04 - 現在 情報処理学会プログラミング研究会 幹事
  • 2021/04 - 現在 日本ソフトウェア科学会プログラミング論研究会 運営委員
  • - 2023/06 Libraries, Languages and Compilers for Array Programming (ARRAY 2023) A Program Committee Member
  • - 2021/08 ACM SIGPLAN ML Family Workshop 2021 A program committee member
  • - 2021/03 第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) プログラム共同委員長
Show all
Awards (5)：
  • 2021/01 - 日本ソフトウェア科学会 第37回高橋奨励賞 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式
  • 2020/10 - 日本ソフトウェア科学会 第37回大会優秀発表賞 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式
  • 2020/09 - 日本ソフトウェア科学会 第24回研究論文賞 部分動的レコードを活用した型付きテンプレートエンジンの実現
  • 2015/03 - 公益財団法人トーキン科学技術振興財団 トーキン財団奨励賞 高信頼プログラミング言語の実用化技術の研究および次世代言語処理系の開発
  • 2011/01 - 日本ソフトウェア科学会 第27回大会高橋奨励賞 多相レコード計算に基づく軽量な第一級オーバーロードの設計と実装
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