Service
Program Committee at Conferences and Workshops
- SAS'21,'22 (Co-Chair with Caterina Urban)
- NeurIPS'19,'21,'22
- ICML'22
- CCS'21,'22
- AAAI'21,'22
- CVPR'21,'22
- ICLR'22
- FOMLAS'20,'21,'22
- ESOP'22
- VMCAI'22
- APLAS'21
- ICCV'21
- ATVA'21
- IJCAI'21
- PLDI'21
- TACAS'21
- ASPLOS'21
Journals
- JMLR
- FAOC
- Machine Learning
- IEEE TNNLS
- TOPLAS