1. # vimeo.com/70631154 Uploaded 15 Plays 0 Comments
  2. Screencast version of my PLDI 2013 talk "Thresher: Precise Refutations for Heap Reachability"

    # vimeo.com/69907276 Uploaded 55 Plays 0 Comments
  3. A demonstration of the abstract domains for sets of integers constructed using QUIC graphs from abstract domains for integers. The artifact submission web page is http://cs.colorado.edu/~coxaj/quicgraphs/index.html.

    # vimeo.com/61400175 Uploaded 173 Plays 0 Comments

CU Programming Languages and Verification

CUPLV

Programming Languages and Verification at the University of Colorado Boulder

Browse This Channel

Shout Box

Heads up: the shoutbox will be retiring soon. It’s tired of working, and can’t wait to relax. You can still send a message to the channel owner, though!

Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels.