The SimOS home page has moved to http://simos.stanford.edu.