Verified Construction of Static Single Assignment FormDate: March 17, 2016Conference talk on our CC paper. My first conference talk!Slides Previous Next
