教員情報 - 前田俊行 | 千葉工業大学

学位

専門分野

所属学会

著書・論文・作品

委員会・協会等

（最終更新日：2021-07-26 00:08:54）

  マエダ　トシユキ   Toshiyuki Maeda
  前田俊行
   所属   千葉工業大学人工知能・ソフトウェア技術研究センター人工知能・ソフトウェア技術研究センター

職種主席研究員

■ 学位

1.	2002/04～2006/03	東京大学大学院情報理工学系研究科コンピュータ科学専攻博士課程修了博士 (情報理工学)
2.	2000/04～2002/03	東京大学大学院情報理工学系研究科コンピュータ科学専攻修士課程修了修士 (理学)
3.	1996/04～2000/03	東京大学理学部情報科学科卒業学士 (理学)

■ 専門分野

ソフトウェア, 情報セキュリティ, 高性能計算　（キーワード：プログラミング言語、メモリ一貫性モデル、システムソフトウェア、仮想化技術、ソフトウェアコンテナ技術、大規模並列計算機を使い易くするためのソフトウェア、人工知能研究・開発を支援するためのソフトウェア）

■ 所属学会

1.	2006	一般社団法人日本ソフトウェア科学会
2.	2020/06～	∟ 理事
3.	2008	一般社団法人情報処理学会

■ 著書・論文・作品

1.	論文	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 （共著） 2021/06/25
2.	論文	PubChemQC PM6: Data Sets of 221 Million Molecules with Optimized Molecular Geometries and Electronic Properties J. Chem. Inf. Model. 60(12),pp.5891-5899 （共著） 2020/10/26
3.	論文	Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models LECTURE NOTES IN COMPUTER SCIENCE 10712 （共著） 2017/12/15
4.	論文	Model checking copy phases of concurrent copying garbage collection with various memory models Proceedings of the ACM on Programming Languages 1(OOPSLA) （共著） 2017/10/12
5.	論文	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 （共著） 2017/04/17
6.	論文	Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations Journal of Information Processing 25,pp.244-255 （共著） 2017/02/15
7.	論文	Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models LECTURE NOTES IN COMPUTER SCIENCE 10017 （共著） 2016/10/09
8.	論文	Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models LECTURE NOTES IN COMPUTER SCIENCE （共著） 2016/10/06
9.	論文	Execution Performance Analysis of the ABySS Genome Sequence Assembler using Scalasca on the K Computer Advances in Parallel Computing 27,pp.63-72 （共著） 2016/04/30
10.	論文	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 （共著） 2015/11/15
11.	論文	Towards a Unified Verification Theory for Various Memory Consistency Models Proceedings of the 6th Workshop on Syntax and Semantics of Low-Level Languages （共著） 2015/07/05
12.	論文	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 （共著） 2015/05/16
13.	論文	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 （共著） 2014/10/06
14.	論文	Extending K-Scope Fortran Source Code Analyzer with Visualization of Performance Profiling Data and Remote Parsing of Source Code （共著） 2014/08/20
15.	論文	A General Model Checking Framework for Various Memory Consistency Models Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops （共著） 2014/05/19
16.	論文	Model Checking with User-Definable Memory Consistency Models Proceedings of the 7th Conference on Partitioned Global Address Space Programming Models （共著） 2013/10/03
17.	論文	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 （共著） 2013/05/20
18.	論文	Model Checking with User-Definable Abstraction for Partitioned Global Address Space Languages Proceedings of the 6th Conference on Partitioned Global Address Space Programming Models （共著） 2012/10/10
19.	論文	情報セキュリティ向上に向けたOS研究の動向情報処理学会論文誌: コンピューティングシステム 5(2),51-62頁（共著） 2012/03/22
20.	論文	Extended Alias Type System using Separating Implication Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation （共著） 2011/01/25
21.	論文	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 （共著） 2010/12/13
22.	論文	Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with Interrupts Proceedings of the 5th International Workshop on Systems Software Verification （共著） 2010/10/04
23.	論文	Writing an OS Kernel in a Strictly and Statically Typed Language LECTURE NOTES IN COMPUTER SCIENCE 5458 （共著） 2009/05/25
24.	論文	Towards Design and Implementation of Model Checker for System Software Proceedings of the 2009 Workshop on Software Technologies for Future Dependable Distributed Systems （共著） 2009/03/17
25.	論文	条件実行に対応した型付きアセンブリ言語情報処理学会論文誌: プログラミング 1(2),9-27頁（共著） 2008/09/26
26.	論文	Compiling C Programs into a Strongly Typed Assembly Language LECTURE NOTES IN COMPUTER SCIENCE 4846 （共著） 2007/11/22
27.	論文	Writing practical memory management code with a strictly typed assembly language Proc. of Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management （共著） 2006/01/14
28.	論文	Kernel Mode Linux: Toward an Operating System Protected by a Type Theory LECTURE NOTES IN COMPUTER SCIENCE 2896 （共著） 2003/11/24
29.	論文	Linux/TAL: 型付きアセンブリプログラムのカーネルモード実行方式日本ソフトウェア科学会第4回プログラミングおよびプログラミング言語ワークショップ論文集（共著） 2002/03/05
5件表示
全件表示(29件)

■ 委員会・協会等

1.	2020/03/01～	国立研究開発法人新エネルギー産業技術総合開発機構「高効率・高速処理を可能とするAIチップ・次世代コンピューティングの技術開発/研究開発項目2: 次世代コンピューティング技術の開発」技術推進委員会技術推進委員
2.	2018/07/10～2018/10/05	国立研究開発法人新エネルギー産業技術総合開発機構「高効率・高速処理を可能とするAIチップ・次世代コンピューティングの技術開発/研究開発項目2: 次世代コンピューティング技術の開発」に係る採択審査委員会採択審査委員
3.	2017/04/01～2021/03/31	情報処理学会システムソフトウェアとオペレーティング・システム研究運営委員会運営委員
4.	2015/04/01～	日本ソフトウェア科学会ディペンダブルシステム研究会主査
5.	2011/04/01～2015/03/31	日本ソフトウェア科学会ディペンダブルシステム研究会運営委員
6.	2010/04/01～2014/04/15	情報処理学会システムソフトウェアとオペレーティング・システム研究運営委員会運営委員
5件表示
全件表示(6件)