Write a Blog >>
Scala 2017
Sun 22 - Mon 23 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Sun 22 Oct 2017 13:30 - 14:00 at Regency C - Compilation Chair(s): Paolo G. Giarrusso

Supercompilation is a program transformation technique that attempts to evaluate programs as much as possible at compile time. Supercompilation has been used for theorem proving, function inversion, and most notably optimization, especially of functional programs. However, the technique has numerous practical problems that prevent it from being applied in mainstream compilers. In this paper, we describe a framework that can be used for experimenting with supercompilation techniques. Our framework allows supercompilers to be constructed directly from an interpreter. The user specifies the interpreter using rewrite rules and the framework handles termination checking, generalization, and residualization. We demonstrate the approach by implementing a supercompiler for JavaScript.

Sun 22 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

13:30 - 15:00: Scala 2017 - Compilation at Regency C
Chair(s): Paolo G. GiarrussoUniversity of Tübingen, Germany
scala-2017-papers13:30 - 14:00
scala-2017-papers14:00 - 14:30
Aleksandar ProkopecOracle Labs, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Thomas WuerthingerOracle Labs
scala-2017-papers14:30 - 15:00
Franck CassezMacquarie University, Australia, Anthony SloaneMacquarie University