Hi! This page used to hold a presentation that I gave at SuperHappyDevHouse in July 2011. These are available here.

The slides aren't particularly useful on their own, so I wanted to put up some more useful information for anyone interested. The project is out of the Brown PLT research group (see all our projects at github).

The type system work that I discussed in the talk is built on ongoing and cutting-edge research, most notably

Come visit us at USENIX Security this August in San Francisco, where we'll be presenting the ADsafety work! For further questions, you can contact me at joe@cs.brown.edu.

Thanks for stopping by!