OOPSLA progress