Asakura presented master’s thesis, and Okugawa, Taya, and Watanabe presented bachelor’s theses

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)

Poster & demo presentations at SPLASH ’15

We present the following posters and demos at at Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 15).

  • [demo] Making Live Programming Practical by Bridging the Gap Between Trial-and-error Development and Unit Testing (Imai, Masuhara and Aotani)
  • [demo] Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software (Khatchadourian, Rashid, Masuhara, and Watanabe)
  • [poster] Pyrlang: A High Performance Erlang Virtual Machine Based on RPython (Huang, Masuhara and Aotani)
  • [poster] Shiranui: A Live Programming with Support for Unit Testing (Imai, Masuhara and Aotani)