Category Archives: news


自動リファクタリングに関する論文の採択 (ICSE’17)

KhatchadourianMasuharaによる論文 “Automated refactoring of legacy Java software to default methods” がInternational Conference on Software Engineering (ICSE’17)に採録されました。

, May 20, 2017. Category: news.

PX 2017 にて データ構造のためのライブプログラミング について発表

増原今井青谷による論文 “Live Data Structure Programming” が The 2nd Edition of the Programming Experience (<Programming> 2017 と共同開催) で発表されます。

2017年度 情報理工学院大学院進学相談会

以下の日程で大学院進学相談会が行われます。当研究室への進学を考えている場合は参加をご検討下さい。

  • 第1回 2017年1月28日(土) 14:00 (大岡山キャンパス)
  • 第2回 2017年2月18日(土) 14:00 (大岡山キャンパス)
  • 第3回 2017年3月18日(土) 14:00 (大岡山キャンパス)
    (カレンダーに登録)

詳細はこちらをごらん下さい。

PPL 2017 でポスター発表

第19回プログラミングおよびプログラミング言語ワークショップでポスター発表を行います。

  • 検証済みコンパイラ CertSkel による GPGPU プログラム開発 (朝倉, 増原, 青谷)
  • ライブプログラミング環境によるプログラマの行動と生産性への影響に関する実証研究 (今井, 増原, 青谷)
  • Kanonライブプログラミング環境を用いたデータ構造のプログラミング (, 増原, 今井, 青谷)
  • Kani-CUDAによるGPGPUプログラムの合成 (, 朝倉, 増原, 青谷)
  • Iterative Stencil Computations in Ruby on GPUs (Springer, Wauligmann, 増原)

 

第113回情報処理学会プログラミング研究発表会で発表

以下の論文が第113回情報処理学会プログラミング研究発表会で発表されます。

  • バリア同期と共有メモリを備えたGPGPUプログラム合成器 Kani-CUDA (蟹、朝倉増原青谷
  • ライブプログラミングのためのデータ構造の可視化と対話機能 (岡、増原青谷)

CoqPL 2017で検証済み GPGPU 用 DSL についての発表

朝倉増原青谷による論文 “CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL” が CoqPL 2017 (POPL 2017と共同開催) で発表されます.論文はこちらからダウンロードできます.

Asakura's presentation at CoqPL'17

APLAS 2016で GPGPU 用 DSL の形式検証に関するポスター発表

1-20161122_152834
朝倉増原青谷によるポスター “Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU” が APLAS 2016 で発表されます.

Pyrlang論文がTFP’16のPost-Proceedingsに採択

6月に開催された17th Symposium on Trends in Functional Programming (TFP’16).において発表した黄、増原青谷による論文”Improving Sequential Performance of Erlang based on a Meta-tracing Just-In-Time Compiler”が、会議のpost-proceedingsに採択されました。

(English) Paper presentation at NOOL

申し訳ありません、このコンテンツはただ今 アメリカ英語 のみです。

IPSJ-PRO にて ライブプログラミング環境におけるユニットテスト機能の設計と実現方法 について発表

第111回プログラミング研究会 にて 今井増原青谷により 「ライブプログラミング環境におけるユニットテスト機能の設計と実現方法」 という題で発表します。

本発表資料は 今井のホームページ よりダウンロードできます。

Next page →