論文

• 酒井 大我, 増原 英彦, 叢 悠悠. プログラミング教育のための目的文作成手順の提案と目的文作成支援環境の予備設計, 日本ソフトウェア科学会第40回大会, Sept. 2023.
• Raffi Khatchadourian, Hidehiko Masuhara. Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods, The Art, Science, and Engineering of Programming, Vol. 2, No. 1, Mar. 2018.
• Izumi Asakura, Hidehiko Masuhara, Takuya Matsumoto, Kiminori Matsuzaki. Identification and Elimination of the Overhead of Accelerate with a Super-Resolution Application, Journal of Information Processing, Vol. 26, pp. 48--53, Jan. 2018.
• 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.
• Tim Felgentreff, Robert Hirschfeld, Maria Graber, Alan Borning, Hidehiko Masuhara. Declaring Constraints on Object-oriented Collections, Journal of Information Processing, Vol. 24, No. 5, pp. 917--927, Nov. 2016.  公式リンク  
  
• 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.
• Kamina, T., Aotani, T., Hidehiko Masuhara, Tamai, T.. Context-oriented software development with generalized layer activation mechanism, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9800 LNCS, pp. 3-40, 2016.
• Springer, M., Hidehiko Masuhara. Object support in an array-based GPGPU extension for Ruby, ARRAY 2016 - Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Co-located with PLDI 2016, pp. 25-31, 2016.
• Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff. Visibility of context-oriented behavior and state in L, Computer Software, Vol. 32, No. 3, pp. 149-158, Aug. 2015.
• 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.
• Aotani, T., Kamina, T., Hidehiko Masuhara. Type-safe layer-introduced base functions with imperative layer activation, International Workshop on Context-Oriented Programming, COP 2015 - co-located with the 29th European Conference on Object-Oriented Programming, ECOOP 2015, 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.
• Kamina, T., Aotani, T., Hidehiko Masuhara, Igarashi, A.. Method safety mechanism for asynchronous layer deactivation, International Workshop on Context-Oriented Programming, COP 2015 - co-located with the 29th European Conference on Object-Oriented Programming, ECOOP 2015, 2015.
• Kouhei Sakurai, Hidehiko Masuhara.. Crossver: a code transformation language for crosscutting changes., In Proceedings of the 9th International Workshop on Advanced Modularization Techniques(AOAsia/Pacific 2014), Nov. 2014.
• Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff. Visibility of context-oriented behavior and state in L., 31st JSSST Annual Conference, Proceedings of the 31th JSSST Annual Conference, 日本ソフトウェア科学会, pp. PPL2-1, Sept. 2014.
• 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.
• 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.
• 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.
• Hirschfeld, R., Hidehiko Masuhara, Igarashi, A.. Context-oriented programming with only layers, Proceedings of the 5th International Workshop on Context-Oriented Programming, COP 2013, 2013.
• 増原英彦, 松岡聡, 渡部卓雄. 自己反映並列オブジェクト指向言語 ABCL/R2 の設計と実現, コンピュータソフトウェア, Vol. 11, No. 3, pp. 15-32, May 1994.

著書

• Laurie Hendren, Hidehiko Masuhara, Mary Sheeran, Jan Vitek. Proceedings of ACM SIGPLAN 2nd International Workshop on Libraries, Languages and Compilers for Array Programming, Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY'15)., June 2015.
• Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Etsuya Shibayama, Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa. Concurrent Objects and Beyond, Lecture notes in computer science, LNCS, Springer-Verlag, Vol. 8665, Sept. 2014.

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

• Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara. An Intrinsically Typed Compiler for Algebraic Effect Handlers, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), Proceedings of the 2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024), Jan. 2024.
• Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong. Program State Visualizer with User-Defined Representation Conversion, First Workshop on Future Debugging Techniques (DEBT 2023), July 2023.
• Kazuhiro Tsunoda, Hidehiko Masuhara, Youyou Cong. Mind the Error Message: an Inverted Quiz Format to Direct Learner's Attention to Error Messages, The 28th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2023), July 2023.
• Junya Nose, Youyou Cong, Hidehiko Masuhara. Mio: A Block-Based Environment for Program Design, SPLASH-E 2022, Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E, Dec. 2022.
• Naoyao Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen. Towards Efficient Adjustment of Effect Rows, International Symposium on Trends in Functional Programming (TFP 2022), Mar. 2022.
• Youyou Cong, Hidehiko Masuhara, Daan Leijen. Sound and Complete Type Inference for Closed Effect Rows, International Symposium on Trends in Functional Programming (TFP 2022), Mar. 2022.
• Shouki Tsuyama, Youyou Cong, Hidehiko Masuhara. Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages (discussion), WITS 2022, Jan. 2022.
• Junya Nose, Youyou Cong, Hidehiko Masuhara. Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe, The Scheme and Functional Programming Workshop (Scheme '21), Aug. 2021.
• Kazuki Niimi, Youyou Cong, Hidehiko Masuhara, Jonathan Immanuel Brachthäuser. Contextual Polymorphism Meets Bidirectional Effects, The 6th Workshop on Type-Driven Development (TyDe 2021), Aug. 2021.
• Yusuke Izawa, Hidehiko Masuhara, Carl Friedrich Bolz-Tereick, Youyou Cong. Threaded Code Generation with a Meta-tracing JIT Compiler, 16th Workshop on Implementation, Compilation, Optimization of Object- Oriented Languages, Programs and Systems, July 2021.
• Junya Nose, Youyou Cong, Hidehiko Masuhara. Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach, 10th International Workshop on Trends in Functional Programming in Education (TFPIE 2021), Feb. 2021.
• Hidehiko Masuhara, Shusuke Takahashi, Yusuke Izawa, Youyou Cong. Toward a Multi-Language and Multi-Environment Framework for Live Programming, LIVE 2020, Nov. 2020.
• Youyou Cong, Naoya Furudono, Hidehiko Masuhara. On Teaching Type Systems as Macros, The Scheme and Functional Programming Workshop (Scheme '20), Aug. 2020.
• Matthias Springer, Hidehiko Masuhara. DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access, European Conference on Object-oriented Programming (ECOOP 2019), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 134, pp. 17:1-17:37, July 2019.
• Matthias Springer, Hidehiko Masuhara. Massively Parallel GPU Memory Compaction, ACM SIGPLAN International Symposium on Memory Management (ISMM 2019), ACM, pp. 14-26, June 2019.
• 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.  公式リンク  
  
• Anthony Canino, David Liu, Hidehiko Masuhara. Stochastic Energy Optimization for Mobile GPS Applications, Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 703--713, 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.  公式リンク  
  
• Matthias Springer, Yaozhu Sun, Hidehiko Masuhara. Inner Array Inlining for Structure of Arrays Layout, Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY@PLDI 2018), pp. 50--58, June 2018.  公式リンク  
  
• Matthias Springer, Hidehiko Masuhara. Ikra-Cpp: A C++/CUDA DSL for Object-Oriented Programming with Structure-of-Arrays Layout, Proceedings of the 2018 4th Workshop on Programming Models for SIMD/Vector Processing (WPMVP 2018), pp. 6:1--6:9, Feb. 2018.  公式リンク  
  
• 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.
• Matthias Springer, Hidehiko Masuhara, Robert Hirschfeld. Classes as Layers: Rewriting Design Patterns with COP - Alternative Implementations of Decorator, Observer, Visitor, International Workshop on Context-oriented Programming (COP@ECOOP 2016), pp. 21-26, July 2016.
• Matthias Springer, Fabio Niephaus, Robert Hirschfeld, Hidehiko Masuhara. Matriona: Class nesting with parameterization in Squeak/Smalltalk, MODULARITY 2016: Proceedings of the 15th International Conference on Modularity, ACM, pp. 118-129, 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.
• Raffi Khatchadourian, Olivia Moore, Hidehiko Masuhara. Towards improving interface modularity in legacy Java software through automated refactoring, Workshop on Language Modularity À La Mode Workshop (LaMOD'16), MODULARITY Companion 2016: Companion Proceedings of the 15th International Conference on Modularity, ACM, pp. 104-106, 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.
• Matthias Springer, Hidehiko Masuhara, Robert Hirschfeld. Hierarchical layer-based class extensions in Squeak/Smalltalk, Workshop on Live Adaptation of Software Systems (LASSY 2016), Companion Proceedings of the 15th International Conference on Modularity, ACM, pp. 107-112, Mar. 2016.
• 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.
• Raffi Khatchadourian, Awais Rashid, Hidehiko Masuhara, Takuya Watanabe. Detecting broken pointcuts using structural commonality and degree of interest, Proceedings of 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), IEEE, pp. 641-646, Nov. 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.
• Raffi Khatchadourian, Awais Rashid, Hidehiko Masuhara, Takuya Watanabe. Fraglight: Shedding light on broken pointcuts in evolving aspect-oriented software, ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'15)SIGPLAN International Conference on Systems, Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH'15), ACM, pp. 17-18, 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.
• 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.
• Kouhei Sakurai, Hidehiko Masuhara. The omission finder for debugging what-should-have-happened bugs in object-oriented programs, Proceedings of The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015), pp. 1962-1969, Apr. 2015.
• Hidehiko Masuhara, SATOSHI MATSUOKA, Takuo Watanabe, Akinori Yonezawa. Object-Oriented Concurrent Reflective Languages Can be Implemented Efficiently, ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '92), pp. 127-144, 1992.

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

• 津山勝輝, 叢悠悠, 増原英彦. エフェクトハンドラを持つ言語に対する依存型付きコンパイラ, 第25回プログラミングおよびプログラミング言語ワークショップ（PPL 2023）, Mar. 2023.
• Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara. Intrinsically-Typed Interpreters for Effectful and Coeffectful Languages, First Workshop on the Implementation of Type Systems (WITS 2022), Jan. 2022.
• Shusuke Takahashi, Yusuke Izawa, Hidehiko Masuhara, Youyou Cong. An approach to collect object graphs for data-structure live programming based on a language implementation framework, 第136回プログラミング研究発表会, 情報処理学会論文誌 プログラミング, Jan. 2022.
• 蟹暁, 朝倉泉, 増原英彦, 青谷知幸. GPGPUプログラム最適化のためのプログラム合成器とその適用手法, The 3rd cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2018), May 2018.
• 朝倉泉, 増原英彦, 青谷知幸. GPGPU向けデータ並列コードテンプレートの形式検証, 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016), 日本ソフトウェア科学会プログラミング論研究会.

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

• Youyou Cong, Hironori Kawazoe, Hidehiko Masuhara. A Mostly CPS, Partly ANF Translation of Dependent Types, The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024), Aug. 2024.
• Akane Taniguchi, Youyou Cong, Hidehiko Masuhara. Formalizing an Object-Oriented Programming Language with Delimited Control, The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024), Aug. 2024.
• Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara. Daisy: A Block-Based Environment for Learning Data Modeling, The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024), Aug. 2024.

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

• 角田和広, 増原英彦, 叢悠悠. コード縮小と構文主導トークン生成を用いたエラー生成クイズの問題作成ツール, 第26回プログラミングおよびプログラミング言語ワークショップ（PPL 2024）, Mar. 2024.
• 木内康介, 増原英彦, 叢悠悠. 学習者自身が物理現象をモデル化するシミュレータ SimSym の提案, 日本ソフトウェア科学会第40回大会, Sept. 2023.
• Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong. Interactive Visual Debugger with a Customizable View, 日本ソフトウェア科学会第39回大会, Sept. 2022.
• Fathul Asrar Alfansuri, Hidehiko Masuhara, Luthfan Lubis, Youyou Cong. Supporting Multiple Inheritance in an Object-Oriented DSL for GPGPU by Class Hierarchy Transformation, 日本ソフトウェア科学会第39回大会, Aug. 2022.
• 能勢純哉, 叢悠悠, 増原英彦. デザインレシピに基づいた初学者のための学習環境, 第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）, Mar. 2022.
• 角田和広, 増原英彦, 叢 悠悠. エラー生成クイズの提案と実施様子の観察結果の紹介, 第24回プログラミングおよびプログラミング言語ワークショップ（PPL 2022）, Mar. 2022.
• 津山勝輝, 叢悠悠, 増原英彦. 型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて, 日本ソフトウェア科学会第38回大会, Sept. 2021.
• Fumi Takeuchi, 増原 英彦, Raffi Khatchadourian, 叢 悠悠. Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language, 日本ソフトウェア科学会第38回大会, Sept. 2021.
• 角田和広, 増原英彦, 叢 悠悠. エラーを起こさせる初学者向けプログラミングドリルの提案, 日本ソフトウェア科学会第38回大会, Sept. 2021.
• 荒井滉平, 増原英彦, 叢悠悠. WebAssemblyを対象にしたSchemeコンパイラの作成に向けて, 日本ソフトウェア科学会第38回大会, Sept. 2021.
• 能勢 純弥, 叢 悠悠, 増原 英彦. デザインレシピに基づいたプログラミングための開発環境の構築に向けて, 第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）, Mar. 2021.
• 高橋 修祐, 伊澤 侑祐, 増原 英彦, 叢 悠悠. 汎言語的ライブプログラミング環境のためのデータ構造解析手法, 第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）, Mar. 2021.
• 古殿 直也, 叢 悠悠, 増原 英彦. Koka言語に対するエフェクト割り当て最適化, 第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）, Mar. 2021.
• 池守 和槻, 叢 悠悠, 増原 英彦. 代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明, 第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）, Mar. 2021.
• 新美和生, 叢悠悠, 増原英彦. Effekt言語の双方向エフェクトによる拡張, 第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）, Mar. 2021.
• 伊澤侑祐, 増原英彦, 叢悠悠. An Interpreter Design for Supporting Different JIT Compilations in RPython Framework, 第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021）, Mar. 2021.
• 能勢純哉, 叢悠悠, 増原英彦. デザインレシピに基づいたプログラミング環境の実装に向けて, 日本ソフトウェア科学会第37回大会, Sept. 2020.
• 池守 和槻, 叢 悠悠, 増原 英彦. パラメタライズドモナドによる依存アップデートの形式化に向けて, 日本ソフトウェア科学会第37回大会, Sept. 2020.
• Chenxin Jizhe, Hidehiko Masuhara, Matthias Springer, Youyou Cong. Sanajeh: A DSL for GPGPU programming with Python objects, 日本ソフトウェア科学会第37回大会, Aug. 2020.
• 能勢純哉, 叢悠悠, 増原英彦. デザインレシピに沿ったプログラミング環境の実装, 第22回プログラミングおよびプログラミング言語ワークショップ（PPL 2020）, Mar. 2020.
• Yusuke Izawa, Hidehiko Masuhara, Tomoyuki Aotani, Youyou Cong. A Stack Hybridization for Meta-hybrid Just-in-time Compilation, 日本ソフトウェア科学会第36回大会, Aug. 2019.
• Raffi Khatchadourian, Hidehiko Masuhara. Automated Refactoring of Legacy Java Software to Default Methods, 第17回情報科学技術フォーラム, Sept. 2018.
• Robert Hirschfeld, Tobias Durschmid, Patrick Rein, Marcel Taeumel, Hidehiko Masuhara. Narratives for Multi-party Mechanisms and Concerns, Proceedings of the 35th JSSST Annual Conference, pp. No.~5-S, Aug. 2018.
• 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.
• 朝倉泉, 増原英彦, 青谷知幸. CertSkel: 高水準GPGPU言語のための形式検証済みコンパイラ, 日本ソフトウェア科学会第34回大会, Sept. 2017.
• 岡明央, 増原英彦, 今井朝貴, 青谷知幸. Kanonライブプログラミング環境を用いたデータ構造のプログラミング, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 蟹暁, 朝倉泉, 増原英彦, 青谷知幸. Kani-CUDAによるGPGPUプログラムの合成, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 朝倉泉, 増原英彦, 青谷知幸. 検証済みコンパイラCertSkelによるGPGPUプログラム開発, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 今井朝貴, 増原英彦, 青谷知幸. ライブプログラミング環境によるプログラマの行動と生産性への影響に関する実証研究, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 蟹暁, 朝倉泉, 増原英彦, 青谷知幸. バリア同期と共有メモリを備えたGPGPUプログラム合成器Kani-CUDA, 情報処理学会第113回プログラミング研究会発表:, pp. 2016-5-(6), Mar. 2017.
• 岡明央, 増原英彦, 青谷知幸. ライブプログラミングのためのデータ構造の可視化と対話機能, 情報処理学会第113回プログラミング研究会発表:, pp. 2016-5-(8), 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.  公式リンク  
  
• 田辺裕大, 青谷知幸, 増原英彦. プログラミング言語へのバージョンの導入の研究, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 奥河諒, 青谷知幸, 増原英彦. 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 伊澤侑祐, 増原英彦, 青谷知幸. メタ混合JITコンパイラの提案, 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017), Mar. 2017.  公式リンク  
  
• 今井朝貴, 増原英彦, 青谷知幸. ライブプログラミング環境におけるユニットテスト機能の設計と実現方法, 情報処理学会第111回プログラミング研究会発表:, pp. 2016-3-(7), Oct. 2016.
• Matthias Springer, Hidehiko Masuhara. Ikra: Leveraging object-oriented abstractions in a Ruby-to-CUDA JIT translator, 18th JSSST SIGPPL Workshop on Programming and Programming Languages (PPL 2016), Mar. 2016.
• 渡邉恵大, 増原英彦, 青谷知幸. 多次元的文脈指向言語Korzのメソッドディスパッチの改善, 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016), 2016.
• Hidehiko Masuhara. Context-oriented programming and units of adaptation, NII Shonan Meeting on Engineering Adaptive Software Systems(EASSy), 2016.
• Stephanie Platz, Marcel Taeumel, Bastian Steinert, Robert Hirschfeld, Hidehiko Masuhara. Unravel programming sessions with THRESHER: Identifying coherent and complete sets of fine-granular source code changes, Proceedings of the 32nd JSSST Annual Conference, 2016.
• Ruochen Huang, 増原英彦, 青谷知幸. RPythonを用いたErlang仮想機械PyrlangにおけるJITコンパイル方針の改良, 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016), 2016.
• 奥河諒, 青谷知幸, 増原英彦. Featherweight JavaのMeta-Theory a la Carteを利用した拡張可能な形式化フレームワーク, 第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.
• 桐山 裕匡, 青谷 知幸, 増原 英彦. Haskellのモジュラリティと効率の両立のためのコンパイル時データ合成, 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014）, Mar. 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.

その他の論文・著書など

• 増原英彦. (少し)反転してみた, コンピュータソフトウェア, Vol. 35, No. 2, pp. 85--86, May 2018.
• 松本行弘, 加藤和彦, 千葉滋, 増原英彦, 小野寺民也, 笹田耕一, 高橋征義. Rubyの20年, Rubyのこれから, 情報処理学会会誌, 情報処理学会, Vol. 56, No. 12, pp. 1192-1197, Dec. 2015.

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