Blog Posts
Aws Albarghouthi

Teaching Your SMT Solver Probability Theory  
Differentiable Programming: A Semantics Perspective  
Fairification: Making Unfair Programs Fair  
A Program Synthesis Primer