@article{CTT100783032,
  author = {Kamina, T. and Aotani, T. and Masuhara, H. and Igarashi, A. and Tomoyuki Aotani},
  title = {Method safety mechanism for asynchronous layer deactivation},
  journal = {Science of Computer Programming},
  year = 2018,
}

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

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

@inproceedings{CTT100783034,
  author = {Tanabe, Y. and Aotani, T. and Masuhara, H. and Tomoyuki Aotani},
  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, COP 2018 - Co-located with the European Conference on Object-Oriented Programming},
  year = 2018,
}

@inproceedings{CTT100783033,
  author = {Inoue, H. and Aotani, T. and Igarashi, A. and Tomoyuki Aotani},
  title = {Context workflow: A monadic DSL for compensable and interruptible executions},
  booktitle = {Leibniz International Proceedings in Informatics, LIPIcs},
  year = 2018,
}

@inproceedings{CTT100783036,
  author = {Inoue, H. and Aotani, T. and Igarashi, A. and Tomoyuki Aotani},
  title = {A DSL for compensable and interruptible executions},
  booktitle = {REBLS 2017 - Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2017},
  year = 2017,
}

@inproceedings{CTT100783254,
  author = {朝倉泉 and 増原英彦 and 青谷知幸},
  title = {CertSkel: 高水準GPGPU言語のための形式検証済みコンパイラ},
  booktitle = {日本ソフトウェア科学会第34回大会},
  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{CTT100783037,
  author = {Kamina, T. and Aotani, T. and Masuhara, H. and Tomoyuki Aotani},
  title = {Push-based reactive layer activation in context-oriented programming},
  booktitle = {Proceedings of the 9th International Workshop on Context-Oriented Programming, COPS 2017 - Collocated with the European Conference on Object-Oriented Programming},
  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{CTT100783027,
  author = {Oka, A. and Masuhara, H. and Imai, T. and Aotani, T. and Tomoyuki Aotani},
  title = {Live data structure programming},
  booktitle = {ACM International Conference Proceeding Series},
  year = 2017,
}

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

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

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

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

@inproceedings{CTT100752874,
  author = {蟹暁 and 朝倉泉 and 増原英彦 and 青谷知幸},
  title = {Kani-CUDAによるGPGPUプログラムの合成},
  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{CTT100752869,
  author = {岡明央 and 増原英彦 and 青谷知幸},
  title = {ライブプログラミングのためのデータ構造の可視化と対話機能},
  booktitle = {情報処理学会第113回プログラミング研究会発表:},
  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{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{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{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{CTT100719017,
  author = {奥河諒 and 青谷知幸 and 増原英彦},
  title = {Featherweight JavaのMeta-Theory a la Carteを利用した拡張可能な形式化フレームワーク},
  booktitle = {},
  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{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{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{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{CTT100719040,
  author = {朝倉泉 and 増原英彦 and 青谷知幸},
  title = {GPGPUのための並行分離論理のCoqによる健全性証明},
  booktitle = {情報処理学会},
  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{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{CTT100688150,
  author = {桐山 裕匡 and 青谷 知幸 and 増原 英彦},
  title = {Haskellのモジュラリティと効率の両立のためのコンパイル時データ合成},
  booktitle = {},
  year = 2014,
}

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