Ranjit Jhala Sorin Lerner Zachary Tatlock Chris Tucker