2011 10th International Symposium on Programming and Systems