研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
IPSJ-ARC, IPSJ-SLDM (共催) VLD, CPSY, RECONF (共催) (連催) [詳細] |
2018-01-19 16:15 |
神奈川 |
慶應義塾大学 日吉キャンパス 来往舎 |
等価変換に基づくCコンパイラテストシステムにおける制御文生成の強化 ○岩辻光功・石浦菜岐佐(関西学院大) VLD2017-87 CPSY2017-131 RECONF2017-75 |
本稿では, テストプログラムの等価変換に基づくC コンパイラのランダムテストシステムにおいて, 制御文の生成機能を強化す... [more] |
VLD2017-87 CPSY2017-131 RECONF2017-75 pp.163-168 |
IPSJ-ARC, IPSJ-SLDM (共催) VLD, CPSY, RECONF (共催) (連催) [詳細] |
2018-01-19 16:40 |
神奈川 |
慶應義塾大学 日吉キャンパス 来往舎 |
LLVMバックエンドの最適化性能テストのミュータント生成 ○田中健司・石浦菜岐佐(関西学院大)・西村啓成・福井昭也(ルネサス エレクトロニクス) VLD2017-88 CPSY2017-132 RECONF2017-76 |
本稿では, 既存のテストプログラムから自動生成した機能等価なミュータントにより, コンパイラ基盤 LLVM のバックエン... [more] |
VLD2017-88 CPSY2017-132 RECONF2017-76 pp.169-174 |
VLD |
2016-02-29 13:55 |
沖縄 |
沖縄県青年会館 |
等価変換に基づくテストプログラム生成によるCコンパイラのランダムテスト ○中村和博・石浦菜岐佐(関西学院大) VLD2015-112 |
本稿では, C コンパイラの信頼性向上を目的としたランダムテストにおいて, プログラムの等価変換によってテストプログラム... [more] |
VLD2015-112 pp.7-12 |
VLD |
2016-02-29 15:00 |
沖縄 |
沖縄県青年会館 |
Erlangによる組込みシステムの制御記述からの高位合成 ○竹林 陽・石浦菜岐佐・東 香実(関西学院大)・吉田信明・神原弘之(京都高度技研) VLD2015-114 |
本稿では, Erlang のサブセットにより組込みシステムの制御を記述し, そこからハードウェアを自動合成する手法を提案... [more] |
VLD2015-114 pp.19-24 |
VLD, CPSY, RECONF (共催) IPSJ-SLDM, IPSJ-ARC (共催) (連催) [詳細] |
2016-01-21 13:00 |
神奈川 |
慶應義塾大学 日吉キャンパス |
レガシーマイグレーションにおけるメインフレームアセンブリのC言語への変換 ○藤原大輔・石浦菜岐佐・酒井 崚(関西学院大)・青木 領・小河原隆史(システムズ) VLD2015-104 CPSY2015-136 RECONF2015-86 |
本稿では, レガシーマイグレーションにおいて, メインフレームコンピュータのアセンブリプログラムをC言語へ自動変換する手... [more] |
VLD2015-104 CPSY2015-136 RECONF2015-86 pp.203-208 |
VLD, CPSY, RECONF (共催) IPSJ-SLDM, IPSJ-ARC (共催) (連催) [詳細] |
2016-01-21 13:50 |
神奈川 |
慶應義塾大学 日吉キャンパス |
割込みハンドラを独立したモジュールとして実装するバイナリ合成 ○伊藤直也・石浦菜岐佐(関西学院大)・冨山宏之(立命館大)・神原弘之(京都高度技研) VLD2015-106 CPSY2015-138 RECONF2015-88 |
[more] |
VLD2015-106 CPSY2015-138 RECONF2015-88 pp.215-220 |
VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2015-12-03 09:45 |
長崎 |
長崎県勤労福祉会館 |
高位合成における分散制御のデータフローグラフ境界を越えた拡張 ○清水美帆・石浦菜岐佐(関西学院大) VLD2015-61 DC2015-57 |
本稿では, 不定サイクル演算を含むデータフローグラフの効率的な実行時スケジューリングを可能にする分散制御を, 複数のデー... [more] |
VLD2015-61 DC2015-57 pp.153-158 |
VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2015-12-03 14:10 |
長崎 |
長崎県勤労福祉会館 |
キャッシュヒット率の向上のための基本ブロックのアドレスオフセットの探索 ○後藤潤哉・石浦菜岐佐(関西学院大) VLD2015-74 DC2015-70 |
本稿では, プログラムの基本ブロックの前にキャッシュブロックサイズよりも細かい単位でオフセットを挿入することにより, 命... [more] |
VLD2015-74 DC2015-70 pp.237-241 |
RECONF, CPSY, VLD (共催) IPSJ-SLDM (連催) [詳細] |
2015-01-29 18:00 |
神奈川 |
慶應義塾大学 日吉キャンパス |
Cコンパイラの算術最適化を対象としたテストスイートCF3 ○日比野佑亮・石浦菜岐佐(関西学院大) VLD2014-130 CPSY2014-139 RECONF2014-63 |
本稿では, C コンパイラの算術最適化, 特に定数畳み込みを対象としたテストスイートCF3 を提案する. C コンパイラ... [more] |
VLD2014-130 CPSY2014-139 RECONF2014-63 pp.117-122 |
RECONF, CPSY, VLD (共催) IPSJ-SLDM (連催) [詳細] |
2015-01-30 11:30 |
神奈川 |
慶應義塾大学 日吉キャンパス |
ランダムテストによるCコンパイラの算術最適化機会の検出 ○橋本淳史・石浦菜岐佐(関西学院大) VLD2014-139 CPSY2014-148 RECONF2014-72 |
本稿では, Cコンパイラの算術最適化の性能の向上を目的とした, ランダムテストによる最適化機会の検出手法を提案する. 本... [more] |
VLD2014-139 CPSY2014-148 RECONF2014-72 pp.169-174 |
CPSY, RECONF, VLD (共催) IPSJ-SLDM (連催) [詳細] |
2014-01-29 14:10 |
神奈川 |
慶応義塾大学 日吉キャンパス |
不定サイクル演算に対応した分散制御における動的演算バインディング ○山下真司・石浦菜岐佐(関西学院大) VLD2013-128 CPSY2013-99 RECONF2013-82 |
オペランドや実行時の状況によって実行サイクル数が変動する不定サイクル演算器を含む回路を効率的に制御するための分散制御方式... [more] |
VLD2013-128 CPSY2013-99 RECONF2013-82 pp.155-160 |
CPSY, RECONF, VLD (共催) IPSJ-SLDM (連催) [詳細] |
2014-01-29 16:20 |
神奈川 |
慶応義塾大学 日吉キャンパス |
PerlのためのCUDAバインディングフレームワークPerCUDA ○福本貴之・石浦菜岐佐(関西学院大) VLD2013-132 CPSY2013-103 RECONF2013-86 |
本稿では, スクリプト言語PerlからGPGPUを利用するためのフレームワークPerCUDAを提案する.
PerCUD... [more] |
VLD2013-132 CPSY2013-103 RECONF2013-86 pp.179-184 |
CPSY, RECONF, VLD (共催) IPSJ-SLDM (連催) [詳細] |
2014-01-29 16:45 |
神奈川 |
慶応義塾大学 日吉キャンパス |
CPU密結合型アクセラレータの機械語プログラムからの自動合成 ○田村真平・石浦菜岐佐(関西学院大)・神原弘之(京都高度技研)・冨山宏之(立命館大) VLD2013-133 CPSY2013-104 RECONF2013-87 |
本稿では, 機械語プログラムの指定区間を CPU 密結合型アクセラレータに合成する手法を提案する. CPU 密結合型アク... [more] |
VLD2013-133 CPSY2013-104 RECONF2013-87 pp.185-190 |
CPSY, VLD, RECONF (共催) IPSJ-SLDM (連催) [詳細] |
2013-01-16 15:35 |
神奈川 |
慶応義塾大学 日吉キャンパス |
Cコンパイラの算術最適化のランダムテストにおける式生成の強化 ○永井絵里子・橋本淳史・石浦菜岐佐(関西学院大) VLD2012-117 CPSY2012-66 RECONF2012-71 |
本稿では, C コンパイラの算術最適化を対象とするランダムテストにおける不具合検出能力の向上を目的として, 式生成を強化... [more] |
VLD2012-117 CPSY2012-66 RECONF2012-71 pp.57-62 |
CPSY, VLD, RECONF (共催) IPSJ-SLDM (連催) [詳細] |
2013-01-16 16:25 |
神奈川 |
慶応義塾大学 日吉キャンパス |
機械語の複数部分を高速化するCPU密結合型ハードウェアアクセラレータ ○佐竹俊亮・石浦菜岐佐・田村真平(関西学院大)・冨山宏之(立命館大)・神原弘之(京都高度技研) VLD2012-119 CPSY2012-68 RECONF2012-73 |
本稿では, 機械語プログラムの指定区間をCPUと密結合するハードウェアアクセ
ラレータに変換する手法において, 複数の... [more] |
VLD2012-119 CPSY2012-68 RECONF2012-73 pp.69-73 |
VLD, CPSY, RECONF (共催) IPSJ-SLDM (連催) [詳細] |
2012-01-26 09:00 |
神奈川 |
慶応義塾大学 日吉キャンパス |
アセンブリコードを中間表現とする高位合成における関数の併合 ○高島史明・石浦菜岐佐・織野真琴(関西学院大)・冨山宏之(立命館大)・神原弘之(京都高度技研) VLD2011-106 CPSY2011-69 RECONF2011-65 |
本稿では, アセンブリコードを中間表現とする高位合成における関数の併合手法を提案する. C プログラム中の指定された関... [more] |
VLD2011-106 CPSY2011-69 RECONF2011-65 pp.89-94 |
VLD, CPSY, RECONF (共催) IPSJ-SLDM (連催) [詳細] |
2012-01-26 09:25 |
神奈川 |
慶応義塾大学 日吉キャンパス |
ソフトウェアと再リンク可能なハードウェアの高位合成 ○織野真琴・石浦菜岐佐(関西学院大)・冨山宏之(立命館大)・高島史明(関西学院大)・神原弘之(京都高度技研) VLD2011-107 CPSY2011-70 RECONF2011-66 |
本稿では, 高位合成を利用したハードウェア/ソフトウェア協調設計において, ソフトウェアと再リンク可能なハードウェアの合... [more] |
VLD2011-107 CPSY2011-70 RECONF2011-66 pp.95-100 |
MSS, CAS, VLD, SIP (共催) |
2011-07-01 10:50 |
沖縄 |
沖縄県青年会館 |
[パネル討論]システムと信号処理サブソの新たな展開を目指して 石浦菜岐佐(関西学院大)・牧野光則(中大)・宇佐美公良(芝浦工大)・山田 功(東工大)・平石邦彦(北陸先端大)・山口真悟(山口大)・○中村正樹(富山県立大) CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22 |
[more] |
CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22 p.127 |
CPSY, DC (共催) IPSJ-SLDM, IPSJ-EMB (併催) (連催) [詳細] |
2011-03-19 14:45 |
沖縄 |
宮古島マリンターミナル(まりんぴあ宮古) |
Simulinkモデルにもとづいた並列Cコード生成 ○久村孝寛(NEC/阪大)・枝廣正人・中村祐一(NEC)・石浦菜岐佐(関西学院大)・武内良典・今井正治(阪大) CPSY2010-80 DC2010-79 |
モデルベース開発ツールのSimulinkで作成されたモデルから、マルチコア
プロセッサに適した並列Cコードを生成する手... [more] |
CPSY2010-80 DC2010-79 pp.303-308 |
RECONF, VLD, CPSY (共催) IPSJ-SLDM (連催) [詳細] |
2011-01-17 13:30 |
神奈川 |
慶應義塾大学日吉キャンパス |
高位合成における可変スケジューリングの近似手法 ○曽根康介・石浦菜岐佐(関西学院大) VLD2010-90 CPSY2010-45 RECONF2010-59 |
本稿では, 高位合成における可変スケジューリングの近似手法を提案する. オペランドの値に依存して実行サイクル数が変動する... [more] |
VLD2010-90 CPSY2010-45 RECONF2010-59 pp.37-42 |