情報処理学会プログラミング研究会 – 第145回プログラミング研究発表会 – プログラム

日程：2023年8月3日（木）〜 8月4日（金）
会場：函館アリーナおよびオンラインのハイブリッド開催

• 1件あたり45分（発表25分，質疑・討論20分）（短い発表は発表20分, 質疑・討論10分）
• ○印が登壇者です．

8月3日(木)

＊セッション1（13:40–15:10）：座長 新屋 良磨（秋田大学）

• 2023-2-(1)：13:40–14:25
  「Rabbit: a modeling language for verifying data-flow security」
  ○稲葉 皓信 (京都大学), 関山 太朗 (NII), 五十嵐 淳 (京都大学), 石川 裕 (NII)
• 2023-2-(2)：14:25–15:10
  「ChatGPTはどのくらいプログラミングを理解しているか？」
  ○佐藤 美唯 (日本女子大学), 相馬 菜生 (日本女子大学), 伊東 和香 (日本女子大学), 小原 有以 (日本女子大学), 東出 紗也夏 (日本女子大学), 髙野 志歩 (日本女子大学), 倉光 君郎 (日本女子大学)

＊休憩（15:10–15:35）

＊セッション2（15:35–17:05）：座長 平石 拓（京都橘大学）

• 2023-2-(3)：15:35–16:20
  「マルチデバイス・クラウドシステムの実現に向けたCPU用コミュニケーションライブラリの活用」
  ○伊澤 侑祐 (IBM), 堀江 倫大 (IBM), 緒方 一則 (IBM), トレント スコット (IBM), 千葉 立寛(IBM)
• 2023-2-(4)：16:20–17:05
  「畳込みニューラルネットワーク向け省メモリ化技術の評価」
  ○千葉 雄司 (中央大学)

＊懇親会（19:30–21:30）

8月4日(金)

＊セッション3（09:30–10:45）：座長 江本 健斗（九州工業大学）

• 2023-2-(5)：09:30–10:00
  「サイズ特化型ベクトル化に基づく可変長ベクトル実行」（短い発表）
  ○福原 淳司 (東京理科大学), 岩澤 京子, 滝本 宗宏 (東京理科大学)
• 2023-2-(6)：10:00–10:45
  「Automatically fixing data races in CUDA programs by building thread-local cache」
  ○Junyu Lin (東京大学), Akimasa Morihata (東京大学)

＊休憩（10:45–10:55）

＊セッション4（10:55–11:40）：座長 横山 大作（明治大学）

• 2023-2-(7)：10:55–11:40
  「A High-Performance Hybrid Binary Translator using Source-Level Information」
  ○陳 暢彬 (東京大学), 杉田 脩 (東京大学), 灘 洋太郎 (東京大学), 入江 英嗣 (東京大学), 坂井 修一 (東京大学), 塩谷 亮太 (東京大学)