Write a Blog >>
Thu 22 Jun 2017 14:05 - 14:30 at Auditorium, Vertex Building - Implementation Chair(s): Tobias Wrigstad

Function duplication is widely used by JIT compilers to efficiently implement dynamic languages. When the source language supports higher order functions, the called function’s identity is not generally known when compiling a call site, thus limiting the use of function duplication. This paper presents a JIT compilation technique enabling function duplication in the presence of higher order functions. Unlike existing techniques, our approach uses dynamic dispatch at call sites instead of trying to discover function identity. We have implemented the technique in a Scheme JIT compiler. Experiments show that it allows removing all the run time type checks for several benchmarks, and 47% on average, allowing the compiler to generate code up to 30% faster and 12.3% on average. We show that the technique can be use to duplicate functions using other run time information opening up new applications such as register allocation based duplication and aggressive inlining.

Thu 22 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:40 - 15:20
ImplementationECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Tobias Wrigstad Uppsala University
13:40
25m
Talk
Parallelizing Julia with a Non-invasive DSL
ECOOP Research Papers
Todd A. Anderson , Hai Liu Intel Labs, Lindsey Kuper Intel Labs, Ehsan Totoni Intel Labs, Jan Vitek Northeastern University, Tatiana Shpeisman Intel Labs
Link to publication Media Attached
14:05
25m
Talk
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
ECOOP Research Papers
Baptiste Saleil , Marc Feeley Université de Montréal
Link to publication Media Attached
14:30
25m
Talk
Compiling tree transforms to operate on packed representations
ECOOP Research Papers
Michael Vollmer Indiana University, USA, Sarah Spall Indiana University, Buddhika Chamith Indiana University, Laith Sakka , Milind Kulkarni Purdue University, Sam Tobin-Hochstadt Indiana University, Ryan R. Newton Indiana University
Link to publication Media Attached
14:55
25m
Talk
An Empirical Study on Deoptimization in the Graal Compiler
ECOOP Research Papers
Yudi Zheng University of Lugano, Lubomír Bulej Charles University, Walter Binder University of Lugano
Link to publication Media Attached