Service
PC member
2020 International Workshop on Advances in Mobile App Analysis (A-Mobile)
[
www]
2020 European Conference on Object-Oriented Programming (ECOOP) [AEC]
[
www]
2018 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) [AEC]
[
www]
2018 International Workshop on Advances in Mobile App Analysis (A-Mobile)
[
www]
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
2020 IEEE Transactions on Software Engineering (TSE)
[
www]
2020 Software Testing, Verification and Reliability
[
www]
2020 Empirical Software Engineering
[
www]
2019 IEEE Transactions on Software Engineering (TSE)
[
www]
2019 Journal of Systems and Software
[
www]
2019 IEEE Transactions on Reliability
[
www]
2019 IEEE Access
[
www]
2018 Empirical Software Engineering
[
www]
2018 IEEE Transactions on Dependable and Secure Computing
[
www]
2018 International Journal of Information Security
[
www]
2018 IEEE Transactions on Software Engineering (TSE)
[
www]
2018 IEEE Transactions on Mobile Computing
[
www]
2018 ACM Transactions on Autonomous and Adaptive Systems
[
www]
2018 IEEE Access
[
www]
2017 Automated Software Engineering
[
www]
2017 IEEE Transactions on Software Engineering (TSE)
[
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
2020 International Conference on Software Engineering (ICSE)
[
www]
2020 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
[
www]
2019 IEEE Conference on Software Quality, Reliability and Security (QRS)
[
www]
2019 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
[
www]
2019 IEEE International Conference on Software Testing, Verification and Validation (ICST)
[
www]
2019 ACM Conference on Data and Applications Security and Privacy (CODASPY)
[
www]
2018 International Conference on Software Engineering (ICSE)
[
www]
2018 USENIX Annual Technical Conference (ATC)
[
www]
2018 IEEE Conference on Software Quality, Reliability and Security (QRS)
[
www]
2018 IEEE/ACM International Conference on Mobile Software Engineering and Systems
[
www]
2018 ACM Conference on Data and Applications Security and Privacy (CODASPY)
[
www]
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]
CVE Entries
2022 CVE-2022-23836
[
cve]
2019 CVE-2019-12594
[
cve]
[
poc]
2019 CVE-2019-7165
[
cve]
2018 CVE-2018-20343
[
cve]
[
poc]