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! http://amara.org/v/77P7/

Organizations

•   Papers We Love

Presenters

•   Benjamin Lim