news
| Jan 18, 2024 | I am on the Artifact Evaluation Committee for PLDI ‘24. |
|---|---|
| Dec 26, 2023 | I am on the Artifact Evaluation Committee for ECOOP ‘24. |
| Sep 26, 2023 | I will (probably) be at Midwest PL Summit 2023 in Michigan with a poster. |
| Sep 4, 2023 | We are running a super fun Reading Group on Under-approximate reasoning and Incorrecteness logic at Purdue. |
| Jul 19, 2023 | Attending ECOOP ‘23 in beautiful Seattle. |