情報処理学会 プログラミング研究会

第115回 2017-07-28 秋田アトリオンビル

(115-1) SPINで弱いメモリ順序のメモリモデルでのプログラムの実行をモデル検査するためのライブラリの改良
    松元 稿如,鵜川 始陽 (高知工科大学),安部 達也 (千葉工業大)
(115-2) RL78マイコン向けCコンパイラによる多倍長整数演算の最適化
    千葉 雄司 (日立製作所),永井 佑樹 (日立ソリューションズ),中川 満 (ルネサスシステムデザイン)
(115-3) 分散環境での並列グラフマイニングにおけるタスク中断処理による冗長探索削減
    奥野 伸吾,平石 拓,中島 浩 (京都大学),八杉 昌宏 (九州工業大学),瀬々 潤 (産業技術総合研究所)
(115-4) Call-trail Dependent Inline Caching for a Scoping Mechanism of Class Extensions
    張 威,千葉 滋 (東京大学)
(115-5) Packrat Parsingを用いたC言語用構文解析ライブラリの実装
    杉本 優太,前田 敦司 (筑波大学)
(115-6) 複数の局所クロックを持つ時間プッシュダウン・オートマトン
    上里 友弥 (筑波大学)
(115-7) Reducing Memory Fences in a Copying Garbage Collector of Java for Weak Memory Models
    堀井 洋,堀江 倫大 (日本アイ・ビー・エム)
(115-8) HOPEコンパイラのプロトタイプ実装
    重本 孝太,八杉 昌宏 (九州工業大学),平石 拓,馬谷 誠二 (京都大学)
(115-9) 分散集合ライブラリを用いた人工市場シミュレーションにおける通信と計算のオーバラップ実現
    藤島 大輔,鎌田 十三郎,長門 広洋,高木 由美,太田 能 (神戸大学)