Service

Program committee member

• SAS
• SOAP
• ICSE
• APLAS
• ICSE
• OOPSLA
• SAS
• LCTES
• PLDI
• PLDI
• POPL
• OOPSLA
• SAS
• FSE (SRC)
• ECOOP (Doctoral Symposium)
• APLAS
• SYNT
• OCAML
• TAPAS
• PLDI (ERC)
• ICSE (Virtualization Committee)