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

ecoop-2017-papers
13:40 - 15:20: ECOOP Research Papers - Implementation at Auditorium, Vertex Building
Chair(s): Tobias WrigstadUppsala University
ecoop-2017-papers13:40 - 14:05
Talk
Todd A. Anderson, Hai LiuIntel Labs, Lindsey KuperIntel Labs, Ehsan TotoniIntel Labs, Jan VitekNortheastern University, Tatiana ShpeismanIntel Labs
Link to publication Media Attached
ecoop-2017-papers14:05 - 14:30
Talk
Baptiste Saleil, Marc FeeleyUniversité de Montréal
Link to publication Media Attached
ecoop-2017-papers14:30 - 14:55
Talk
Michael VollmerIndiana University, USA, Sarah SpallIndiana University, Buddhika ChamithIndiana University, Laith Sakka, Milind KulkarniPurdue University, Sam Tobin-HochstadtIndiana University, Ryan R. NewtonIndiana University
Link to publication Media Attached
ecoop-2017-papers14:55 - 15:20
Talk
Yudi ZhengUniversity of Lugano, Lubomír BulejCharles University, Walter BinderUniversity of Lugano
Link to publication Media Attached