研究業績リスト
ジャーナル論文 - rm_published_papers: Scientific Journal
PLAGS UT: A Management System for Auto-evaluated Python Exercises
公開済 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)
公開済 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
公開済 15/06/2025
Journal of Information Processing, 33, 357 - 367
ジャーナル論文 - rm_published_papers: In Book
Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses
公開済 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
公開済 29/04/2024
Proceedings of the ACM on Programming Languages, 8, OOPSLA1, 121:1 - 121:30
ジャーナル論文 - rm_published_papers: Scientific Journal
Collective Allocator Abstraction to Control Object Spatial Locality in C++
公開済 15/02/2024
The Art, Science, and Engineering of Programming
ジャーナル論文 - rm_published_papers: International Conference Proceedings
General-purpose Asynchronous Periodic Checkpointing in Hybrid Memory
公開済 07/08/2023
Proceedings of the 52nd International Conference on Parallel Processing
ジャーナル論文 - rm_published_papers: International Conference Proceedings
Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration
公開済 29/11/2022
Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 7 - 8
ジャーナル論文 - rm_published_papers: International Conference Proceedings
VIPP: Validation-Included Precision-Parametric N-Body Benchmark Suite.
公開済 05/2022
2022 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), 156 - 158
ジャーナル論文 - rm_published_papers: Scientific Journal
Cost-aware Programming on Page-based Distributed Shared Memory.
公開済 2022
J. Inf. Process, 30, 464 - 475