Area chairInternational Conference on Computer Aided Verification (CAV)2019
ERC memberACM Conference on Programming Language Design and Implementation (PLDI)2019
PC co-chairACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE)2019
PC co-chairWorkshop on Forming an Ecosystem Around Software Transformation (FEAST)2018
PC memberACM Symposium on Principles of Programming Languages (POPL)2019
PC memberWorkshop on Forming an Ecosystem Around Software Transformation (FEAST)2018
PC memberUSENIX Workshop on Hot Topics in Cloud Computing (HotCloud)2018
PC memberInternational Conference on Computer Aided Verification (CAV)2018
PC memberWorkshop on Forming an Ecosystem Around Software Transformation (FEAST)2017
PC memberACM Conference on Programming Language Design and Implementation (PLDI)2017
PC memberInternational Static Analysis Symposium (SAS)2016
ERC memberACM Symposium on Principles of Programming Languages (POPL)2016
PC co-chairInternational Workshop on the State Of The Art in Program Analysis (SOAP)2015
PC memberHaifa Verification Conference (HVC)2015
PC memberACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)2015
PC memberACM Symposium on Principles of Programming Languages (POPL)2015
PC memberHaifa Verification Conference (HVC)2014
PC memberIndia Software Engineering Conference (ISEC)2014
PC memberACM Conference on Programming Language Design and Implementation (PLDI)2013
PC memberACM Symposium on Principles and Practice of Parallel Programming (PPoPP)2013
ERC memberACM Symposium on Principles of Programming Languages (POPL)2012
PC memberInternational Conference on Runtime Verification (RV)2011
PC memberACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)2011
ERC memberACM Conference on Programming Language Design and Implementation (PLDI)2010