Fixes, Proofs and Humans: Results and Lessons from Transforming Programs EventFriday, October 6, 2017 - 4:10pmAbstract: