論文

• Kamina, T., Aotani, T., Masuhara, H., Igarashi, A., Tomoyuki Aotani. Method safety mechanism for asynchronous layer deactivation, Science of Computer Programming, Vol. 156, pp. 104-120, 2018.  公式リンク  
  
• Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara. Generalized Layer Activation Mechanism for Context-Oriented Programming, Transactions on Modularity and Composition (TOMC), Vol. 9800, pp. 123--166, Sept. 2016.  公式リンク  
  
• Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani. Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq, Journal of Information Processing, Information Processing Society of Japan, Vol. 24, No. 1, pp. 132-140, Jan. 2016.
• Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara.. Generalized layer activation mechanism through contexts and subscribers., Modularity '15, In Proceedings of International Conference on Modularity(Modularity '15), pp. 14-28, Mar. 2015.
• Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi., Hidehiko Masuhara. On-demand layer activation for type-safe deactivation., 6th International Workshop on Context-Oriented Programming, In Proceedings of 6th International Workshop on Context-Oriented Programming. COP'14, ACM, pp. 4:1-4:7, 2015.
• Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara.. Unifying multiple layer activation mechanisms using one event sequence., 6th International Workshop on Context-Oriented Programming COP'14, In Proceedings of 6th International Workshop on Context-Oriented Programming, COP'14., ACM, pp. 2:1-2:6, July 2014.
• Murakami Naoya, Hidehiko Masuhara, Tomoyuki Aotani. Code Recommendation based on degree-of-interest model., RSSE 2014, Proceeding of the Fourth International Workshop on Recommendation Systems in Software Engineering(RSSE 2014), ACM, pp. 28-29, June 2014.
• Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara. Context holders:Realizing multiple layer activation mechanisms in a single context-oriented language., FOAL 2014, Proceedings of the Workshop on Foundations of Aspect-Oriented Languages(FOAL '14), pp. 3-6., Apr. 2014.
• Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai.. Context-oriented software engineering: A modularity vision., Modularity 2014, In Proceedings of International Conference on Modularity(Modularity '14), pp. 85-98., Apr. 2014.

国際会議発表 (査読有り)

• Akio Oka, Hidehiko Masuhara, Tomoyuki Aotani. Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming, Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp. 72--87, Nov. 2018.  公式リンク  
  
• Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara. A Context-Oriented Programming Approach to Dependency Hell, Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition, pp. 8--14, July 2018.  公式リンク  
  
• Tanabe, Y., Aotani, T., Masuhara, H., Tomoyuki Aotani. A context-oriented programming approach to dependency hell, 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, pp. 8-14, 2018.  公式リンク  
  
• Inoue, H., Aotani, T., Igarashi, A., Tomoyuki Aotani. Context workflow: A monadic DSL for compensable and interruptible executions, Leibniz International Proceedings in Informatics, LIPIcs, Vol. 109, 2018.  公式リンク  
  
• Inoue, H., Aotani, T., Igarashi, A., Tomoyuki Aotani. A DSL for compensable and interruptible executions, REBLS 2017 - Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, co-located with SPLASH 2017, pp. 8-14, Oct. 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.
• Kamina, T., Aotani, T., Masuhara, H., Tomoyuki Aotani. Push-based reactive layer activation in context-oriented programming, Proceedings of the 9th International Workshop on Context-Oriented Programming, COPS 2017 - Collocated with the European Conference on Object-Oriented Programming, pp. 17-22, June 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.  公式リンク  
  
• Oka, A., Masuhara, H., Imai, T., Aotani, T., Tomoyuki Aotani. Live data structure programming, ACM International Conference Proceeding Series, Vol. Part F129681, 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.
• Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara. Toward fluent module interactions, Workshop on Modularity Across the System Stack (MASS 2016), MODULARITY Companion 2016: Companion Proceedings of the 15th International Conference on Modularity, ACM, pp. 158-159, Mar. 2016.
• Hirotada Kiriyama, Tomoyuki Aotani, Hidehiko Masuhara. A lightweight optimization technique for data types à la carte, Workshop on Language Modularity À La Mode Workshop (LaMOD'16), MODULARITY Companion 2016: Companion Proceedings of the 15th International Conference on Modularity, ACM, pp. 86-90, Mar. 2016.
• Hidehiko Masuhara, Kenta Fujita, Tomoyuki Aotani. An advice mechanism for non-local flow control, Workshop on Foundations of Aspect-Oriented Langauges (FOAL2016), MODULARITY Companion 2016: Companion Proceedings of the 15th International Conference on Modularity, ACM, pp. 73-78, Mar. 2016.
• Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani. Pyrlang: A high performance Erlang virtual machine based on RPython, Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'15), pp. 48-49, Oct. 2015.
• Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani. Making live programming practical by bridging the gap between trial-and-error development and unit testing, ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'15), Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'15), pp. 11-12, Oct. 2015.
• Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani. Shiranui: A live programming with support for unit testing, Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'15), ACM, pp. 36-37, Oct. 2015.

国内会議発表 (査読有り)

• 蟹暁, 朝倉泉, 増原英彦, 青谷知幸. GPGPUプログラム最適化のためのプログラム合成器とその適用手法, The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018), May 2018.
• 朝倉泉, 増原英彦, 青谷知幸. GPGPU向けデータ並列コードテンプレートの形式検証, 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016), 日本ソフトウェア科学会プログラミング論研究会.

国内会議発表 (査読なし・不明)

• Yusuke Izawa, Hidehiko Masuhara, Tomoyuki Aotani, Youyou Cong. A Stack Hybridization for Meta-hybrid Just-in-time Compilation, 日本ソフトウェア科学会第36回大会, Aug. 2019.
• 朝倉泉, 増原英彦, 青谷知幸. CertSkel: 高水準GPGPU言語のための形式検証済みコンパイラ, 日本ソフトウェア科学会第34回大会, Sept. 2017.
• 蟹暁, 朝倉泉, 増原英彦, 青谷知幸. バリア同期と共有メモリを備えたGPGPUプログラム合成器Kani-CUDA, 情報処理学会第113回プログラミング研究会発表:, pp. 2016-5-(6), Mar. 2017.
• 奥河諒, 青谷知幸, 増原英彦. 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 田辺裕大, 青谷知幸, 増原英彦. プログラミング言語へのバージョンの導入の研究, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 伊澤侑祐, 増原英彦, 青谷知幸. メタ混合JITコンパイラの提案, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 蟹暁, 朝倉泉, 増原英彦, 青谷知幸. Kani-CUDAによるGPGPUプログラムの合成, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 岡明央, 増原英彦, 今井朝貴, 青谷知幸. Kanonライブプログラミング環境を用いたデータ構造のプログラミング, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 今井朝貴, 増原英彦, 青谷知幸. ライブプログラミング環境によるプログラマの行動と生産性への影響に関する実証研究, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 朝倉泉, 増原英彦, 青谷知幸. 検証済みコンパイラCertSkelによるGPGPUプログラム開発, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 岡明央, 増原英彦, 青谷知幸. ライブプログラミングのためのデータ構造の可視化と対話機能, 情報処理学会第113回プログラミング研究会発表:, pp. 2016-5-(8), Mar. 2017.
• 今井朝貴, 増原英彦, 青谷知幸. ライブプログラミング環境におけるユニットテスト機能の設計と実現方法, 情報処理学会第111回プログラミング研究会発表:, pp. 2016-3-(7), Oct. 2016.
• 奥河諒, 青谷知幸, 増原英彦. Featherweight JavaのMeta-Theory a la Carteを利用した拡張可能な形式化フレームワーク, 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016), 2016.
• 渡邉恵大, 増原英彦, 青谷知幸. 多次元的文脈指向言語Korzのメソッドディスパッチの改善, 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016), 2016.
• Ruochen Huang, 増原英彦, 青谷知幸. RPythonを用いたErlang仮想機械PyrlangにおけるJITコンパイル方針の改良, 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016), 2016.
• 朝倉泉, 増原英彦, 青谷知幸. GPGPUのための並行分離論理のCoqによる健全性証明, 情報処理学会第104回プログラミング研究会, 情報処理学会, pp. 2015-1-（4）, June 2015.
• Hidehiko Masuhara, Tomoyuki Aotani. A dynamically-typed language for prototyping high-performance data parallel programs., JST/CREST International Symposium on Post Petascale System Software, Dec. 2014.
• 朝倉 泉, 増原 英彦, 青谷 知幸. Ocommand：Ocaml上の型安全なシェルプログラミングのための領域特化言語の提案, 情報処理学会第99回プログラミング研究会発表, pp. 2014-1-（3）, June 2014.
• 藤田 健太, 増原 英彦, 青谷 知幸. 例外処理を分離するChop&Graftアドバイス機構の提案, 第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014), Mar. 2014.
• 朝倉 泉, 増原 英彦, 青谷 知幸. GPGPUカーネル検証のための分離論理のCoｑによる形式化, 第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014), Mar. 2014.
• 黄 若塵, 増原 英彦, 青谷 知幸. Pyrlang: RPythonを用いた高性能Erlang BEAM仮想マシン, 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014）, Mar. 2014.
• 今井朝貴, 増原英彦, 青谷知幸. ライブプログラミングにユニットテストを統合する機能の提案, 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014 ）, Mar. 2014.
• 桐山 裕匡, 青谷 知幸, 増原 英彦. Haskellのモジュラリティと効率の両立のためのコンパイル時データ合成, 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014）, Mar. 2014.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]