Greenberg POPL'15 summary