Our main project is Vortex, and that slide deck is here (a slightly longer version is here).  Recent talks on the Vortex consistency model are here and on lessons learned from Derecho and Vortex relative to "the future of systems research", here

An older talk on Cascade with a lot of material on Derecho is here.

A slide deck on how to give a talk is here.