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

On-stack replacement (OSR) is essential technology for adaptive optimization, allowing changes to code actively executing in a managed runtime. The engineering aspects of OSR are well-known among VM architects, with several implementations available to date. However, OSR is yet to be explored as a general means to transfer execution between related program versions, which can pave the road to unprecedented applications that stretch beyond VMs. We aim at filling this gap with a constructive and provably correct OSR framework, allowing a class of general-purpose transformation functions to yield a special-purpose replacement. We describe and evaluate an implementation of our technique in LLVM. As a novel application of OSR, we present a feasibility study on debugging of optimized code, showing how our techniques can be used to fix variables holding incorrect values at breakpoints due to optimizations.

Wed 20 Jun

pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Dynamic Techniques at Grand Ballroom CD
Chair(s): Sorin LernerUniversity of California, San Diego
pldi-2018-papers14:00 - 14:25
Talk
Media Attached
pldi-2018-papers14:25 - 14:50
Talk
Daniele Cono D'EliaSapienza University of Rome, Italy, Camil DemetrescuSapienza University Rome
Media Attached
pldi-2018-papers14:50 - 15:15
Talk
Gregory J. DuckNational University of Singapore, Singapore, Roland H. C. YapNational University of Singapore, Singapore
Media Attached
pldi-2018-papers15:15 - 15:40
Talk
Cheng CaiUniversity of California, Irvine, Qirun ZhangUniversity of California, Davis, Zhiqiang ZuoNanjing University, China, Khanh NguyenUniversity of California, Irvine, Harry XuUniversity of California, Los Angeles (UCLA), Zhendong SuUniversity of California, Davis
Media Attached