自動リファクタリングに関する論文の採択 (ICSE’17)
KhatchadourianとMasuharaによる論文 “Automated refactoring of legacy Java software to default methods” がInternational Conference on Software Engineering (ICSE’17)に採録されました。
2017年度 情報理工学院大学院進学相談会・入試説明会
以下の日程で大学院進学相談会/大学院入試説明会が行われます。当研究室への進学を考えている場合は参加をご検討下さい。
PX 2017 にて データ構造のためのライブプログラミング について発表
岡、増原、今井、青谷による論文 “Live Data Structure Programming” が The 2nd Edition of the Programming Experience Workshop (<Programming> 2017 と共同開催) で発表されます。
PPL 2017 でポスター発表
第19回プログラミングおよびプログラミング言語ワークショップでポスター発表を行います。
- 検証済みコンパイラ CertSkel による GPGPU プログラム開発 (朝倉, 増原, 青谷)
- ライブプログラミング環境によるプログラマの行動と生産性への影響に関する実証研究 (今井, 増原, 青谷)
- Kanonライブプログラミング環境を用いたデータ構造のプログラミング (岡, 増原, 今井, 青谷)
- Kani-CUDAによるGPGPUプログラムの合成 (蟹, 朝倉, 増原, 青谷)
- Iterative Stencil Computations in Ruby on GPUs (Springer, Wauligmann, 増原)
第113回情報処理学会プログラミング研究発表会で発表
以下の論文が第113回情報処理学会プログラミング研究発表会で発表されます。
今井と桐山が修士論文を発表
研究室メンバーが修士論文発表を行いました。
CoqPL 2017で検証済み GPGPU 用 DSL についての発表
朝倉，増原，青谷による論文 “CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL” が CoqPL 2017 (POPL 2017と共同開催) で発表されます．論文はこちらからダウンロードできます．
APLAS 2016で GPGPU 用 DSL の形式検証に関するポスター発表
朝倉，増原，青谷によるポスター “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
申し訳ありません、このコンテンツはただ今 English のみです。