Wed 20 Jun 2018 14:00 - 14:25 at Grand Ballroom CD - Dynamic Techniques Chair(s): Sorin Lerner

Dynamic languages such as PHP, JavaScript, Python, and Ruby have been gaining popularity over the last two decades. A very popular domain for these languages is web development, including server-side development of large-scale websites. As a result, improving the performance of these languages has become more important. Efficiently compiling programs in these languages is challenging, and many popular dynamic languages still lack efficient production-quality implementations. This paper describes the design of the second generation of the HHVM JIT and how it addresses the challenges to efficiently execute PHP and Hack programs. This new design uses profiling to build an aggressive region-based JIT compiler. We discuss the benefits of this approach compared to the more popular method-based and trace-based approaches to compile dynamic languages. Our evaluation running a very large PHP-based code base, the Facebook website, demonstrates the effectiveness of the new JIT design.

Wed 20 Jun

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:40
Dynamic TechniquesPLDI Research Papers at Grand Ballroom CD
Chair(s): Sorin Lerner University of California, San Diego
14:00
25m
Talk
HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack
PLDI Research Papers
Media Attached
14:25
25m
Talk
On-Stack Replacement, Distilled
PLDI Research Papers
Daniele Cono D'Elia Sapienza University of Rome, Italy, Camil Demetrescu Sapienza University Rome
Media Attached
14:50
25m
Talk
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
PLDI Research Papers
Gregory J. Duck National University of Singapore, Singapore, Roland H. C. Yap National University of Singapore, Singapore
Media Attached
15:15
25m
Talk
Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
PLDI Research Papers
Cheng Cai University of California, Irvine, Qirun Zhang University of California, Davis, Zhiqiang Zuo Nanjing University, China, Khanh Nguyen University of California, Irvine, Harry Xu University of California, Los Angeles (UCLA), Zhendong Su University of California, Davis
Media Attached