Shigeyuki SATO (佐藤重幸)

0110100_Ⅰ類（情報系）, 0110000_情報理工学域, The University of Electro-Communications

automatic parallelization | 自動並列化

high-level optimization | 高水準最適化

compiler | コンパイラ

parallel programming | 並列プログラミング

会議発表プレゼンテーション

探索的コンパイラ最適化の再興と展望

by Shigeyuki SATO

公開済 19/11/2025

セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ第11回

ジャーナル論文 - rm_published_papers: Scientific Journal 査読済み

PLAGS UT: A Management System for Auto-evaluated Python Exercises

by Shigeyuki SATO

公開済 10/2025

Information Processing Society of Japan Transactions on Programming, 18, 4, 24 - 43

ジャーナル論文 - rm_published_papers: International Conference Proceedings 査読済み

Towards a Java Virtual Machine for Processing-In-Memory (Extended Abstract)

by Shigeyuki SATO

公開済 09/2025

Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025), MoreVMs 2025, 2:1 - 2:5

ジャーナル論文 - rm_published_papers: Scientific Journal 査読済み

SATySFi Notebook: Computational Notebook Environment for Typesetting Presentation Slides

by Shigeyuki SATO

公開済 15/06/2025

Journal of Information Processing, 33, 357 - 367

会議発表プレゼンテーション

MN-Core アセンブリ言語の形式検証に向けて

by Shigeyuki SATO

公開済 05/03/2025

第27回プログラミングおよびプログラミング言語ワークショップ PPL 2025, 05/03/2025–07/03/2025

ジャーナル論文 - rm_published_papers: In Book 査読済み

Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses

by Shigeyuki SATO

公開済 28/10/2024

Lecture Notes in Computer Science, 15194, 346 - 364

Abstract

Stateless model checking (SMC) is crucial for productivity in verified concurrent programming, and its recent developments for C/C++ and weak memory models are remarkable. The state-of-the-art SMC for C, GenMC, efficiently verifies C programs based on C11 atomics and pthreads. However, it does not support mixed-size accesses, accesses to the same memory region with different-sized types, even though they are ubiquitous in C/C++, particularly the code for memory management. As a result, GenMC does not work for C/C++ programs containing memory management. To resolve this problem, we develop a method of adapting GenMC to mixed-size accesses preserving its optimality. We experimentally evaluate the efficiency of our extended implementation of GenMC and its efficacy for memory management programs.

ジャーナル論文 - rm_published_papers: Scientific Journal 査読済み

Multiverse Notebook: Shifting Data Scientists to Time Travelers

by Shigeyuki SATO

公開済 29/04/2024

Proceedings of the ACM on Programming Languages, 8, OOPSLA1, 121:1 - 121:30