Asakura presented master’s thesis, and Okugawa, Taya, and Watanabe presented bachelor’s thesis
Asakura presented his master’s thesis at the Tokyo Institute of Technology.
The title:
- Formal Verification of Data Parallel DSLs for GPGPU based on Concurrent Separation Logic (PDF)
Okugawa, Taya and Watanabe presented their bachelor’s theses at the Tokyo Institute of Technology.
Theses titles:
- An Extension of Meta-Theory a la Carte for Object Oriented Programming Languages (Ryo Okugawa)
- A Method of Data Representation and Parallelization for Multiple GPUs on Array Oriented DSL (Atsushi Taya)
- Improvement of Power of Expression of a Multi-dimensional Context Oriented Programming Language Korz (Keita Watanabe)