Generating Compiler Optimizations from Proofs - Papers We Love #027
Benefitted from this video? Click here to Support our efforts
Published on: Monday, 5 June 2017
Speaker: Benjamin Lim
Generating Compiler Optimizations from Proofs - Ross Tate, MichaelStepp, Sorin Lerner https://www.cs.cornell.edu/~ross/publications/proofgen/proofgen_tate_popl10_tr.pdf
Event Page: https://www.facebook.com/events/1105295546247085
Produced by Engineers.SG
Help us caption & translate this video!
