学生の受賞

  中原 正樹
  情報処理学会 SLDM セッション特別賞
    情報処理学会 DAシンポジウム 2022 (2022年8月31日)
    ○中原正樹, 石浦菜岐佐
    「RTOS利用システムのフルハードウェア化におけるサービス要求の到着順待ち解除」

  石井 雄吾
  Outstanding Paper Award (2022年10月24日)
  Workshop on Synthesis And System Integration of Mixed Information
  Technologies (SASIMI 2022)
    Takuya Ando, Iori Muguruma, Yugo Ishii, Nagisa Ishiura, Hiroyuki Tomiyama, and Hiroyuki Kambara
    "Full Hardware Implementation of RTOS-Based Systems Using General High-Level Synthesizer"

  中道 凌
  情報処理学会 DAシンポジウム2021 セッション特別賞 (2022年8月31日)
    情報処理学会 DAシンポジウム 2021 (2021年9月2日)
    ○中道凌, 石浦菜岐佐, 近藤匠
    「汎用高位合成系をバックエンドとする RISC-V 機械語からのバイナリ合成」

  村上 大喜
  IEEE CEDA All Japan Joint Chapter Academic Research Award 2021 (2021年12月1日)
    電子情報通信学会 VLSI 設計技術研究会 (2021年1月26日)
    ○村上大喜, 石浦菜岐佐
    「ランダムプログラム生成によるCコンパイラのVRP最適化の性能テスト」

  情報処理学会 SLDM 優秀発表学生賞 (2021年9月1日)
    情報処理学会 システムとLSIの設計技術研究発表会 (2021年1月26日)
    ○村上大喜, 石浦菜岐佐
    「ランダムプログラム生成によるCコンパイラのVRP最適化の性能テスト」

  難波 学之
  情報処理学会 システムLSI設計技術研究会優秀論文賞 (2021年9月1日)
    情報処理学会 システムとLSIの設計技術研究発表会 (2021年1月26日)
    ○難波学之, 石浦菜岐佐
    「データ生成プログラムを利用したデータ構造の推定に基づく変異ベースファジング」

  難波 学之
  情報処理学会 SLDM 優秀発表学生賞 (2021年9月1日)
    情報処理学会 システムとLSIの設計技術研究発表会 (2021年1月26日)
    ○難波学之, 石浦菜岐佐
    「データ生成プログラムを利用したデータ構造の推定に基づく変異ベースファジング」


  浜名将輝
  情報処理学会 SLDM 優秀発表学生賞 (2020年8月7日)
    情報処理学会 システムとLSIの設計技術研究発表会 (2020年1月23日)
    ○浜名将輝, 石浦菜岐佐
　  「RISC-V機械語プログラムからのバイナリ合成」

  前田 紘輝
  情報処理学会 SLDM 優秀発表学生賞 (2020年8月7日)
    情報処理学会 システムとLSIの設計技術研究発表会 (2020年1月22日)
    ○前田紘輝, 石浦菜岐佐
   「等価ミュータント生成によるCコンパイラのテストバリエーションの増強」

  東 香実
  情報処理学会 SLDM 優秀発表学生賞 (2018年8月30日)
    情報処理学会 システムとLSIの設計技術研究発表会 (2018年1月18日)
    ○東香実, 浜名将輝, 若林秀和, 石浦菜岐佐, 吉田信明, 神原弘之
   「Erlangからの高位合成のためのメモリ分散アーキテクチャ」

  清水 美帆
  情報処理学会 SLDM 優秀発表学生賞 (2017年8月29日)
    DAシンポジウム (2016年9月14日) 発表
    ○清水美帆, 石浦菜岐佐
   「不定サイクル演算に対応した分散制御における投機的実行」

  橋本 淳史
  TSLDM Best Paper Award (2016年9月14日)
  Atsushi Hashimoto and Nagisa Ishiura
  "Detecting Arithmetic Optimization Opportunities for C Compilers by
   Randomly Generated Equivalent Programs"
  IPSJ Transactions on System LSI Design Methodology, Volume 9 (2016年2月) 掲載

  東 香実
  SWEST18 ベストポスター賞 ゴールド (2016年8月26日)
    第18回組込みシステム技術に関するサマーワークショップ SWEST18 (2016年8月26日) 発表
    ○東香実, 石浦菜岐佐, 竹林陽, 吉田信明, 神原弘之
   「Elangによる組込みシステムの制御記述とその高位合成」

  伊藤 直也
  情報処理学会 コンピュータサイエンス領域奨励賞 (2015年7月15日)
    DAシンポジウム (2014年8月28日) 発表
    ○伊藤直也, 石浦菜岐佐, 冨山宏之, 神原弘之
   「外部割り込みのハンドラを含むプログラムからの高位合成」

  伊藤 直也
  情報処理学会 SLDM 優秀発表学生賞 (2015年8月26日)
    DAシンポジウム (2014年8月28日) 発表
    ○伊藤直也, 石浦菜岐佐, 冨山宏之, 神原弘之
   「外部割り込みのハンドラを含むプログラムからの高位合成」

  橋本 淳史
  情報処理学会 コンピュータサイエンス領域奨励賞 (2015年7月15日)
    システムとLSIの設計技術研究会 (2015年1月30日) 発表
    ○橋本淳史, 石浦菜岐佐
   「ランダムテストによるCコンパイラの算術最適化機会の検出」

  橋本 淳史
  情報処理学会 SLDM 優秀発表学生賞 (2015年8月26日)
    システムとLSIの設計技術研究会 (2015年1月30日) 発表
    ○橋本淳史, 石浦菜岐佐
   「ランダムテストによるCコンパイラの算術最適化機会の検出」

  日比野 佑亮
  情報処理学会 SLDM 優秀発表学生賞 (2015年8月26日)
    システムとLSIの設計技術研究会 (2015年1月29日) 発表
    ○日比野佑亮, 石浦菜岐佐
   「Cコンパイラの算術彙道化を対象としたテストスイートCF3」

  竹林 陽
  情報処理学会関西支部 2014年度支部大会 学生奨励賞 (2014年9月17日)
    情報処理学会関西支部大会 (2014年9月17日) 発表
    ○竹林陽, 伊藤直也, 田村真平, 神原弘之, 石浦菜岐佐
   「高位合成系ACAPを用いたモーターの浮動小数点モデルのFPGA上での実行」

  田村 真平
  情報処理学会 SLDM 優秀発表学生賞 (2014年8月28日)
    情報処理学会 システムとLSIの設計技術研究発表会 (2014年1月29日)
    ○田村真平, 石浦菜岐佐, 神原弘之, 冨山宏之
   「CPU密結合型アクセラレータの機械語プログラムからの自動合成」

  福本 貴之
  情報処理学会 SLDM 優秀発表学生賞 (2014年8月28日)
    情報処理学会 システムとLSIの設計技術研究発表会 (2014年1月29日)
    ○福本貴之, 石浦菜岐佐
   「PerlのためのCUDAバインディングフレームワークPerCUDA」

  永井 絵里子
  情報処理学会 SLDM 優秀発表学生賞 (2013年8月21日)
    情報処理学会 DAシンポジウム2014 (2013年1月16日)
    ○永井絵里子, 橋本淳史, 石浦菜岐佐
   「Ｃコンパイラの算術最適化のランダムテストにおける式生成の強化」

  高島 史明
  情報処理学会 SLDM 優秀発表学生賞 (2012年8月29日)
    情報処理学会 システムとLSIの設計技術研究発表会 (2012年1月26日)
    ○高島史明, 石浦菜岐佐, 織野真琴, 冨山宏之, 神原弘之
   「アセンブリコードを中間表現とする高位合成における関数の併合」

  森本 和志
  情報処理学会 SLDM 優秀発表学生賞 (2011年8月31日)
    情報処理学会 システムとLSIの設計技術研究発表会 (2011年1月17日)
    ○森本和志, 石浦菜岐佐, 内山裕貴, 引地信之
   「プログラム併合によるコンパイラのリグレッションテストの高速化」

  森本 和志
  情報処理学会 システムLSI設計技術研究会優秀論文賞 (2011年8月31日)
    情報処理学会 システムとLSIの設計技術研究発表会 (2011年1月17日)
    ○森本和志, 石浦菜岐佐, 内山裕貴, 引地信之
   「プログラム併合によるコンパイラのリグレッションテストの高速化」

  戸田 勇希
  Outstanding Paper Award (2009年3月10日)
  Workshop on Synthesis And System Integration of Mixed Information
  Technologies (SASIMI 2009)
    Y. Toda, N. Ishiura, and K. Sone:  
    "Static Scheduling of Dynamic Execution for High-Level Synthesis"