Recent Professional Service
- UC Berkeley PL Seminar
- SNAPL 2015, General co-Chair
- Dynamic Biological Modeling: Abstractions, Algorithms, and Logic
- POPL 2016, General Chair
- ASPLOS Steering Committee
- ExCape: NSF Expeditions in Computer-Augmented Program Engineering, Executive Committee