Programming Languages and Verification at the University of Colorado Boulder