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

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

10:20 - 12:00
Systems and PerformancePLDI Research Papers at Auditorium, Vertex Building
Chair(s): Dan Grossman University of Washington
10:20
25m
Talk
Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes
PLDI Research Papers
Scott Schneider IBM Research, Kun-Lung Wu IBM Research
Media Attached
10:45
25m
Talk
Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
PLDI Research Papers
Thomas Wuerthinger Oracle Labs, Christian Wimmer , Christian Humer Oracle Labs, Switzerland, Andreas Woess Oracle Labs, Lukas Stadler Oracle Labs, Austria, Chris Seaton Oracle Labs, Gilles Duboscq Oracle Labs, Doug Simon Oracle Labs, Matthias Grimmer Oracle Labs, Austria
Media Attached
11:10
25m
Talk
Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
PLDI Research Papers
Stefan K. Muller , Umut A. Acar Carnegie Mellon University, Robert Harper CWI
Media Attached
11:35
25m
Talk
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
PLDI Research Papers
Konstantinos Mamouras University of Pennsylvania, Mukund Raghotaman University of Pennsylvania, Rajeev Alur University of Pennsylvania, Zachary G. Ives University of Pennsylvania, Sanjeev Khanna University of Pennsylvania
Media Attached