OOPSLA14 more progress