SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Fri 24 Oct 2014 11:15 - 11:37 at Salon F - Dynamic Optimization Chair(s): Zachary Tatlock

Function versioning is an approach to addressing input-sensitivity of program optimizations. A major side effect of it is notable code size increase, which has been hindering its broad applications to large code bases and space-stringent environments. In this paper, we initiate a systematic exploration into the problem, providing answers to some fundamental questions: Given a space constraint, to which function we should apply versioning? How many versions of a function should we include in the final executable? Is the optimal selection feasible to do in polynomial time? This study proves selecting the best set of versions under a space constraint is NP-complete and proposes a heuristic algorithm named CHoGS which yields near optimal results in quadratic time. We implement the algorithm and conduct experiments through the IBM XL compilers. We observe significant performance enhancement with only slight code size increase; the results from CHoGS show factors of higher space efficiency than those from traditional hotness-based methods.

Fri 24 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Dynamic OptimizationOOPSLA at Salon F
Chair(s): Zachary Tatlock University of Washington, Seattle
10:30
22m
Talk
Accelerating Iterators in Optimizing AST Interpreters
OOPSLA
Wei Zhang University of California, Irvine, Per Larsen University of California, Irvine, Stefan Brunthaler University of California, Irvine, Michael Franz University of California, Irvine
Link to publication
10:52
22m
Talk
Call Sequence Prediction through Probabilistic Calling Automata
OOPSLA
Zhijia Zhao College of William and Mary / North Carolina State University, Bo Wu College of William and Mary, Mingzhou Zhou College of William and Mary, Yufei Ding College of William and Mary, Jianhua Sun College of William and Mary, Xipeng Shen North Carolina State University, Youfeng Wu Intel Corporation
Link to publication
11:15
22m
Talk
Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations
OOPSLA
Mingzhou Zhou College of William and Mary, Xipeng Shen North Carolina State University, Yaoqing Gao IBM Toronto Labs, Graham Yiu IBM Toronto Labs
Link to publication
11:37
22m
Talk
The HipHop Virtual Machine
OOPSLA
Keith Adams Facebook, Jason Evans Facebook, Bertrand Maher Facebook, Guilherme Ottoni Facebook, Drew Paroski Facebook, Brett Simmers Facebook, Edwin Smith Facebook, Owen Yamauchi Facebook
Link to publication