@article{CTT100783243,
  author = {Raffi Khatchadourian and Awais Rashid and Hidehiko Masuhara and Takuya Watanabe},
  title = {Detecting Broken Pointcuts Using Structural Commonality and Degree of Interest},
  journal = {Science of Computer Programming},
  year = 2017,
}

@article{CTT100783257,
  author = {加藤淳 and 増原英彦},
  title = {プログラミング・エクスペリエンスの新潮流 -言語設計から産業応用まで: 編集にあたって},
  journal = {情報処理学会会誌},
  year = 2017,
}

@article{CTT100783255,
  author = {増原英彦},
  title = {会議レポート: 〈Programming〉 2017報告},
  journal = {情報処理学会会誌},
  year = 2017,
}

@article{CTT100783253,
  author = {朝倉泉 and 増原英彦 and 松本拓也 and 松崎公紀},
  title = {超解像処理におけるAccelerateプログラムのオーバーヘッドとその解消},
  journal = {情報処理学会第114回プログラミング研究会発表:},
  year = 2017,
}

@article{CTT100752866,
  author = {Matthias Springer and Hidehiko Masuhara and Robert Hirschfeld},
  title = {A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes},
  journal = {Journal of Information Processing},
  year = 2017,
}

@article{CTT100752865,
  author = {Marcel Taeumel and Stephanie Platz and Bastian Steinert and Robert Hirschfeld and Hidehiko Masuhara},
  title = {Unravel Programming Sessions with THRESHER: Identifying Coherent and Complete Sets of Fine-granular Source Code Changes},
  journal = {Computer Software},
  year = 2017,
}

@article{CTT100815732,
  author = {Church, L. and Gabriel, R.P. and Hirschfeld, R. and Hidehiko Masuhara},
  title = {Proceedings of the programming experience 2017.2 (PX/17.2) workshop},
  journal = {PX/17.2 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Experience, Co-located with SPLASH 2017},
  year = 2017,
}

@inproceedings{CTT100783246,
  author = {Raffi Khatchadourian and Hidehiko Masuhara},
  title = {Defaultification refactoring: A tool for automatically converting Java methods to default},
  booktitle = {2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year = 2017,
}

@inproceedings{CTT100783254,
  author = {朝倉泉 and 増原英彦 and 青谷知幸},
  title = {CertSkel: 高水準GPGPU言語のための形式検証済みコンパイラ},
  booktitle = {日本ソフトウェア科学会第34回大会},
  year = 2017,
}

@inproceedings{CTT100783245,
  author = {Raffi Khatchadourian and Hidehiko Masuhara},
  title = {Automated Refactoring of Legacy Java Software to Default Methods},
  booktitle = {reproduction of the ICSE'17 talk at JSSST Annual Conference},
  year = 2017,
}

@inproceedings{CTT100783256,
  author = {増原英彦},
  title = {実用的なライブプログラミングに向けて},
  booktitle = {電気関係学会北陸支部連合大会: 招待講演},
  year = 2017,
}

@inproceedings{CTT100783240,
  author = {Matthias Springer and Peter Wauligmann and Hidehiko Masuhara},
  title = {Modular Array-based GPU Computing in a Dynamically-typed Language},
  booktitle = {Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY2017)},
  year = 2017,
}

@inproceedings{CTT100783242,
  author = {Tetsuo Kamina and Tomoyuki Aotani and Hidehiko Masuhara},
  title = {Push-based Reactive Layer Activation in Context-Oriented Programming},
  booktitle = {{COP'17}: Proceedings of the International Workshop on Context-Oriented Programming},
  year = 2017,
}

@inproceedings{CTT100783241,
  author = {Matthias Springer and Andrew Krieger and Stanislav Manilov and Hidehiko Masuhara},
  title = {Dart2Java: Running Dart in Java-based Environments},
  booktitle = {Proceedings of the 12th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'17)},
  year = 2017,
}

@inproceedings{CTT100783239,
  author = {Raffi Khatchadourian and Hidehiko Masuhara},
  title = {Automated Refactoring of Legacy Java Software to Default Methods},
  booktitle = {Proceedings of International Conference on Software Engineering (ICSE'17)},
  year = 2017,
}

@inproceedings{CTT100783238,
  author = {Akio Oka and Hidehiko Masuhara and Tomoki Imai and Tomoyuki Aotani},
  title = {Live Data Structure Programming},
  booktitle = {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},
  year = 2017,
}

@inproceedings{CTT100783259,
  author = {田辺裕大 and 青谷知幸 and 増原英彦},
  title = {プログラミング言語へのバージョンの導入の研究},
  booktitle = {第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)},
  year = 2017,
}

@inproceedings{CTT100752867,
  author = {Matthias Springer and Peter Wauligmann and Hidehiko Masuhara},
  title = {Iterative Stencil Computations in Ruby on GPUs},
  booktitle = {19th JSSST SIGPPL Workshop on Programming and Programming Languages (PPL2017)},
  year = 2017,
}

@inproceedings{CTT100752869,
  author = {岡明央 and 増原英彦 and 青谷知幸},
  title = {ライブプログラミングのためのデータ構造の可視化と対話機能},
  booktitle = {情報処理学会第113回プログラミング研究会発表:},
  year = 2017,
}

@inproceedings{CTT100752870,
  author = {蟹暁 and 朝倉泉 and 増原英彦 and 青谷知幸},
  title = {バリア同期と共有メモリを備えたGPGPUプログラム合成器Kani-CUDA},
  booktitle = {情報処理学会第113回プログラミング研究会発表:},
  year = 2017,
}

@inproceedings{CTT100752871,
  author = {朝倉泉 and 増原英彦 and 青谷知幸},
  title = {検証済みコンパイラCertSkelによるGPGPUプログラム開発},
  booktitle = {第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)},
  year = 2017,
}

@inproceedings{CTT100752872,
  author = {今井朝貴 and 増原英彦 and 青谷知幸},
  title = {ライブプログラミング環境によるプログラマの行動と生産性への影響に関する実証研究},
  booktitle = {第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)},
  year = 2017,
}

@inproceedings{CTT100752873,
  author = {岡明央 and 増原英彦 and 今井朝貴 and 青谷知幸},
  title = {Kanonライブプログラミング環境を用いたデータ構造のプログラミング},
  booktitle = {第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)},
  year = 2017,
}

@inproceedings{CTT100752874,
  author = {蟹暁 and 朝倉泉 and 増原英彦 and 青谷知幸},
  title = {Kani-CUDAによるGPGPUプログラムの合成},
  booktitle = {第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)},
  year = 2017,
}

@inproceedings{CTT100783260,
  author = {奥河諒 and 青谷知幸 and 増原英彦},
  title = {証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究},
  booktitle = {第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)},
  year = 2017,
}

@inproceedings{CTT100783258,
  author = {伊澤侑祐 and 増原英彦 and 青谷知幸},
  title = {メタ混合JITコンパイラの提案},
  booktitle = {第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)},
  year = 2017,
}

@inproceedings{CTT100752864,
  author = {Izumi Asakura and Hidehiko Masuhara and Tomoyuki Aotani},
  title = {CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL},
  booktitle = {Proceedings of The Third International Workshop on Coq for Programming Languages (CoqPL 2017), colocated with PoPL'17},
  year = 2017,
}