@book{CTT100719579,
  author = {Laurie Hendren and Hidehiko Masuhara and Mary Sheeran and Jan Vitek},
  title = {Proceedings of ACM SIGPLAN 2nd International Workshop on Libraries, Languages and Compilers for Array Programming},
  publisher = {},
  year = 2015,
}

@book{CTT100688156,
  author = {Gul Agha and Atsushi Igarashi and Naoki Kobayashi and Hidehiko Masuhara and Etsuya Shibayama and Kenjiro Taura and Satoshi  Matsuoka and Akinori Yonezawa},
  title = {Concurrent Objects and Beyond},
  publisher = {Springer-Verlag},
  year = 2014,
}

@article{CTT100902511,
  author = {酒井 大我 and 増原 英彦 and 叢 悠悠},
  title = {プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計},
  journal = {},
  year = 2023,
}

@article{CTT100783248,
  author = {Raffi Khatchadourian and Hidehiko Masuhara},
  title = {Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods},
  journal = {The Art, Science, and Engineering of Programming},
  year = 2018,
}

@article{CTT100783244,
  author = {Izumi Asakura and Hidehiko Masuhara and Takuya Matsumoto and Kiminori Matsuzaki},
  title = {Identification and Elimination of the Overhead of Accelerate with a Super-Resolution Application},
  journal = {Journal of Information Processing},
  year = 2018,
}

@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,
}

@article{CTT100752863,
  author = {Tim Felgentreff and Robert Hirschfeld and Maria Graber and Alan Borning and Hidehiko Masuhara},
  title = {Declaring Constraints on Object-oriented Collections},
  journal = {Journal of Information Processing},
  year = 2016,
}

@article{CTT100752862,
  author = {Tetsuo Kamina and Tomoyuki Aotani and Hidehiko Masuhara},
  title = {Generalized Layer Activation Mechanism for Context-Oriented Programming},
  journal = {Transactions on Modularity and Composition (TOMC)},
  year = 2016,
}

@article{CTT100719101,
  author = {Izumi Asakura and Hidehiko Masuhara and Tomoyuki Aotani},
  title = {Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq},
  journal = {Journal of Information Processing},
  year = 2016,
}

@article{CTT100815621,
  author = {Springer, M. and Hidehiko Masuhara},
  title = {Object support in an array-based GPGPU extension for Ruby},
  journal = {ARRAY 2016 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Co-located with PLDI 2016},
  year = 2016,
}

@article{CTT100815689,
  author = {Kamina, T. and Aotani, T. and Hidehiko Masuhara and Tamai, T.},
  title = {Context-oriented software development with generalized layer activation mechanism},
  journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  year = 2016,
}

@article{CTT100719425,
  author = {Robert Hirschfeld and Hidehiko Masuhara and Atsushi Igarashi and Tim Felgentreff},
  title = {Visibility of context-oriented behavior and state in L},
  journal = {Computer Software},
  year = 2015,
}

@article{CTT100688133,
  author = {Tetsuo Kamina and Tomoyuki Aotani and Hidehiko Masuhara.},
  title = {Generalized layer activation mechanism through contexts and subscribers.},
  journal = {In Proceedings of International Conference on Modularity(Modularity '15)},
  year = 2015,
}

@article{CTT100688136,
  author = {Tetsuo Kamina and Tomoyuki Aotani and Atsushi Igarashi. and Hidehiko Masuhara},
  title = {On-demand layer activation for type-safe deactivation.},
  journal = {In Proceedings of 6th International Workshop on Context-Oriented Programming. COP'14},
  year = 2015,
}

@article{CTT100815730,
  author = {Aotani, T. and Kamina, T. and Hidehiko Masuhara},
  title = {Type-safe layer-introduced base functions with imperative layer activation},
  journal = {International Workshop on Context-Oriented Programming, COP 2015 - co-located with the 29th European Conference on Object-Oriented Programming, ECOOP 2015},
  year = 2015,
}

@article{CTT100815696,
  author = {Kamina, T. and Aotani, T. and Hidehiko Masuhara and Igarashi, A.},
  title = {Method safety mechanism for asynchronous layer deactivation},
  journal = {International Workshop on Context-Oriented Programming, COP 2015 - co-located with the 29th European Conference on Object-Oriented Programming, ECOOP 2015},
  year = 2015,
}

@article{CTT100688135,
  author = {Kouhei Sakurai and Hidehiko Masuhara.},
  title = {Crossver: a code transformation language for crosscutting changes.},
  journal = {In Proceedings of the 9th International Workshop on Advanced Modularization Techniques(AOAsia/Pacific 2014)},
  year = 2014,
}

@article{CTT100688140,
  author = {Robert Hirschfeld and Hidehiko Masuhara and Atsushi Igarashi and Tim Felgentreff},
  title = {Visibility of context-oriented behavior and state in L.},
  journal = {Proceedings of the 31th JSSST Annual Conference},
  year = 2014,
}

@article{CTT100688137,
  author = {Tomoyuki Aotani and Tetsuo Kamina and Hidehiko Masuhara.},
  title = {Unifying multiple layer activation mechanisms using one event sequence.},
  journal = {In Proceedings of 6th International Workshop on Context-Oriented Programming, COP'14.},
  year = 2014,
}

@article{CTT100688142,
  author = {Murakami Naoya and Hidehiko Masuhara and Tomoyuki Aotani},
  title = {Code Recommendation based on degree-of-interest model.},
  journal = {Proceeding of the Fourth International Workshop on Recommendation Systems in Software Engineering(RSSE 2014)},
  year = 2014,
}

@article{CTT100688145,
  author = {Tomoyuki Aotani and Tetsuo Kamina and Hidehiko Masuhara},
  title = {Context holders:Realizing multiple layer activation mechanisms in a single context-oriented language.},
  journal = {Proceedings of the Workshop on Foundations of Aspect-Oriented Languages(FOAL '14)},
  year = 2014,
}

@article{CTT100688144,
  author = {Tetsuo Kamina and Tomoyuki Aotani and Hidehiko Masuhara and Tetsuo Tamai.},
  title = {Context-oriented software engineering: A modularity vision.},
  journal = {In Proceedings of International Conference on Modularity(Modularity '14)},
  year = 2014,
}

@article{CTT100815669,
  author = {Hirschfeld, R. and Hidehiko Masuhara and Igarashi, A.},
  title = {Context-oriented programming with only layers},
  journal = {Proceedings of the 5th International Workshop on Context-Oriented Programming, COP 2013},
  year = 2013,
}

@article{CTT100497747,
  author = {増原英彦 and 松岡聡 and 渡部卓雄},
  title = {自己反映並列オブジェクト指向言語 ABCL/R2 の設計と実現},
  journal = {コンピュータソフトウェア},
  year = 1994,
}

@inproceedings{CTT100908543,
  author = {角田和広 and 増原英彦 and 叢悠悠},
  title = {コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100902512,
  author = {木内康介 and 増原英彦 and 叢悠悠},
  title = {学習者自身が物理現象をモデル化するシミュレータ SimSym の提案},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100894388,
  author = {Kazuhiro Tsunoda and Hidehiko Masuhara and Youyou Cong},
  title = {Mind the Error Message: an Inverted Quiz Format to Direct Learner's Attention to Error Messages},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100892863,
  author = {Rifqi Adlan Apriyadi and Hidehiko Masuhara and Youyou Cong},
  title = {Program State Visualizer with User-Defined Representation Conversion},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100885300,
  author = {津山勝輝 and 叢悠悠 and 増原英彦},
  title = {エフェクトハンドラを持つ言語に対する依存型付きコンパイラ},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100906521,
  author = {Syouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
  title = {An Intrinsically Typed Compiler for Algebraic Effect Handlers},
  booktitle = {Proceedings of the 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)},
  year = 2023,
}

@inproceedings{CTT100882379,
  author = {Junya Nose and Youyou Cong and Hidehiko Masuhara},
  title = {Mio: A Block-Based Environment for Program Design},
  booktitle = {Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E},
  year = 2022,
}

@inproceedings{CTT100881645,
  author = {Rifqi Adlan Apriyadi and Hidehiko Masuhara and Youyou Cong},
  title = {Interactive Visual Debugger with a Customizable View},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100881643,
  author = {Fathul Asrar Alfansuri and Hidehiko Masuhara and Luthfan Lubis and Youyou Cong},
  title = {Supporting Multiple Inheritance in an Object-Oriented DSL for GPGPU by Class Hierarchy Transformation},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100866360,
  author = {能勢純哉 and 叢悠悠 and 増原英彦},
  title = {デザインレシピに基づいた初学者のための学習環境},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100867031,
  author = {Naoyao Furudono and Youyou Cong and Hidehiko Masuhara and Daan Leijen},
  title = {Towards Efficient Adjustment of Effect Rows},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100867030,
  author = {Youyou Cong and Hidehiko Masuhara and Daan Leijen},
  title = {Sound and Complete Type Inference for Closed Effect Rows},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100866359,
  author = {角田和広 and 増原英彦 and 叢 悠悠},
  title = {エラー生成クイズの提案と実施様子の観察結果の紹介},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100907992,
  author = {Syouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
  title = {Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100873856,
  author = {Shouki Tsuyama and Youyou Cong and Hidehiko Masuhara},
  title = {Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion)},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100873852,
  author = {Shusuke Takahashi and Yusuke Izawa and Hidehiko Masuhara and Youyou Cong},
  title = {An approach to collect object graphs for data-structure live programming based on a language implementation framework},
  booktitle = {情報処理学会論文誌 プログラミング},
  year = 2022,
}

@inproceedings{CTT100861225,
  author = {津山勝輝 and 叢悠悠 and 増原英彦},
  title = {型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100861228,
  author = {Fumi Takeuchi and 増原 英彦 and Raffi Khatchadourian and 叢 悠悠},
  title = {Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100861226,
  author = {角田和広 and 増原英彦 and 叢 悠悠},
  title = {エラーを起こさせる初学者向けプログラミングドリルの提案},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100861224,
  author = {荒井滉平 and 増原英彦 and 叢悠悠},
  title = {WebAssemblyを対象にしたSchemeコンパイラの作成に向けて},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100859051,
  author = {Junya Nose and Youyou Cong and Hidehiko Masuhara},
  title = {Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100854434,
  author = {Kazuki Niimi and Youyou Cong and Hidehiko Masuhara and Jonathan Immanuel Brachthäuser},
  title = {Contextual Polymorphism Meets Bidirectional Effects},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100854435,
  author = {Yusuke Izawa and Hidehiko Masuhara and Carl Friedrich Bolz-Tereick and Youyou Cong},
  title = {Threaded Code Generation with a Meta-tracing JIT Compiler},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849132,
  author = {新美和生 and 叢悠悠 and 増原英彦},
  title = {Effekt言語の双方向エフェクトによる拡張},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849137,
  author = {能勢 純弥 and 叢 悠悠 and 増原 英彦},
  title = {デザインレシピに基づいたプログラミングための開発環境の構築に向けて},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849136,
  author = {高橋 修祐 and 伊澤 侑祐 and 増原 英彦 and 叢 悠悠},
  title = {汎言語的ライブプログラミング環境のためのデータ構造解析手法},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849135,
  author = {古殿 直也 and 叢 悠悠 and 増原 英彦},
  title = {Koka言語に対するエフェクト割り当て最適化},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849134,
  author = {池守 和槻 and 叢 悠悠 and 増原 英彦},
  title = {代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849131,
  author = {伊澤侑祐 and 増原英彦 and 叢悠悠},
  title = {An Interpreter Design for Supporting Different JIT Compilations in RPython Framework},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100860489,
  author = {Junya Nose and Youyou Cong and Hidehiko Masuhara},
  title = {Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100837131,
  author = {Hidehiko Masuhara and Shusuke Takahashi and Yusuke Izawa and Youyou Cong},
  title = {Toward a Multi-Language and Multi-Environment Framework for Live Programming},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100849395,
  author = {池守 和槻 and 叢 悠悠 and 増原 英彦},
  title = {パラメタライズドモナドによる依存アップデートの形式化に向けて},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100849394,
  author = {能勢純哉 and 叢悠悠 and 増原英彦},
  title = {デザインレシピに基づいたプログラミング環境の実装に向けて},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100835134,
  author = {Chenxin Jizhe and Hidehiko Masuhara and Matthias Springer and Youyou Cong},
  title = {Sanajeh: A DSL for GPGPU programming with Python objects},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100835131,
  author = {Youyou Cong and Naoya Furudono and Hidehiko Masuhara},
  title = {On Teaching Type Systems as Macros},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100826194,
  author = {能勢純哉 and 叢悠悠 and 増原英彦},
  title = {デザインレシピに沿ったプログラミング環境の実装},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100835133,
  author = {Yusuke Izawa and Hidehiko Masuhara and Tomoyuki Aotani and Youyou Cong},
  title = {A Stack Hybridization for Meta-hybrid Just-in-time Compilation},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100802980,
  author = {Matthias Springer and Hidehiko Masuhara},
  title = {DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access},
  booktitle = {Leibniz International Proceedings in Informatics (LIPIcs)},
  year = 2019,
}

@inproceedings{CTT100802981,
  author = {Matthias Springer and Hidehiko Masuhara},
  title = {Massively Parallel GPU Memory Compaction},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100783223,
  author = {Anthony Canino and David Liu and Hidehiko Masuhara},
  title = {Stochastic Energy Optimization for Mobile GPS Applications},
  booktitle = {Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
  year = 2018,
}

@inproceedings{CTT100783252,
  author = {Akio Oka and Hidehiko Masuhara and Tomoyuki Aotani},
  title = {Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming},
  booktitle = {Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software},
  year = 2018,
}

@inproceedings{CTT100783263,
  author = {Raffi Khatchadourian and Hidehiko Masuhara},
  title = {Automated Refactoring of Legacy Java Software to Default Methods},
  booktitle = {第17回情報科学技術フォーラム},
  year = 2018,
}

@inproceedings{CTT100783251,
  author = {Robert Hirschfeld and Tobias Durschmid and Patrick Rein and Marcel Taeumel and Hidehiko Masuhara},
  title = {Narratives for Multi-party Mechanisms and Concerns},
  booktitle = {Proceedings of the 35th JSSST Annual Conference},
  year = 2018,
}

@inproceedings{CTT100783250,
  author = {Yudai Tanabe and Tomoyuki Aotani and Hidehiko Masuhara},
  title = {A Context-Oriented Programming Approach to Dependency Hell},
  booktitle = {Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition},
  year = 2018,
}

@inproceedings{CTT100783249,
  author = {Matthias Springer and Yaozhu Sun and Hidehiko Masuhara},
  title = {Inner Array Inlining for Structure of Arrays Layout},
  booktitle = {Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY@PLDI 2018)},
  year = 2018,
}

@inproceedings{CTT100783262,
  author = {蟹暁 and 朝倉泉 and 増原英彦 and 青谷知幸},
  title = {GPGPUプログラム最適化のためのプログラム合成器とその適用手法},
  booktitle = {The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018)},
  year = 2018,
}

@inproceedings{CTT100783247,
  author = {Matthias Springer and Hidehiko Masuhara},
  title = {Ikra-Cpp: A C++/CUDA DSL for Object-Oriented Programming with Structure-of-Arrays Layout},
  booktitle = {Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing (WPMVP 2018)},
  year = 2018,
}

@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{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{CTT100783254,
  author = {朝倉泉 and 増原英彦 and 青谷知幸},
  title = {CertSkel: 高水準GPGPU言語のための形式検証済みコンパイラ},
  booktitle = {日本ソフトウェア科学会第34回大会},
  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{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{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{CTT100783258,
  author = {伊澤侑祐 and 増原英彦 and 青谷知幸},
  title = {メタ混合JITコンパイラの提案},
  booktitle = {第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)},
  year = 2017,
}

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

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

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

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

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

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

@inproceedings{CTT100783260,
  author = {奥河諒 and 青谷知幸 and 増原英彦},
  title = {証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究},
  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{CTT100783259,
  author = {田辺裕大 and 青谷知幸 and 増原英彦},
  title = {プログラミング言語へのバージョンの導入の研究},
  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,
}

@inproceedings{CTT100752868,
  author = {今井朝貴 and 増原英彦 and 青谷知幸},
  title = {ライブプログラミング環境におけるユニットテスト機能の設計と実現方法},
  booktitle = {情報処理学会第111回プログラミング研究会発表:},
  year = 2016,
}

@inproceedings{CTT100802983,
  author = {Matthias Springer and Hidehiko Masuhara and Robert Hirschfeld},
  title = {Classes as Layers: Rewriting Design Patterns with COP - Alternative Implementations of Decorator, Observer, Visitor},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100719092,
  author = {Matthias Springer and Hidehiko Masuhara},
  title = {Ikra: Leveraging object-oriented abstractions in a Ruby-to-CUDA JIT translator},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100719083,
  author = {Raffi Khatchadourian and Olivia Moore and Hidehiko Masuhara},
  title = {Towards improving interface modularity in legacy Java software through automated refactoring},
  booktitle = {MODULARITY Companion 2016: Companion Proceedings of the 15th International Conference on Modularity},
  year = 2016,
}

@inproceedings{CTT100719077,
  author = {Matthias Springer and Hidehiko Masuhara and Robert Hirschfeld},
  title = {Hierarchical layer-based class extensions in Squeak/Smalltalk},
  booktitle = {Companion Proceedings of the 15th International Conference on Modularity},
  year = 2016,
}

@inproceedings{CTT100719071,
  author = {Tetsuo Kamina and Tomoyuki Aotani and Hidehiko Masuhara},
  title = {Toward fluent module interactions},
  booktitle = {MODULARITY Companion 2016: Companion Proceedings of the 15th International Conference on Modularity},
  year = 2016,
}

@inproceedings{CTT100719087,
  author = {Hidehiko Masuhara and Kenta Fujita and Tomoyuki Aotani},
  title = {An advice mechanism for non-local flow control},
  booktitle = {MODULARITY Companion 2016: Companion Proceedings of the 15th International Conference on Modularity},
  year = 2016,
}

@inproceedings{CTT100719080,
  author = {Hirotada Kiriyama and Tomoyuki Aotani and Hidehiko Masuhara},
  title = {A lightweight optimization technique for data types à la carte},
  booktitle = {MODULARITY Companion 2016: Companion Proceedings of the 15th International Conference on Modularity},
  year = 2016,
}

@inproceedings{CTT100719090,
  author = {Matthias Springer and Fabio Niephaus and Robert Hirschfeld and Hidehiko Masuhara},
  title = {Matriona: Class nesting with parameterization in Squeak/Smalltalk},
  booktitle = {MODULARITY 2016: Proceedings of the 15th International Conference on Modularity},
  year = 2016,
}

@inproceedings{CTT100719143,
  author = {Hidehiko Masuhara},
  title = {Context-oriented programming and units of adaptation},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100719141,
  author = {Stephanie Platz and Marcel Taeumel 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},
  booktitle = {Proceedings of the 32nd JSSST Annual Conference},
  year = 2016,
}

@inproceedings{CTT100719024,
  author = {渡邉恵大 and 増原英彦 and 青谷知幸},
  title = {多次元的文脈指向言語Korzのメソッドディスパッチの改善},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100719021,
  author = {Ruochen Huang and 増原英彦 and 青谷知幸},
  title = {RPythonを用いたErlang仮想機械PyrlangにおけるJITコンパイル方針の改良},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100719017,
  author = {奥河諒 and 青谷知幸 and 増原英彦},
  title = {Featherweight JavaのMeta-Theory a la Carteを利用した拡張可能な形式化フレームワーク},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100719124,
  author = {Raffi Khatchadourian and Awais Rashid and Hidehiko Masuhara and Takuya Watanabe},
  title = {Detecting broken pointcuts using structural commonality and degree of interest},
  booktitle = {Proceedings of 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015)},
  year = 2015,
}

@inproceedings{CTT100719127,
  author = {Tomoki Imai and Hidehiko Masuhara and Tomoyuki Aotani},
  title = {Making live programming practical by bridging the gap between trial-and-error development and unit testing},
  booktitle = {Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'15)},
  year = 2015,
}

@inproceedings{CTT100719134,
  author = {Ruochen Huang and Hidehiko Masuhara and Tomoyuki Aotani},
  title = {Pyrlang: A high performance Erlang virtual machine based on RPython},
  booktitle = {Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'15)},
  year = 2015,
}

@inproceedings{CTT100719133,
  author = {Tomoki Imai and Hidehiko Masuhara and Tomoyuki Aotani},
  title = {Shiranui: A live programming with support for unit testing},
  booktitle = {Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'15)},
  year = 2015,
}

@inproceedings{CTT100719129,
  author = {Raffi Khatchadourian and Awais Rashid and Hidehiko Masuhara and Takuya Watanabe},
  title = {Fraglight: Shedding light on broken pointcuts in evolving aspect-oriented software},
  booktitle = {Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'15)},
  year = 2015,
}

@inproceedings{CTT100719040,
  author = {朝倉泉 and 増原英彦 and 青谷知幸},
  title = {GPGPUのための並行分離論理のCoqによる健全性証明},
  booktitle = {情報処理学会},
  year = 2015,
}

@inproceedings{CTT100719584,
  author = {Kouhei Sakurai and Hidehiko Masuhara},
  title = {The omission finder for debugging what-should-have-happened bugs in object-oriented programs},
  booktitle = {Proceedings of The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015)},
  year = 2015,
}

@inproceedings{CTT100688148,
  author = {Hidehiko Masuhara and Tomoyuki Aotani},
  title = {A dynamically-typed language for  prototyping high-performance data parallel programs.},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100688149,
  author = {朝倉 泉 and 増原 英彦 and 青谷 知幸},
  title = {Ocommand：Ocaml上の型安全なシェルプログラミングのための領域特化言語の提案},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100688150,
  author = {桐山 裕匡 and 青谷 知幸 and 増原 英彦},
  title = {Haskellのモジュラリティと効率の両立のためのコンパイル時データ合成},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100688155,
  author = {藤田 健太 and 増原 英彦 and 青谷 知幸},
  title = {例外処理を分離するChop&Graftアドバイス機構の提案},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100688154,
  author = {朝倉 泉 and 増原 英彦 and 青谷 知幸},
  title = {GPGPUカーネル検証のための分離論理のCoｑによる形式化},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100688153,
  author = {黄 若塵 and 増原 英彦 and 青谷 知幸},
  title = {Pyrlang: RPythonを用いた高性能Erlang BEAM仮想マシン},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100688151,
  author = {今井朝貴 and 増原英彦 and 青谷知幸},
  title = {ライブプログラミングにユニットテストを統合する機能の提案},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100497702,
  author = {Hidehiko Masuhara and SATOSHI MATSUOKA and Takuo Watanabe and Akinori Yonezawa},
  title = {Object-Oriented Concurrent Reflective Languages Can be Implemented Efficiently},
  booktitle = {ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '92)},
  year = 1992,
}

@inproceedings{CTT100719013,
  author = {朝倉泉 and 増原英彦 and 青谷知幸},
  title = {GPGPU向けデータ並列コードテンプレートの形式検証},
  booktitle = {日本ソフトウェア科学会プログラミング論研究会},
  year = ,
}

@misc{CTT100783261,
  author = {増原英彦},
  title = {(少し)反転してみた},
  year = 2018,
}

@misc{CTT100719034,
  author = {松本行弘 and 加藤和彦 and 千葉滋 and 増原英彦 and 小野寺民也 and 笹田耕一 and 高橋征義},
  title = {Rubyの20年, Rubyのこれから},
  year = 2015,
}