HPIとの共同論文が日本ソフトウェア科学会研究論文賞を受賞
HPIとの共同論文”Unravel Programming Sessions with THRESHER: Identifying Coherent and Complete Sets of Fine-granular Source Code Changes”が日本ソフトウェア科学会第23回研究論文賞を受賞しました。
伊澤侑祐 と 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)において以下の発表を行います。
- MoreVMs’19 Workshop on Modern Language Runtimes, Ecosystems, and VMs の論文 “Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation” (伊澤、増原、青谷)
- MoreVMs’19 Workshop on Modern Language Runtimes, Ecosystems, and VMs の論文 “A Shell-like Model for General Purpose Programming” (Adkisson, Westlund, and Masuhara)
- ACM Student Research Competition (SRC)の発表 “BacCaml: The Meta-Hybrid Just-In-Time Compiler” (伊澤)
- ACM Student Research Competition (SRC)の発表 “Magritte: A modern shell language” (Adkisson)
- デモ発表 “Programming Experiences with a Live Programming Environment for Data Structures” (増原、岡、小串)
叢悠悠・陈忻吉喆・能勢純弥が研究室に加わりました
この春、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名が修士論文を行いました。