カテゴリー: news
SPLASH ’15でポスターとデモ発表
Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 15)でポスターおよびデモ発表を行います。
- [demo] Making Live Programming Practical by Bridging the Gap Between Trial-and-error Development and Unit Testing (Imai, Masuhara and Aotani)
- [demo] Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software (Khatchadourian, Rashid, Masuhara, and Watanabe)
- [poster] Pyrlang: A High Performance Erlang Virtual Machine Based on RPython (Huang, Masuhara and Aotani)
- [poster] Shiranui: A Live Programming with Support for Unit Testing (Imai, Masuhara and Aotani)
新規メンバー: Matthias Springer
Matthias Springerが国際大学院プログラム(A)博士課程学生として研究室に加わりました。
Robert Hirschfeld教授が当研究室を訪問
Hasso-Plattner InstitutのRobert Hirschfeld教授が9月14日から18日の間、当研究室を訪問し、文脈指向プログラミングとDesign Thinking Researchに関する講演を行いました。
THRESHERに関するソフトウェア科学会大会論文発表
Platz, Taeumel, Steinert, Hirschfeld, Masuharaによる論文”Unravel programming sessions with THRESHER: Identifying coherent and complete sets of fine-granular source code changes”が第32回日本ソフトウェア科学会大会にて発表されました。
日本ソフトウェア科学会論文賞を受賞
青谷、紙名、増原による論文「オブジェクト毎の層遷移を宣言的に記述できる文脈指向言語EventCJ」が日本ソフトウェア科学会第19回論文賞(2014年度)を受賞しました。
NII湘南会議EASSy’15において文脈指向プログラミングの発表
NII湘南会議Engineering Adaptive Software Systems (EASSy)において増原が文脈指向プログラミングの発表を行いました
高校生が研究室訪問
東京工業大学附属科学技術高校2年生約20名が、同校の「サマーレクチャー」の一環として本研究室を訪問しました。研究室からはライブプログラミング・定理証明支援系によるプログラムの仕様検証・遅延評価関数型言語のデモや解説を行ったところ、熱心に話を聞き入ってくれました。
Walter Binder先生が研究室を訪問
スイス・ルガノ大学(Università della Svizzera italiana)のWalter Binder先生が研究室を訪問し、 専攻談話会において”Accurate Profiling in the Presence of Dynamic Compilation” についてご講演されました。
文脈指向プログラミングに関する2本の論文がCOP’15で発表されます
以下の論文が文脈指向プログラミングに関するワークショップ (7th International Workshop on Context-Oriented Programming, co-located with ECOOP’15)で発表されます:
- “Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation” by Tomoyuki Aotani, Tetsuo Kamina and Hidehiko Masuhara
- “Method Safety Mechanism for Asynchronous Layer Deactivation” by Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara and Atsushi Igarashi
GPGPUのための並行分離論理に関する論文が情報処理学会論文誌 プログラミングに採録
朝倉泉，増原英彦，青谷知幸による”GPGPUのための並行分離論理のCoqによる健全性証明”が情報処理学会論文誌 プログラミングに採録されました．