staged information flow for javascript

This is a narrated version of my PLDI 2009 talk.