Service

• Program Committee Chair, ECOOP 2021.
• Program Committee Co-Chair, ESEC/FSE 2020 Industry Track.
• Program Committee, ICSE 2020.
• Program Committee, OOPSLA 2019.
• Program Committee, ECOOP 2019.
• Program Committee Chair, OOPSLA 2018.
• Program Committee, ISSTA 2017.
• Organizing chair, TAPAS 2016.
• Program Committee, OOPSLA 2016.
• External Program Committee, PLDI 2016.
• Publicity Chair, PLDI 2016.
• Program Committee, POPL 2016.
• Organizer, Workshop on WALA.
• Program Committee, SNAPL 2015.
• Program Committee, CAV 2015.
• Program Committee, PLDI 2015.
• Publicity Chair, PLDI 2015.
• Program Committee, MobileSoft 2015.
• External Review Committee, POPL 2015.
• Organizing Committee, TAPAS 2014.
• Program Committee, OOPSLA 2014.
• Program Committee, MobileSoft 2014.
• Program Committee, FSE 2014 Demonstrations Track.
• Publicity Chair, PLDI 2014.
• Student Research Competition Committee, SPLASH 2013.
• Program committee, ESEC/FSE 2013 New Ideas Track.
• External review committee, PLDI 2013.
• Program committee, ICSE 2013 New Ideas and Emerging Results (NIER) Track.
• Program committee, SOAP 2012
• Program committee, SAS 2012
• Program committee, ISSTA 2012
• External review committee, PLDI 2012
• External review committee, POPL 2012
• Program committee, RV 2011
• External review committee, PLDI 2010
• Program committee, PASTE 2010
• External review committee, PLDI 2009