[pl-seminar] OOPSLA 2015 Practice Talk

[Venkatesh Srinivasan <venk@xxxxxxxxxxx>]

Hello everyone,

 

I will be giving a practice talk for OOPSLA 2015 at 3:30 PM on Monday (October 26) in CS 7331. If you are able to attend, I would very much appreciate your feedback. Please see the abstract below. The duration of the talk is 20 minutes.

 

I will bring Greenbush donuts for all of you! J

 

Thanks in advance!

 

 

Title: Partial Evaluation of Machine Code

Time: Monday, October 26 @ 3:30 PM

Location: CS 7331

 

Abstract:

This paper presents an algorithm for off-line partial evaluation of machine code. The algorithm follows the classical two-phase approach of binding-time analysis (BTA) followed by specialization. However, machine-code partial evaluation presents a number of new challenges, and it was necessary to devise new techniques for use in each of the phases.

-           Our BTA algorithm makes use of an instruction-rewriting method that ``decouples'' multiple updates performed by a single instruction. This method counters the cascading imprecision that would otherwise occur with a more naive approach to BTA.

-           Our specialization algorithm specializes an explicit representation of the semantics of an instruction, and emits residual code via machine-code synthesis. Moreover, to create code that allows the stack and heap to be at different positions at run-time than at specialization-time, the specializer represents specialization-time addresses using symbolic constants, and uses a symbolic state for specialization.

Our experiments show that our algorithm can be used to specialize binaries with respect to commonly used inputs to produce faster binaries, as well as to extract an executable component from a bloated binary.

 

 

 

Thanks,

Venkatesh