/
Generating Compiler Optimizations from Proofs Ross Tate Michael Stepp Sorin Lerner University Generating Compiler Optimizations from Proofs Ross Tate Michael Stepp Sorin Lerner University

Generating Compiler Optimizations from Proofs Ross Tate Michael Stepp Sorin Lerner University - PDF document

lois-ondreau
lois-ondreau . @lois-ondreau
Follow
534 views
Uploaded On 2014-12-26

Generating Compiler Optimizations from Proofs Ross Tate Michael Stepp Sorin Lerner University - PPT Presentation

ucsdedu Abstract We present an automated technique for generating compiler op timizations from examples of concrete programs before and after improvements have been made to them The key technical insight of our technique is that a proof of equivalenc ID: 29830

ucsdedu Abstract present

Share:

Link:

Embed:

Download Presentation from below link

Download Pdf The PPT/PDF document "Generating Compiler Optimizations from P..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.


Presentation Transcript