Service (Martin Vechev)

• PLDI'2014: External Review Committee
• ASPLOS'2014: Program Committee
• ESOP'2014: Program Committee
• ESEC/FSE 2013 New Ideas Track: Program Committee
• SYNT'2013: Program Committee
• TRUST'2013: Program Committee
• OOPSLA'2013: External Review Committee
• RV'2013: Program Committee
• PLDI'2013: Program Committee
• POPL'2013: Program Committee
• RV'2012: Program Committee
• RACES'2012: Selection Committee
• PLDI'2012 SRC: Selection Committee
• OOPSLA'2012: Program Committee
• SYNT'2012: Program Committee
• INFINITY'2012: Program Committee
• SYSTOR'2012: Program Committee
• WoDet'2012: Program Committee
• ISMM'2012: General Chair
• POPL'2012: External Review Commitee
• PSY'2012: Fourth International Workshop on Practical Synthesis, Beijing, China, June 14, 2012, co-organizer with Eran Yahav
• APLAS 2011: Program Commitee
• PSY'2011: Third International Workshop on Practical Synthesis For Concurrent Systems, Edinburgh, July 15, 2011, co-organizer with Eran Yahav
• PSY'2010: Second International Workshop on Practical Synthesis For Concurrent Systems, Edinburgh, July 20, 2010, co-organized with (SVARM)
• ISMM'2010: Program Commitee
• PSY'2009: First International Workshop on Practical Synthesis For Concurrent Systems, Grenoble, France, June 28, 2009, co-organizer with Amir Pnueli and Eran Yahav
• ISMM'2009 : Program Commitee