Thanks to those of you who joined us in Vancouver, BC, Canada, for SSV '10!
Check out the online proceedings and slides of the workshop program.
SSV '10 was held in conjunction with the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10), October 46, 2010.
Ralf Huuck, NICTA and University of New South Wales, Australia
Gerwin Klein, NICTA and University of New South Wales, Australia
Bastian Schlich, ABB Corporate Research, Germany
Adam Chlipala, Harvard University, USA
Dino Distefano, Queen Mary, University of London, UK
Klaus Havelund, Jet Propulsion Laboratory, NASA, USA
Chris Hawblitzel, Microsoft Research, USA
Andy King, University of Kent, UK
Stefan Kowalewski, RWTH Aachen University, Germany
Kim Larsen, Aalborg University, Denmark
John Matthews, Galois, Inc., USA
Thomas Noll, RWTH Aachen University, Germany
Wolfgang Paul, University of Saarbrücken, Germany
Jan Peleska, University of Bremen, Germany
John Regehr, University of Utah, USA
Wolfram Schulte, Microsoft Research, USA
Zhong Shao, Yale University, USA
Junfeng Yang, Columbia University, USA
Kwangkeun Yi, Seoul National University, South Korea