カテゴリー: news


伊澤侑祐 と Jeanine Adkisson が <Programming> 2019 での ACM Student Research Competition で第二位と第三位を受賞しました


伊澤侑祐Jeanine Adkisson は<Programming> 2019 での ACM Student Research Competition で第二位と第三位を受賞しました。

受賞対象となったのは次の発表です。

<Programming>での論文・ポスター・デモ発表

2019年4月1-4日にイタリア・ジェノバで開催される<Programming> 2019 国際会議(The International Conference on the Art, Science, and Engineering of Programming)において以下の発表を行います。

叢悠悠・陈忻吉喆・能勢純弥が研究室に加わりました

この春、3名が新しく研究室に加わりました:

(全構成員)

PPL 2019 にて論文・ポスター発表

以下の論文が第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019) で発表されました。

  • On Defining Recursive Functions in Live Data Structure Programming (増原青谷)
  • プロファイル型プログラム合成によるGPGPUプログラムの半自動最適化(増原青谷)

また、以下のポスターがPPL 2019で発表されました。

Fabio Niephaus氏とFernando Castor先生による講演

Hasso-Plattner InstituteのFabio Niephaus氏UFPEのFernando Castor先生が研究室セミナーで講演しました。

Niephaus氏の講演は”Polyglot Programming”と呼ばれる、複数の言語のプログラムを1つの仮想機械上でJITコンパイル実行する処理系とその応用についての実演でした。

Castor先生の発表はGreenHubプロジェクトと呼ばれる、スマートフォンアプリケーションの電力消費を集計するためのプラットフォームについてでした。

Ivan Beschastnikh博士による講演会

Bridging the design and implementation of distributed systems with
program analysis

話者: Ivan Beschastnikh (University of British Columbia)

日時: 2019年2月21日(木) 15:00-

場所: 東京工業大学 大岡山 西8号館 W棟 1008 (map)

(さらに…)

小串、新美、Luthfanによる学士論文発表

3名が学士論文発表を行います。

  • 小串 智希, データ構造の関係性を視認しやすくする自動グラフレイアウト手法  (PDF)
  • 新美 和生, GPU向けデータ並列中間言語 Lift におけるフィルター関数の設計と実装   (PDF)
  • Lubis Luthfan, Batak Java: Version Numbered Object-oriented Language to Solve Dependency Hell  (PDF)

(公式ページ)

Yige Wenによるウインタープログラム成果発表

メルボルン大学からの交換留学生Yige Wenがウインタープログラムの成果発表を行いました。当研究において”Designing a Domain Specific Language and its Transformer for Back-end Development of Information Management Systems”というテーマで研究を行いました。

[ポスター]

岡、蟹、夏目による修士論文発表

3名が修士論文を行いました。

  • 岡明央, Supporting Recursive Function(s) in Live Data Structure Programming     (PDF)
  • 蟹暁, 共有メモリ最適化のためのGPGPUプログラム合成器     (PDF)
  • 夏目敦之, 文脈指向プログラムの検証法の研究     (PDF)

(公式ページ)

情報処理学会プログラミング研究会でシェル風汎用言語を発表

福山市で行われた第122回情報処理学会プログラミング研究会Jeanine Adkisson, Johannes Westlund, Hidehiko Masuharaが論文 “A Shell-like Model for General Purpose Programming” を発表しました。

Next page →
← Previous page