Write a Blog >>
CC 2017
Sun 5 - Mon 6 February 2017 Austin, Texas, United States
Sun 5 Feb 2017 13:30 - 13:55 at 404 - Compilers

Memoization is the technique of saving the results of computations so that future executions can be omitted when the same inputs repeat. Recent work showed that memoization can be applied to dynamically linked pure functions using a load-time technique and results were encouraging for the demonstrated transcendental functions. A restriction of the proposed framework was that memoization was restricted only to dynamically linked functions and the functions must be determined beforehand. In this work, we propose function memoization using a compile-time technique thus extending the scope of memoization to user defined functions as well as making it transparently applicable to any dynamically linked functions. Our compile-time technique allows static linking of memoization code and this increases the benefit due to memoization by leveraging the inlining capability for the memoization wrapper. Our compile-time analysis can also handle functions with pointer parameters, and we handle constants more efficiently. Instruction set support can also be considered, and we propose associated hardware leading to additional performance gain.

Sun 5 Feb
Times are displayed in time zone: Saskatchewan, Central America change

13:30 - 15:10: CompilersResearch Papers at 404
13:30 - 13:55
Talk
Compile-Time Function Memoization
Research Papers
Arjun SureshOhio State University, USA, Erven RohouInria, France, André SeznecInria, France
DOI
13:55 - 14:20
Talk
One Compiler: Deoptimization to Optimized Code
Research Papers
Christian Wimmer, Vojin JovanovicOracle Labs, Erik EcksteinOracle Labs, USA, Thomas WuerthingerOracle Labs
DOI
14:20 - 14:45
Talk
Static Optimization in PHP 7
Research Papers
Nikita PopovTU Berlin, Germany, Biagio CosenzaTU Berlin, Germany, Ben JuurlinkTU Berlin, Germany, Dmitry StogovZend Technologies, Russia
DOI
14:45 - 15:10
Talk
From Functional Programs to Pipelined Dataflow Circuits
Research Papers
Richard TownsendColumbia University, USA, Martha A. KimColumbia University, Stephen Edwards
DOI