Blog Posts
Aws Albarghouthi

Differentiable Programming: A Semantics Perspective  
Fairification: Making Unfair Programs Fair  
A Program Synthesis Primer