Check out these ICFP presentations by Galois team members:
Efficient Lookup-Table Protocol in Secure Multiparty Computation
Video Presentation
John Launchbury: watch video – http://www.youtube.com/watch?v=I79PwWpUx9c
Paper
John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, and Andy Adams-Moran. 2012. Efficient lookup-table protocol in secure multiparty computation. In “Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming” (ICFP ’12). ACM, New York, NY, USA, 189-200.
Experience Report: A Do-It-Yourself High Assurance Compiler
Video Presentation
Lee Pike: watch video – http://www.youtube.com/watch?v=7zXhP–9axQ
Paper
Lee Pike, Nis Wegmann, Sebastian Niller, and Alwyn Goodloe. 2012. Experience report: a do-it-yourself high-assurance compiler. In “Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming” (ICFP ’12). ACM, New York, NY, USA, 335-340.
A Meta-Scheduler for the Par-Monad
Video Presentation
Adam Foltzer: watch video – http://www.youtube.com/watch?v=SGMKv9DxpZs
Paper
Adam Foltzer, Abhishek Kulkarni, Rebecca Swords, Sajith Sasidharan, Eric Jiang, and Ryan Newton. 2012. A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud. In “Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming” (ICFP ’12). ACM, New York, NY, USA, 235-246.