Two Stony Brook Computer Science Papers Accepted to Premier Programming Languages Conference