Kunieda Yoshitoshi

Homepage URL (1)： http://www.hpcss.is.ritsumei.ac.jp/

Research field (1)： High-performance computing

Research keywords (1)： System Program, Computer Software

Research theme for competitive and other funds (16)：

2015 - 2020 Developing such a secure system with cooperation of a compiler and an operating system that can deter Information leakage caused by code rewriting attacks
2010 - 2015 Parallel Simulation System for Description Language based Organ Model using Detailed Cell Model
2011 - 2013 Research and Development of Realtime 3D Reconstruction of Field Ball Games for Training and Game Analysis
2006 - 2008 新世代プロセッサのためのコンパイラと実行時システムによる多角的多目的最適化
2001 - 2003 Integrated Parallel Processing Environment Combined Parallelizing Compiler with Runtime System for Data Distribution Feature

Show all

Papers (74)：

ｍore...

MISC (48)：

ｍore...

Books (3)：

“Parallel Language and Compiler Research in Japan”
Kluwer Academic Publishers 1995
新コンピュータサイエンス講座情報工学実験
オーム社 1993
“HIGH PERFORMANCE COMPUTING, Research and Practice in Japan”
WILEY PROFESSIONAL COMPUTING(New York) 1991

Lectures and oral presentations (98)：

Stream APIを利用するJavaプログラムにおけるストリーム再利用の静的検出手法
(情報処理学会研究報告,Vol.2019-SE-201,No.4,pp.1-8,2019. 2019)
情報流解析における制約付き機密度パラメータ
(ソフトウェア工学の基礎 XXV (FOSE 2018) 2018)
Java Stream APIによるストリーム操作の停止性検査のための型システム
(ソフトウェア工学の基礎 XXV (FOSE 2018) 2018)
JavaのStream APIによるストリーム操作の停止性を検査する型システム
(第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018) 2018)
オブジェクト指向言語の情報流解析における機密度のパラメータ化
(ソフトウェア工学の基礎 XXIV (FOSE 2017) 2017)

ｍore...

Professional career (1)：

Awards (1)：

Association Membership(s) (4)：

IEEE CS , ACM , The Institute of Electronics, Information and Communication Engineers (IEICE) , Information Processing Society of Japan

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page