[33] | Adding User-Definable Representation Conversion to Debugger State Visualization (Rifqi Adlan Apriyadi), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2023. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[32] | Translation Between Effect Instances and Multi-prompt Control Operators (Kazuki Ikemori), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2023. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[31] | 差分実行の形式化 (Naoya Furudono), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2023. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[30] | 実行履歴を用いた差分実行型ライププログラミング環境の実現 (Shusuke Takahashi), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2023. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[29] | Supporting Multiple Inheritance in a Python DSL for GPGPU (Fathul Asrar Alfansuri), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2022. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[28] | 仮想機械語を用いた第一級継続の実現方法とその比較 (Kohei Arai), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2022. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[27] | Mio:プログラムデザインを支援するブロック学習環境 (Junya Nose), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2022. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[26] | ライブデータ構造プログラミングの大規模データ利用のための改善 (Tomoki Ogushi), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2021. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[25] | Extending Effekt with Bidirectional Effects (Kazuki Niimi), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2021. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[24] | Nested Object Support in an Object-Oriented Domain-Specific Language for GPGPU (Jizhe Chenxin), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2021. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[23] | BatakJava: an Object-Oriented Programming Language with Versions (Lubis Luthfan Anshar), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2021. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[22] | Stack Hybridization: A Mechanism for Bridging Two Compilation Strategies in a Meta JIT Compiler Framework (Yusuke Izawa), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2020. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[21] | 版を扱えるプログラミング言語$\lambda$VLへの型・版多相性の導入の研究 (Yudai Tanabe), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2020. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[20] | Improving Keyword Programming by Using Neural Text Generation (Aochi Shu), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2020. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[19] | Magritte: A Language for Pipe-Based Programming (Jeanine Miller Adkisson), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2019. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[18] | Deep Learning based Code Completion with ASTToken2Vec (Li Dongfang), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2019. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[17] | 共有メモリ最適化のためのGPGPUプログラム合成器 (Akira Kani), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2019. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[16] | 文脈指向プログラムの検証法の研究 (Atsuyuki Natsume), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2019. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[15] | Supporting Recursive Functions in Live Data Structure Programming (Akio Oka), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2019. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[14] | 証明支援器Coqを使ったプログラミング言語の操作的意味論に基づく型安全性の拡張可能な形式化の研究 (Ryo Okugawa), Master's thesis, Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, 2018. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[13] | ライブプログラミングが生産性に与える影響に関する実証研究 (Tomoki Imai), Master's thesis, Department of Mathematical and Computing Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, 2017. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[12] | 拡張可能な構文定義の枠組み (Hirotada Kiriyama), Master's thesis, Department of Mathematical and Computing Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, 2017. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[11] | Pyrlang: A High Performance Erlang Virtual Machine Based on RPython (Ruochen Huang), Master's thesis, Department of Mathematical and Computing Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, 2016. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[10] | 並行分離論理に基づくGPGPU向けデータ並列DSLコンパイラの形式検証 (Izumi Asakura), Master's thesis, Department of Mathematical and Computing Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, 2016. (Supervisor: Hidehiko Masuhara) [bibtex] [PDF] |
[9] | Rubyに基づくGPGPU向けスクリプト言語における型推論 (Yusuke Nishiguchi), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, 2014. (Supervisor: Hidehiko Masuhara) [bibtex] |
[8] | 関心度に基づいたソースコード推薦システム (Naoya Murakami), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, 2014. (Supervisor: Hidehiko Masuhara) [bibtex] |
[7] | アスペクト指向アルゴリズムアニメーションフレームワークの研究 (Bingfeng Shao), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, 2014. (Supervisor: Hidehiko Masuhara) [bibtex] |
[6] | アスペクト指向言語のaroundアドバイスにおける型に関する柔軟性の向上と型安全性の研究 (Manabu Toyama), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, 2011. (Supervisor: Hidehiko Masuhara) [bibtex] |
[5] | 解析を利用したポイントカットを実現するアスペクト指向言語のコンパイラ (Tomoyuki Aotani), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, 2006. (Supervisor: Hidehiko Masuhara) [bibtex] |
[4] | 類似プログラムの提示によるコード再利用支援 (Takuya Watanabe), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, 2006. (Supervisor: Hidehiko Masuhara) [bibtex] |
[3] | Value Profiling for Java Bytecode (Song Liu), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, 2006. (Supervisor: Hidehiko Masuhara) [bibtex] |
[2] | Design and Implementation of Dataflow Pointcut in Aspect-Oriented Programming Languages (Kazunori Kawauchi), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, 2004. (Supervisor: Hidehiko Masuhara) [bibtex] |
[1] | オブジェクト指向プログラムの高速化を支援するプロファイラ (Takahiro Kamio), Master's thesis, Department of General Systems Studies, Graduate School of Arts and Sciences, The University of Tokyo, 2004. (Supervisor: Hidehiko Masuhara) [bibtex] |