| ISSTA2022 |
Program Committee |
ACM SIGSOFT International Symposium on Software Testing and Analysis |
| PLDI2022 |
Program Committee |
ACM SIGPLAN Conference on Programming Language Design and Implementation |
| OOPSLA2022 |
Program Committee |
Object-Oriented Programming, Systems, Languages & Applications |
| ASPLOS2021 |
External Program Committee |
ACM SIGPLAN Conference on Architectural Support for Programming Languages and Operating Systems |
| SCAM2020 |
Program Committee |
IEEE International Working Conference on Source Code Analysis and Manipulation |
| ACISP2020 |
Program Committee |
Australasian Conference on Information Security and Privacy |
| SPLASH2020 |
Organization Committee |
ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity |
| SOAP2020@PLDI |
Steering Committee |
ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis |
| SPLASH2019 |
Organization Committee |
ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity |
| FMBC2019 |
Program Committee |
Workshop on Formal Methods for Blockchains |
| IC2019@SPLASH |
Program Committee |
Workshop on Incremental Computing |
| SOAP2019@PLDI |
Program Chair |
ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis |
| DPA2019@PLDI |
Program Chair |
Workshop on Declarative Program Analysis |