プログラミング研究室 – ページ 19 – 東京科学大学 (旧東京工業大学) 情報理工学院数理・計算科学系

Stefan Marr先生とElisa Gonzalez Boix先生による講演

英ケント大の Stefan Marr 先生と、ベルギー VUB の Elisa Gonzalez Boix 先生にご講演いただきます。Marr 先生は、並列分散システムのための言語基盤や、最近では Truffle/Graal の研究でも著名な方です。Gonzalez Boix 先生は分散言語、リアクティブ言語やその開発環境で活躍されています。

場所: W8 W910 (西8号館W棟 910セミナー室)
日時: Tuesday June 4, 2019, 14:30-
講演 1 (14:30-)
- タイトル: Safe and Efficient Data Representations for Dynamic Languages with Shared-Memory Parallelism
- 話者: Dr. Stefan Marr (University of Kent)
講演 2 (16:00-)
- タイトル: Tooling for live big data applications
- 話者: Prof. Elisa Gonzalez Boix (Vrije Universiteit Brussel)

(さらに…)

2019-06-04.

HPIとの共同論文が日本ソフトウェア科学会研究論文賞を受賞

HPIとの共同論文”Unravel Programming Sessions with THRESHER: Identifying Coherent and Complete Sets of Fine-granular Source Code Changes”が日本ソフトウェア科学会第23回研究論文賞を受賞しました。

(さらに…)

2019-05-27.

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

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

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

伊澤侑祐: “BacCaml: The Meta-Hybrid Just-in-time Compiler”
Jeanine Adkisson: “Magritte: A modern Shell Language”

2019-04-04.

<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” (増原、岡、小串)

2019-04-02.

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

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

叢悠悠 (助教)
陈忻吉喆 (修士課程)
能勢純弥 (学士課程)

(全構成員)

2019-04-01.

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

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

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

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

バージョン付きモジュールシステムの提案(田辺, 青谷, 増原)

2019-03-06.

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

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

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

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

2019-03-04.

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)

(さらに…)

2019-02-21.

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

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

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

(公式ページ)

2019-02-08.

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

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

[ポスター]

2019-02-05.

← Previous page

Bridging the design and implementation of distributed systems with program analysis

Bridging the design and implementation of distributed systems with
program analysis