About masuhara



View all posts by masuhara

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

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

, May 20, 2017. Category: news.

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

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

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

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

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に採択されました。

朝倉泉が情報処理学会コンピュータサイエンス領域奨励賞を受賞

朝倉泉情報処理学会コンピュータサイエンス領域奨励賞を受賞しました。 2015年の同会プログラミング研究会の発表「GPGPUのための並行分離論理のCoqによる健全性証明」が受賞対象となった論文です。

新規メンバーと修了者

黄若塵が修士課程を修了しました。学位記授与式では情報理工学研究科の総代として学位記を受け取りました。

Ruochen Huang, “Pyrlang: A High Performance Erlang Virtual Machine Based on RPython“, Master Thesis, August 2016

ミュンヘ工科大学からの交換留学生Peter Wauligmann が研究室に加わりました。2017年2月まで研究室に滞在してIkraプロジェクトに参加します。

THRESHERに関する論文が「コンピュータソフトウェア」誌に採録決定

Taeumel, Platz, Steinert, Hirschfeld, and Masuharaによる論文 “Unravel programming sessions with THRESHER: Identifying coherent and complete sets of fine-granular source code changes” が日本ソフトウェア科学会論文誌「コンピュータソフトウェア」に採録決定しました。

SIGPX第2回勉強会を開催

プログラミングのための環境と、その環境が提供する体験の設計に興味を持つ人の勉強会としてSIGPX (Special Interest Group on Programming Experience)の第2回を日本マイクロソフト本社にて開催。今井と岡がライトニングトークを行いました。産総研の加藤淳氏とともに増原がオーガナイザーを勤めました。

新規(客員)メンバー: David Liu先生 (SUNY Binghamtom)

SUNY BinghamtomのDavid Liu先生が共同研究のために5月12日から7月8日まで滞在します。エネルギー意識システムのためのプログラミング言語と文脈指向プログラミングについての研究を行う予定です。

, July 8, 2016. Category: news.

Anthony Canino (SUNY Binghamton)氏による講演会

Title: Proactive and Adaptive Energy-Aware Programming with Hybrid Typing

Speaker: Anthony Canino (State University of New York, Binghamton, USA)

Date/time: 2 pm, Monday June 27, 2016

Location: W911, Building West #8, Ookayama Campus, Tokyo Tech

(さらに…)

, June 27, 2016. Category: news.

2016年度 数理・計算科学系入試説明会が行われます

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

  • 第1回 2016年5月7日(土) 14:00 (大岡山キャンパス)
  • 第2回 2016年5月13・14日(金・土)  (すずかけ台キャンパス)

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

, May 14, 2016. Category: news.
Next page →