Write a Blog >>
Tue 19 Jan 2016 16:00 - 16:30 at Room Harbor View - Staging Chair(s): Jacques Carette

Generic programming libraries such as Scrap Your Boilerplate eliminate the need to write repetitive code, but typically introduce significant performance overheads. This leaves programmers with the unfortunate choice of writing succinct but slow programs or writing tedious but efficient programs. We show how to systematically transform an implementation of the Scrap Your Boilerplate library in the multi-stage programming language MetaOCaml to eliminate the overhead, making it possible to combine the benefits of high-level abstract programming with the efficiency of low-level code.

Tue 19 Jan

pepm-2016-main
16:00 - 17:40: PEPM - Staging at Room Harbor View
Chair(s): Jacques CaretteMcMaster University
pepm-2016-main16:00 - 16:30
Talk
Jeremy YallopUniversity of Cambridge, UK
DOI
pepm-2016-main16:30 - 17:00
Talk
Jon Brandvein, Yanhong A. LiuStony Brook University, USA
DOI
pepm-2016-main17:00 - 17:20
Talk
Kenichi AsaiOchanomizu University
DOI
pepm-2016-main17:20 - 17:40
Talk
Jun InoueNational Institute of Advanced Industrial Science and Technology, Japan, Oleg Kiselyov, Yukiyoshi Kameyama
DOI