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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

16:00 - 17:40
StagingPEPM at Room Harbor View
Chair(s): Jacques Carette McMaster University
16:00
30m
Talk
Staging Generic Programming
PEPM
Jeremy Yallop University of Cambridge, UK
DOI
16:30
30m
Talk
Removing Runtime Overhead for Optimized Object Queries
PEPM
Jon Brandvein , Y. Annie Liu Stony Brook University, USA
DOI
17:00
20m
Talk
Toward Introducing Binding-Time Analysis to MetaOCaml
PEPM
Kenichi Asai Ochanomizu University
DOI
17:20
20m
Talk
Staging beyond Terms: Prospects and Challenges
PEPM
Jun Inoue National Institute of Advanced Industrial Science and Technology, Japan, Oleg Kiselyov , Yukiyoshi Kameyama
DOI