Galois at ICFP 2012

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.