Synthesis of machine code from semantics.

Venkatesh Srinivasan, Thomas W. Reps

Browse the full PLDI paper archive.