Write a Blog >>
Wed 21 Jun 2017 10:45 - 11:10 at Auditorium, Vertex Building - Systems and Performance Chair(s): Dan Grossman

Most high-performance dynamic language virtual machines duplicate language semantics in the interpreter, compiler, and runtime system, violating the principle to not repeat yourself. In contrast, we define languages solely by writing an interpreter. Compiled code is derived automatically using partial evaluation (the first Futamura projection). The interpreter performs specializations, e.g., augments the interpreted program with type information and profiling information. Partial evaluation incorporates these specializations. This makes partial evaluation practical in the context of dynamic languages, because it reduces the size of the compiled code while still compiling in all parts of an operation that are relevant for a particular program. Deoptimization to the interpreter, re-specialization in the interpreter, and recompilation embrace the dynamic nature of languages. We evaluate our approach comparing newly built JavaScript, Ruby, and R runtimes with current specialized production implementations of those languages. Our general purpose compilation system is competitive with production systems even when they have been heavily specialized and optimized for one particular language.

Wed 21 Jun

pldi-2017-papers
10:20 - 12:00: PLDI Research Papers - Systems and Performance at Auditorium, Vertex Building
Chair(s): Dan GrossmanUniversity of Washington
pldi-2017-papers149803320000010:20 - 10:45
Talk
Scott SchneiderIBM Research, Kun-Lung WuIBM Research
Media Attached
pldi-2017-papers149803470000010:45 - 11:10
Talk
Thomas WuerthingerOracle Labs, Christian Wimmer, Christian HumerOracle Labs, Switzerland, Andreas WoessOracle Labs, Lukas StadlerOracle Labs, Austria, Chris SeatonOracle Labs, Gilles DuboscqOracle Labs, Doug SimonOracle Labs, Matthias GrimmerOracle Labs, Austria
Media Attached
pldi-2017-papers149803620000011:10 - 11:35
Talk
Stefan K. Muller, Umut AcarCarnegie Mellon University, Robert HarperCWI
Media Attached
pldi-2017-papers149803770000011:35 - 12:00
Talk
Konstantinos MamourasUniversity of Pennsylvania, Mukund RaghotamanUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Sanjeev KhannaUniversity of Pennsylvania
Media Attached