Faculty Information - Toshiyuki Maeda

（Last updated : 2024-12-03 12:15:04）

Toshiyuki Maeda
Software Technology and Artificial Intelligence Research Laboratory (STAIR Lab)

Principal Research Scientist

■ Academic background

1.	2002/04～2006/03	〔Doctorial Course〕, The University of Tokyo, Completed, Ph.D. in Information Science and Technology
2.	2000/04～2002/03	〔Master Course〕, The University of Tokyo, Completed, Master of Science
3.	1996/04～2000/03	Department of Information Science, Faculty of Science, The University of Tokyo, Graduated, Bachelor of Science

■ Present specialized field

Software, Information security, High performance computing (Key Word：Programming Languages, Memory Consistency Models, Systems Software, Virtualization Technology, Software Container Technology, HPC Usability, Software Framework for Artificial Intelligence Research and Development)

■ Research activities

2020/06～

∟ Director

■ Works

1.	Article	Predicting How CNN Training Time Changes on Various Mini-Batch Sizes by Considering Convolution Algorithms and Non-GPU Time Proceedings of the 2021 on Performance EngineeRing, Modelling, Analysis, and VisualizatiOn STrategy (Collaboration) 2021/06/25
2.	Article	PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties J. Chem. Inf. Model. 60(12),pp.5891-5899 (Collaboration) 2020/10/26
3.	Article	Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models LECTURE NOTES IN COMPUTER SCIENCE 10712 (Collaboration) 2017/12/15
4.	Article	Model checking copy phases of concurrent copying garbage collection with various memory models Proceedings of the ACM on Programming Languages 1(OOPSLA) (Collaboration) 2017/10/12
5.	Article	An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels: Full Research Paper Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering (Collaboration) 2017/04/17
6.	Article	Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations Journal of Information Processing 25,pp.244-255 (Collaboration) 2017/02/15
7.	Article	Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models LECTURE NOTES IN COMPUTER SCIENCE 10017 (Collaboration) 2016/10/09
8.	Article	Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models LECTURE NOTES IN COMPUTER SCIENCE (Collaboration) 2016/10/06
9.	Article	Execution Performance Analysis of the ABySS Genome Sequence Assembler using Scalasca on the K Computer Advances in Parallel Computing 27,pp.63-72 (Collaboration) 2016/04/30
10.	Article	Developing a high-performance quantum chemistry program with a dynamic scripting language Proceedings of the 3rd International Workshop on Software Engineering for High Performance Computing (Collaboration) 2015/11/15
11.	Article	Towards a Unified Verification Theory for Various Memory Consistency Models Proceedings of the 6th Workshop on Syntax and Semantics of Low-Level Languages (Collaboration) 2015/07/05
12.	Article	Extracting Facts from Performance Tuning History of Scientific Applications for Predicting Effective Optimization Patterns Proceedings of the 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories (Collaboration) 2015/05/16
13.	Article	Optimization of a General Model Checking Framework for Various Memory Consistency Models Proceedings of the 8th International Conf. on Partitioned Global Address Space Programming Models (Collaboration) 2014/10/06
14.	Article	Extending K-Scope Fortran Source Code Analyzer with Visualization of Performance Profiling Data and Remote Parsing of Source Code (Collaboration) 2014/08/20
15.	Article	A General Model Checking Framework for Various Memory Consistency Models Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops (Collaboration) 2014/05/19
16.	Article	Model Checking with User-Definable Memory Consistency Models Proceedings of the 7th Conference on Partitioned Global Address Space Programming Models (Collaboration) 2013/10/03
17.	Article	Model Checking Stencil Computations Written in a Partitioned Global Address Space Language Proc. of the 18th Int. Workshop on High-Level Parallel Programming Models and Supportive Environment (Collaboration) 2013/05/20
18.	Article	Model Checking with User-Definable Abstraction for Partitioned Global Address Space Languages Proceedings of the 6th Conference on Partitioned Global Address Space Programming Models (Collaboration) 2012/10/10
19.	Article	Extended Alias Type System using Separating Implication Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation (Collaboration) 2011/01/25
20.	Article	Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms Proceedings of the 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (Collaboration) 2010/12/13
21.	Article	Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts Proceedings of the 5th International Workshop on Systems Software Verification (Collaboration) 2010/10/04
22.	Article	Writing an OS Kernel in a Strictly and Statically Typed Language LECTURE NOTES IN COMPUTER SCIENCE 5458 (Collaboration) 2009/05/25
23.	Article	Towards Design and Implementation of Model Checker for System Software Proceedings of the 2009 Workshop on Software Technologies for Future Dependable Distributed Systems (Collaboration) 2009/03/17
24.	Article	Compiling C Programs into a Strongly Typed Assembly Language LECTURE NOTES IN COMPUTER SCIENCE 4846 (Collaboration) 2007/11/22
25.	Article	Writing practical memory management code with a strictly typed assembly language Proc. of Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (Collaboration) 2006/01/14
26.	Article	Kernel Mode Linux: Toward an Operating System Protected by a Type Theory LECTURE NOTES IN COMPUTER SCIENCE 2896 (Collaboration) 2003/11/24
Display 5 items
Display all(26)