Personnel Information

写真b

ISHIURA Nagisa

Title
Professor
Laboratory Address
School of Science and Technology, Kwansei Gakuin University, 2-1 Gakuen, Sanda, Hyogo, 669-1337, Japan
Research Fields, Keywords
Computer Science, Computer-Aided Design of VLSIs, Compilers
SDGs Related Goals

Degree 【 display / non-display

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

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

Campus Career 【 display / non-display

  • Job function organization:Kwansei Gakuin University School of Science and Technology Department of Informatics
    Career:Professor
    Duties period:2002.04 -

Field of expertise (Grants-in-aid for Scientific Research classification) 【 display / non-display

  • Field of expertise (Grants-in-aid for Scientific Research classification):Computer system

 

Papers 【 display / non-display

  • Written language: English
    Title of paper: Detecting Missed Arithmetic Optimization in C Compilers by Differential Random Testing
    Publication title: Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)  (p.2 - 3)
    Date of issue: 2016.10
    Name of author(s): M. Iwatsuji, A. Hashimoto, and N. Ishiura

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Joint Work

  • Written language: English
    Title of paper: Random Testing of C Compilers Based on Test Program Generation by Equivalence Transformation
    Publication title: Proc. Asia and Pacific Conference on Circuits and Systems (APCCAS 2016)  (p.676 - 679)
    Date of issue: 2016.10
    Name of author(s): K. Nakamura and N. Ishiura

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

  • Written language: English
    Title of paper: Introducing Real Constraints in Partitioned ILP-Based Biding in High-Level Synthesis
    Publication title: Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)  (p.303 - 304)
    Date of issue: 2016.10
    Name of author(s): N. Ishiura and Y. Oosako

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Joint Work

  • Written language: English
    Title of paper: High-Level Synthesis of Embedded Systems Controller from Erlang
    Publication title: Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)  (p.285 - 290)
    Date of issue: 2016.10
    Name of author(s): H. Takebayashi, N. Ishiura, K. Azuma, N. Yoshida, and H. Kanbara

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Joint Work

  • Written language: English
    Title of paper: Extending Distributed Control for High-Level Synthesis beyond Borders of Basic Blocks
    Publication title: Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2016)  (p.172 - 177)
    Date of issue: 2016.10
    Name of author(s): M. Shimizu and N. Ishiura

    Type of publication: Research paper (international conference proceedings)
    Co-author classification: Joint Work

display all >>

Review Papers,Investigation Report 【 display / non-display

  • Written language:Japanese
    Title of review paper:Compiler Fuzzing1
    Publisher's name :IEICE
    Publication title:IEICE Fundamentals Review  vol.9  (3)  (p.188 - 196)
    Date of issue:2016.01
    Name of author(s): Nagisa Ishiura

    Type of publication:Introduction and explanation (bulletin of university, research institution)
    Co-author classification:Single Work

Grant-in-Aid for Scientific Research 【 display / non-display

  • Research item:Grant-in-Aid for Scientific Research(B)
    Research activities period:2019.04 - 2022.03

  • Research item:Grant-in-Aid for Scientific Research(C)
    Research activities period:2016.04 - 2019.03

  • Research item:Grant-in-Aid for Scientific Research(C)
    Research activities period:2013.04 - 2016.03

  • Research item:Grant-in-Aid for Scientific Research(C)
    Research activities period:2008.04 - 2011.03