Service
| Year | Conference and Role. |
|---|---|
| 2026 | PC Member, ICST'26 |
| 2025 | AEC Member, SAS'25 |
| 2024 | AEC Member, TACAS'24 |
| 2023 | AEC Member, ISSTA'23 |
| 2023 | AEC Member, PLDI'23 |
| 2022 | Shadow PC, MSR'22 |
| 2021 | AEC Member, ECOOP'21 |
| 2021 | AEC Member, OOPSLA'21 |
| Year | Conference and Role. |
|---|---|
| 2026 | PC Member, ICST'26 |
| 2025 | AEC Member, SAS'25 |
| 2024 | AEC Member, TACAS'24 |
| 2023 | AEC Member, ISSTA'23 |
| 2023 | AEC Member, PLDI'23 |
| 2022 | Shadow PC, MSR'22 |
| 2021 | AEC Member, ECOOP'21 |
| 2021 | AEC Member, OOPSLA'21 |