|
増原英彦 2017年 研究業績一覧 (27件 / 132件)
論文
-
Raffi Khatchadourian,
Awais Rashid,
Hidehiko Masuhara,
Takuya Watanabe.
Detecting Broken Pointcuts Using Structural Commonality and Degree of Interest,
Science of Computer Programming,
Vol. 150,
pp. 56--74,
Dec. 2017.
公式リンク
-
加藤淳,
増原英彦.
プログラミング・エクスペリエンスの新潮流 -言語設計から産業応用まで: 編集にあたって,
情報処理学会会誌,
Vol. 58,
No. 11,
pp. 1006--1009,
Oct. 2017.
-
増原英彦.
会議レポート: 〈Programming〉 2017報告,
情報処理学会会誌,
Vol. 58,
No. 9,
pp. 844--845,
Sept. 2017.
公式リンク
-
朝倉泉,
増原英彦,
松本拓也,
松崎公紀.
超解像処理におけるAccelerateプログラムのオーバーヘッドとその解消,
情報処理学会第114回プログラミング研究会発表:,
June 2017.
-
Matthias Springer,
Hidehiko Masuhara,
Robert Hirschfeld.
A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes,
Journal of Information Processing,
Vol. 25,
pp. 296-307,
Mar. 2017.
-
Marcel Taeumel,
Stephanie Platz,
Bastian Steinert,
Robert Hirschfeld,
Hidehiko Masuhara.
Unravel Programming Sessions with THRESHER: Identifying Coherent and Complete Sets of Fine-granular Source Code Changes,
Computer Software,
Vol. 34,
No. 1,
pp. 103--118,
Feb. 2017.
-
Church, L.,
Gabriel, R.P.,
Hirschfeld, R.,
Hidehiko Masuhara.
Proceedings of the programming experience 2017.2 (PX/17.2) workshop,
PX/17.2 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Experience, Co-located with SPLASH 2017,
pp. iii,
2017.
国際会議発表 (査読有り)
-
Raffi Khatchadourian,
Hidehiko Masuhara.
Defaultification refactoring: A tool for automatically converting Java methods to default,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE),
pp. 984-989,
Nov. 2017.
-
Matthias Springer,
Peter Wauligmann,
Hidehiko Masuhara.
Modular Array-based GPU Computing in a Dynamically-typed Language,
Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY2017),
pp. 48--55,
June 2017.
公式リンク
-
Tetsuo Kamina,
Tomoyuki Aotani,
Hidehiko Masuhara.
Push-based Reactive Layer Activation in Context-Oriented Programming,
{COP'17}: Proceedings of the International Workshop on Context-Oriented Programming,
pp. 17--21,
June 2017.
-
Matthias Springer,
Andrew Krieger,
Stanislav Manilov,
Hidehiko Masuhara.
Dart2Java: Running Dart in Java-based Environments,
Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'17),
pp. 1:1--1:6,
June 2017.
公式リンク
-
Raffi Khatchadourian,
Hidehiko Masuhara.
Automated Refactoring of Legacy Java Software to Default Methods,
Proceedings of International Conference on Software Engineering (ICSE'17),
pp. 82--93,
May 2017.
公式リンク
-
Akio Oka,
Hidehiko Masuhara,
Tomoki Imai,
Tomoyuki Aotani.
Live Data Structure Programming,
Proceedings of the 2nd Edition of the Programming Experience Workshop (PX/17) in Companion to the First International Conference on the Art, Science and Engineering of Programming,
pp. 26:1--26:7,
Apr. 2017.
公式リンク
-
Izumi Asakura,
Hidehiko Masuhara,
Tomoyuki Aotani.
CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL,
Proceedings of The Third International Workshop on Coq for Programming Languages (CoqPL 2017), colocated with PoPL'17,
Jan. 2017.
国内会議発表 (査読なし・不明)
-
朝倉泉,
増原英彦,
青谷知幸.
CertSkel: 高水準GPGPU言語のための形式検証済みコンパイラ,
日本ソフトウェア科学会第34回大会,
Sept. 2017.
-
Raffi Khatchadourian,
Hidehiko Masuhara.
Automated Refactoring of Legacy Java Software to Default Methods,
reproduction of the ICSE'17 talk at JSSST Annual Conference,
Sept. 2017.
-
増原英彦.
実用的なライブプログラミングに向けて,
電気関係学会北陸支部連合大会: 招待講演,
Sept. 2017.
-
田辺裕大,
青谷知幸,
増原英彦.
プログラミング言語へのバージョンの導入の研究,
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017),
Mar. 2017.
公式リンク
-
Matthias Springer,
Peter Wauligmann,
Hidehiko Masuhara.
Iterative Stencil Computations in Ruby on GPUs,
19th JSSST SIGPPL Workshop on Programming and Programming Languages (PPL2017),
Mar. 2017.
公式リンク
-
岡明央,
増原英彦,
青谷知幸.
ライブプログラミングのためのデータ構造の可視化と対話機能,
情報処理学会第113回プログラミング研究会発表:,
pp. 2016-5-(8),
Mar. 2017.
-
蟹暁,
朝倉泉,
増原英彦,
青谷知幸.
バリア同期と共有メモリを備えたGPGPUプログラム合成器Kani-CUDA,
情報処理学会第113回プログラミング研究会発表:,
pp. 2016-5-(6),
Mar. 2017.
-
朝倉泉,
増原英彦,
青谷知幸.
検証済みコンパイラCertSkelによるGPGPUプログラム開発,
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017),
Mar. 2017.
公式リンク
-
今井朝貴,
増原英彦,
青谷知幸.
ライブプログラミング環境によるプログラマの行動と生産性への影響に関する実証研究,
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017),
Mar. 2017.
公式リンク
-
岡明央,
増原英彦,
今井朝貴,
青谷知幸.
Kanonライブプログラミング環境を用いたデータ構造のプログラミング,
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017),
Mar. 2017.
公式リンク
-
蟹暁,
朝倉泉,
増原英彦,
青谷知幸.
Kani-CUDAによるGPGPUプログラムの合成,
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017),
Mar. 2017.
公式リンク
-
奥河諒,
青谷知幸,
増原英彦.
証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究,
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017),
Mar. 2017.
公式リンク
-
伊澤侑祐,
増原英彦,
青谷知幸.
メタ混合JITコンパイラの提案,
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017),
Mar. 2017.
公式リンク
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|