Poster presentations at PPL 2015 in Matsuyama
Following posters are presented at PPL2015.
- Pyrlang: A High Performance Erlang BEAM Virtual Machine Using RPython — Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani
- Integration Unit Testing into Live Programming — Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
- Formalization of Separation Logic for GPGPU Kernel — Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani
- Compile-Time Datatype Composition for Efficiency and Modularity in Haskell — Hirotada Kiriyama, Hidehiko Masuhara, Tomoyuki Aotani
-
Chop&Graft: an Advice Mechanism to Separate Exception Handling — Kenta Fujita, Hidehiko Masuhara, Tomoyuki Aotani
