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)

High school students visited us

More than 20 second year students at Tokyo Tech High School of Science and Technology visited our group under the Summer Lecture at Tokyo Tech. They are enthusiastically listen to our demonstrations of live programming environments, program verification with a proof assistant system, and a lazy functional programming language.

Summer Lecture for High School Students 2 (more…)