Author: Symposium on Foundations of Computer Science (48th 2007 Providence, R.I.)