Rchr
J-GLOBAL ID：200901049029617438
Update date: Dec. 06, 2023
Ishiura Nagisa
イシウラ ナギサ | Ishiura Nagisa
Affiliation and department：
Job title：
Professor
Research field (1)：
Computer systems
Research keywords (3)：
Compilers
, Computer-Aided Design of VLSIs
, Computer Science
Research theme for competitive and other funds (6)：
Papers (23)：
-
N. Ishiura, Y. Oosako. Introducing Real Constraints in Partitioned ILP-Based Biding in High-Level Synthesis. Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016). 2016. 303-304
-
H. Takebayashi, N. Ishiura, K. Azuma, N. Yoshida, H. Kanbara. High-Level Synthesis of Embedded Systems Controller from Erlang. Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016). 2016. 285-290
-
M. Shimizu, N. Ishiura. Extending Distributed Control for High-Level Synthesis beyond Borders of Basic Blocks. Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016). 2016. 172-177
-
K. Tanaka, N. Ishiura, M. Nishimura, A. Fukui. Random Testing Back-end of Compiler Infrastructure LLVM. Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016). 2016. 88-89
-
M. Iwatsuji, A. Hashimoto, N. Ishiura. Detecting Missed Arithmetic Optimization in C Compilers by Differential Random Testing. Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016). 2016. 2-3
ｍore...
MISC (1)：
Patents (4)：
-
ワンチッププロセッサ
-
マイグレーション装置、目的ソースの生産方法、およびプログラム
-
ドキュメント生成装置、ドキュメントの生産方法、およびプログラム
-
マイグレーション装置、プログラムの製造方法、およびプログラム
Lectures and oral presentations (19)：
-
不定サイクル演算に対応した分散制御における動的演算バインディング
(電子情報通信学会技術研究報告, VLD2013-128 2014)
-
PerlのためのCUDAバインディングフレームワークPerCUDA
(電子情報通信学会技術研究報告, VLD2013-132 2014)
-
CPU密結合型アクセラレータの機械語プログラムからの自動合成
(電子情報通信学会技術研究報告, VLD2013-133 2014)
-
機械語の複数部分を高速化するCPU密結合型ハードウェアアクセラレータ
(電子情報通信学会技術研究報告, VLD2012-119 2013)
-
Cコンパイラの算術最適化のランダムテストにおける式生成の強化
(電子情報通信学会技術研究報告, VLD2012-117 2013)
ｍore...
Professional career (5)：
- 京都大学工学博士 (京都大学)
- 工学修士 (京都大学)
- 工学学士 (京都大学)
- Master of Engineering (Kyoto University)
- Bachelor of Engineering (Kyoto University)
Work history (1)：
- 2002/04/01 - 現在 Kwansei Gakuin University School of Science and Technology Department of Informatics Professor
Association Membership(s) (4)：
IEEE
, ACM
, 電子情報通信学会
, 情報処理学会
