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