カテゴリー: news
GPGPUのための並行分離論理のCoqによる健全性証明についての発表が情報処理学会プログラミング研究会で行なわれます
朝倉泉，増原英彦，青谷知幸による”GPGPUのための並行分離論理のCoqによる健全性証明”が第104回プログラミング研究会にて発表されました．
Raffi Khatchadourian先生が研究室に滞在
ニューヨーク市立大学のRaffi Khatchadourian5月28日から6月10日まで研究室に滞在し、共同研究を行いました。6月2日の専攻談話会において”Open Problems in Automatically Refactoring Legacy Java Software to use New Features in Java 8″と題した講演も行っていただきました。(この滞在は本学の国際的な共同研究推進のための派遣・招へい支援プログラムによるものです。)
ACM SAC2015において履歴に基づくデバッガに関する論文の発表
ACM Symposium on Applied Computing (SAC 2015)において櫻井孝平、増原英彦による論文“The Omission Finder for Debugging What-Should-Have-Happened Bugs in Object-Oriented Programs”が発表されます。 [PDF]
Robert Hirschfeld教授が当研究室を訪問
Hasso-Plattner InstitutのRobert Hirschfeld教授が3月24日から4月7日の間、当研究室を訪問し、文脈指向プログラミングとDesign Thinking Researchに関する講演を行いました。
文脈指向プログラミングのための一般化した層活性機構に関するMODULARITY’15国際会議論文
14th International Conference on Modularity (MODULARITY’15) において紙名哲生、青谷知幸、増原英彦による論文”Generalized Layer Activation Mechanism Through Contexts and Subscribers”が発表されます。[PDF]
PPL2015 でポスター発表をします
PPL２０１５でポスター発表をします
ISP2S2においてIkraに関するポスター発表
増原と青谷によるA Dynamically-typed Language for Prototyping High-Performance Data Parallel Programsポスター発表がJST/CREST International Symposium on Post Petascale System Softwareにて行われます。
FSE’14併設のAOAsia/Pacificワークショップにおいて横断的変更のためのコード変換言語に関する論文発表
FSE’14に併設されるAOAsia/Pacificワークショップにおいて櫻井と増原による論文 “Crossver: a Code Transformation Language for Crosscutting Changes” が発表されます。