Check out this trick I did at POPL14 for Nada Amin and Aws Albarghouthi.
One day I'll update this, but for now here is some pasta.
I enjoy playing several instruments (piano, saxophone, and drums mostly), but I'm equally bad at each of them.
I try to rock climb and play badminton as often as I can.