Changed to 10pt as per OOPSLA submission guidelines. Changed formatting to fit figures.