研究者
J-GLOBAL ID：200901085016075705   更新日: 2024年02月01日

上野 雄大

ウエノ カツヒロ | Ueno Katsuhiro
所属機関・部署：
新潟大学 自然科学系 情報電子工学系列

新潟大学 自然科学系 情報電子工学系列 について


職名： 准教授
ホームページURL (2件)： https://researchers.adm.niigata-u.ac.jp/html/200002607_ja.html ,  https://researchers.adm.niigata-u.ac.jp/html/200002607_en.html
研究分野 (1件)： ソフトウェア
研究キーワード (5件)： 型理論 ,  ML ,  関数型言語 ,  コンパイラ ,  プログラミング言語
競争的資金等の研究課題 (6件)：
  • 2019 - 2023 マルチコア並列計算に対応した関数型言語処理系の実現
  • 2018 - 2022 超並列技術をML系高信頼言語SML#に統合した超並列関数型言語の実現と最適化
  • 2015 - 2019 実用プログラミング言語のための系統的言語開発基盤の実現
  • 2013 - 2018 ML系多相型言語SML#の実用化技術に関する基礎研究
  • 2012 - 2015 高水準かつ安全なプログラミング言語間連携機構の実現
全件表示
論文 (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
もっと見る
MISC (3件)：
  • 大堀 淳, 上野 雄大. SML# : 実用関数型言語としての完成に向けて. 日本ソフトウェア科学会大会論文集. 2011. 28. 1-4
  • 上野 雄大, 大堀 淳. ビットマップマーキングに基づくnon-moving GCの可能性. 日本ソフトウェア科学会大会論文集. 2011. 28. 1-5
  • 上野 雄大, 大堀 淳. A-030 MLとC間の多相型外部関数インターフェース(モデル・アルゴリズム・プログラミング,一般論文). 情報科学技術フォーラム講演論文集. 2009. 8. 1. 317-318
書籍 (1件)：
  • SML#で始める実践MLプログラミング
    共立出版 2021 ISBN:9784320124714
講演・口頭発表等 (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 - 現在
学歴 (2件)：
  • 2006 - 2009 東北大学 大学院情報科学研究科 システム情報科学専攻
  • 2004 - 2006 北陸先端科学技術大学院大学 情報科学研究科 情報処理学専攻
学位 (1件)：
  • 博士(情報科学) (東北大学)
経歴 (4件)：
  • 2021/10 - 現在 新潟大学 自然科学系情報電子工学系列 准教授
  • 2016/06 - 2021/09 東北大学 電気通信研究所 准教授
  • 2009/04 - 2016/05 東北大学 電気通信研究所 助教
  • 2006/06 - 2008/03 東北大学 電気通信研究所 産学官連携研究員
委員歴 (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) プログラム共同委員長
全件表示
受賞 (5件)：
  • 2021/01 - 日本ソフトウェア科学会 第37回高橋奨励賞 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式
  • 2020/10 - 日本ソフトウェア科学会 第37回大会優秀発表賞 自然なデータ表現を持つ多相型言語のLLVM IRへのコンパイル方式
  • 2020/09 - 日本ソフトウェア科学会 第24回研究論文賞 部分動的レコードを活用した型付きテンプレートエンジンの実現
  • 2015/03 - 公益財団法人トーキン科学技術振興財団 トーキン財団奨励賞 高信頼プログラミング言語の実用化技術の研究および次世代言語処理系の開発
  • 2011/01 - 日本ソフトウェア科学会 第27回大会高橋奨励賞 多相レコード計算に基づく軽量な第一級オーバーロードの設計と実装
所属学会 (2件)：
情報処理学会 ,  日本ソフトウェア科学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM