Category: dissertation
Ikemori, Furudono and Takahashi present Master’s Theses
Our members presented their master’s theses.
- Kazuki Ikemori, Translation Between Effect Instances and Multi-prompt Control Operators
- Naoya Furudono, Formalizing Differential Execution
- Shusuke Takahashi, Implementation of Live Programming Environmnet Based on Differential Execution Using Evaluation History
Doctoral thesis defense by Yusuke Izawa
Yusuke Izawa had a public defense of his doctoral dissertation on “Supporting multi-scope and multi-level compilation in a meta-tracing just-in-time compiler.” He realized a new meta-compilation system that enables a meta-tracing JIT compiler to perform compilation in different scopes and multiple compilation levels with taming an interpreter definition.
(more…)Doctoral thesis defense by Yudai Tanabe
Yudai Tanabe had a public defense of his doctoral dissertation on “A Programming Language with Versions.” He designed a novel programming language that can handle multiple versions of a program from within a programming language.
Saito, Tsunoda and Tsuyama Presented Bachelor’s Theses
Our members present their bachelor’s theses.
- Ayumu Saito, Formal Verification of Effectful Programs by Equational Reasoning
- Kazuhiro Tsunoda, プログラミングエラーメッセージの読解を促進する初学者向け演習形式の提案
- Syouki Tsuyama, 副作用を持つプログラミング言語を型安全に定義するためのライブラリの開発に向けて
Fathul, Arai and Nose Presents Master’s Theses
Our members present their master’s theses.
- Fathul Asrar Alfansuri, Supporting Multiple Inheritance in a Python DSL for GPGPU
- Kohei Arai, 仮想機械語を用いた第一級継続の実現方法とその比較
- Junya Nose, Mio:プログラムデザインを支援するブロック学習環境
Ikemori, Furudono and Takahashi Presents Bachelor’s Theses
Our members present their bachelor’s theses. (Bachelor thesis presentation)
- Kazuki Ikemori, 代数的エフェクトを持つ計算体系F^effへのエフェクト強制の導入と健全性の証明 (PDF)
- Naoya Furudono, 代数的エフェクトを備えた関数型言語 Koka に対する、エフェクト割り当て最適化 (PDF)
- Shusuke Takahashi, データ構造ライブプログラミング環境の汎言語的な構築手法 (PDF)
Master’s theses defense by Ogushi, Niimi, Chenxin and Luthfan
Our members presented their master’s theses.
- Tomoki Ogushi, ライブデータ構造プログラミングの大規模データ利用のための改善 (PDF)
- Kazuki Niimi, Extending Effekt with Bidirectional Effects (PDF)
- Jizhe Chenxin, Nested Object Support in an Object-Oriented Domain-Specific Language for GPGPU (PDF)
- Lubis Luthfan Anshar, BatakJava: an Object-Oriented Programming Language with Versions (PDF)
Bachelor’s thesis defense by Nose
Junya Nose defended his bachelor’s thesis. (Bachelor thesis presentation)
- Junya Nose,デザインレシピに沿ったプログラミング環境に関する研究
Master’s theses defense by Izawa, Tanabe and Shu
Three members defended their master’s theses.
- Yusuke Izawa, Stack Hybridization: A Mechanism for Bridging Two Compilation Strategies in a Meta Compiler Framework (PDF)
- Yudai Tanabe, 版を扱えるプログラミング言語λ VLへの型・版多相性の導入の研究 (PDF)
- Aochi Shu, Improving keyword programming by using neural text generation (PDF)
Master’s theses presentations by Adkission and Li
Two members presented their Master’s theses.
- Jeanine Adkisson, Magritte: A Language for Pipe-Based Programming (PDF)
- Li Dongfang, Deep Learning based Code Completion with ASTToken2Vec (PDF)
