佐藤重幸

サトウシゲユキ | Sato Shigeyuki

所属機関・部署：
職名：准教授
ホームページURL (1件)： https://satoshigeyuki.github.io/

研究分野 (1件)：ソフトウェア

研究キーワード (4件)：自動並列化 , 高水準最適化 , コンパイラ , 並列プログラミング

競争的資金等の研究課題 (5件)：

論文 (28件)：

Shigeyuki Sato, Taiyo Mizuhashi, Genki Kimura, Kenjiro Taura. Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses. Lecture Notes in Computer Science. 2024. 346-364
Shigeyuki Sato, Tomoki Nakamaru. Multiverse Notebook: Shifting Data Scientists to Time Travelers. Proceedings of the ACM on Programming Languages. 2024. 8. OOPSLA1. 121:1-121:30
Takato Hideshima, Shigeyuki Sato, Tomoharu Ugawa. Collective Allocator Abstraction to Control Object Spatial Locality in C++. The Art, Science, and Engineering of Programming. 2024
Masaki Nakata, Shigeyuki Sato, Tomoharu Ugawa. General-purpose Asynchronous Periodic Checkpointing in Hybrid Memory. Proceedings of the 52nd International Conference on Parallel Processing. 2023
Tomoki Nakamaru, Shigeyuki Sato. Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration. Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. 2022. 7-8

MISC (4件)：

講演・口頭発表等 (13件)：

多相型に基づく型エラー診断の定式化
(第26回プログラミングおよびプログラミング言語ワークショップ PPL 2024 2024)
プレゼンテーションスライド作成のためのSATySFiノートブック環境
(第26回プログラミングおよびプログラミング言語ワークショップ PPL 2024 2024)
SATySFi におけるドメイン固有型エラー診断
(日本ソフトウェア科学会第40回大会 2023)
C++におけるポインタベースのデータ構造のためのFar Memoryアロケータ
(情報処理学会論文誌プログラミング(PRO) 2023)
Simultaneous Finite Automaton の部分構成による並列正規表現マッチ
(第24回プログラミングおよびプログラミング言語ワークショップ PPL 2022 2022)

学歴 (3件)：

学位 (1件)：

経歴 (4件)：

委員歴 (11件)：

全件表示

受賞 (5件)：

所属学会 (3件)：

ACM SIGPLAN , 日本ソフトウェア科学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

佐藤 重幸