Personnel Information

写真b

ISHIURA Nagisa

Organization
School of Engineering Program of Computer Science
Laboratory Address
School of Science and Technology, Kwansei Gakuin University, 2-1 Gakuen, Sanda, Hyogo, 669-1337, Japan
Research Fields, Keywords
計算機科学, VLSIの計算機援用設計, コンパイラ, Computer Science, Computer-Aided Design of VLSIs, Compilers
URL
http://ist.ksc.kwansei.ac.jp/~ishiura/
Syllabus information URL
https://syllabus.kwansei.ac.jp/uniasv2/UnSSOLoginControlFree?REQ_ACTION_DO=/AGA030PLS01Action.do?REQ_FUNCTION_JUMP_START_FLG=1&SLB_LINK_DISP_FLG=27&TCH_NO=020130&REQ_PRFR_FUNC_ID=AGA030
SDGs Related Goals
To the head of this page.▲

Degree 【 display / non-display 】

  • Degree name:Master of Engineering
    Classified degree field:Informatics / Computer system
    Conferring institution:Kyoto University
    Acquisition way:Coursework
    Date of acquisition:1986.03

  • Degree name:Bachelor of Engineering
    Classified degree field:Informatics / Computer system
    Conferring institution:Kyoto University
    Acquisition way:Coursework
    Date of acquisition:1984.03

To the head of this page.▲

Career 【 display / non-display 】

  • Affiliation:Kwansei Gakuin University
    Title:Professor
    Date:2002.04 -

To the head of this page.▲

Research Areas 【 display / non-display 】

  • Research field:Informatics / Computer system

To the head of this page.▲

Papers 【 display / non-display 】

  • Language: English
    Title: Detecting Missed Arithmetic Optimization in C Compilers by Differential Random Testing
    Journal name: Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)  (p.2 - 3)
    Date of publication: 2016.10
    Author(s): M. Iwatsuji, A. Hashimoto, and N. Ishiura

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Multiple Authorship

  • Language: English
    Title: Random Testing of C Compilers Based on Test Program Generation by Equivalence Transformation
    Journal name: Proc. Asia and Pacific Conference on Circuits and Systems (APCCAS 2016)  (p.676 - 679)
    Date of publication: 2016.10
    Author(s): K. Nakamura and N. Ishiura

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Single Author

  • Language: English
    Title: Introducing Real Constraints in Partitioned ILP-Based Biding in High-Level Synthesis
    Journal name: Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)  (p.303 - 304)
    Date of publication: 2016.10
    Author(s): N. Ishiura and Y. Oosako

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Multiple Authorship

  • Language: English
    Title: High-Level Synthesis of Embedded Systems Controller from Erlang
    Journal name: Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)  (p.285 - 290)
    Date of publication: 2016.10
    Author(s): H. Takebayashi, N. Ishiura, K. Azuma, N. Yoshida, and H. Kanbara

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Multiple Authorship

  • Language: English
    Title: Extending Distributed Control for High-Level Synthesis beyond Borders of Basic Blocks
    Journal name: Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)  (p.172 - 177)
    Date of publication: 2016.10
    Author(s): M. Shimizu and N. Ishiura

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Multiple Authorship

display all >>

To the head of this page.▲

MISC 【 display / non-display 】

  • Language:Japanese
    Title:コンパイラのファジング
    Publisher:電子情報通信学会
    Journal name:電子情報通信学会 Fundamentals Review  vol.9  (3)  (p.188 - 196)
    Date of publication:2016.01
    Author(s):石浦菜岐佐

    Type of publication:Article, review, commentary, editorial, etc. (bulletin of university, research institution)
    Co-author classification:Single Author

To the head of this page.▲

Presentations 【 display / non-display 】

  • Language: Japanese
    Conference name: 電子情報通信学会技術研究報告, VLD2013-133
    International/Domestic presentation: Domestic presentation
    Holding date: 2014.01
    Title: CPU密結合型アクセラレータの機械語プログラムからの自動合成
    Presentation type: Oral presentation (general)

  • Language: Japanese
    Conference name: 電子情報通信学会技術研究報告, VLD2013-128
    International/Domestic presentation: Domestic presentation
    Holding date: 2014.01
    Title: 不定サイクル演算に対応した分散制御における動的演算バインディング
    Presentation type: Oral presentation (general)

  • Language: Japanese
    Conference name: 電子情報通信学会技術研究報告, VLD2013-132
    International/Domestic presentation: Domestic presentation
    Holding date: 2014.01
    Title: PerlのためのCUDAバインディングフレームワークPerCUDA
    Presentation type: Oral presentation (general)

  • Language: Japanese
    Conference name: 電子情報通信学会技術研究報告, VLD2012-119
    International/Domestic presentation: Domestic presentation
    Holding date: 2013.01
    Title: 機械語の複数部分を高速化するCPU密結合型ハードウェアアクセラレータ
    Presentation type: Oral presentation (general)

  • Language: Japanese
    Conference name: 電子情報通信学会技術研究報告, VLD2012-119
    International/Domestic presentation: Domestic presentation
    Holding date: 2013.01
    Title: 機械語の複数部分を高速化するCPU密結合型ハードウェアアクセラレータ
    Presentation type: Oral presentation (general)

display all >>

To the head of this page.▲