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
Co-organizer4th International 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