Fairification: Making Unfair Programs Fair  May 1, 2017

A Program Synthesis Primer  April 24, 2017
Notes - Aws Albarghouthi