Service







PC member


2017 International Symposium on Engineering Secure Software and Systems (ESSoS) [www]

2017 Workshop on Formal Techniques for Java-like Programs (FTfJP) [www]

2014 ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP) [www]


Journal Reviewer


2017 Automated Software Engineering [www]

2017 IEEE Transactions on Software Engineering [www]

2016 Computers & Security [www]

2016 Frontiers of Information Technology & Electronic Engineering [www]

2016 IEEE Access [www]

2016 IEEE Transactions on Mobile Computing [www]

2016 Software Testing, Verification and Reliability [www]


Magazine Reviewer


2017 IEEE Computer [www]


External Reviewer


2017 IEEE/ACM International Conference on Automated Software Engineering (ASE) [www]

2017 ACM Conference on Data and Applications Security and Privacy (CODASPY) [www]

2017 International Conference on Software Engineering (ICSE) [www]

2017 IEEE Conference on Software Quality, Reliability and Security (QRS) [www]

2017 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) [www]

2016 ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) [www]

2016 International Conference on Software Engineering (ICSE) [www]

2016 International Symposium on Engineering Secure Software and Systems (ESSoS) [www]

2016 ACM Conference on Data and Applications Security and Privacy (CODASPY) [www]

2015 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI) [www]

2015 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) [www]

2015 International Conference on Software Maintenance and Evolution (ICSME) [www]

2015 ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM) [www]

2014 Asia-Pacific Software Engineering Conference (APSEC)
2014 International Conference on Fundamental Approaches to Software Engineering (FASE) [www]

2014 International Conference on Software Engineering (ICSE) [www]

2013 International Workshop on Automation of Software Test (AST) [www]

2012 International Conference on Runtime Verification (RV) [www]

2012 TOOLS Europe: International Conference on Objects, Models, Components and Patterns
2012 International Conference on Software Engineering (ICSE) / New Ideas and Emerging Results (NIER) track [www]

2012 ACM Symposium On Applied Computing (SAC) / Software Verification and Testing (SVT) Track [www]

2012 IEEE International Conference on Software Testing, Verification and Validation (ICST) [www]

2012 ACM international conference on Aspect-oriented Software Development (AOSD) [www]

2011 IEEE International Conference on Software Testing, Verification and Validation (ICST) [www]

2011 International Symposium on Architecting Critical Systems (ISARCS) [www]

2011 International Worshop on Mutation Analysis (MUTATION) [www]

2011 Model-Driven Software Migration Workshop (MDSM) [www]

2011 ACM Symposium On Applied Computing (SAC) [www]