Professional Activities

General Chair

  • IEEE Workshop on Quantum Algorithms for Financial Applications 2022

  • ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS) 2008

Program Chair

  1. IEEE Workshop on Quantum Algorithms for Financial Applications 2022

  2. IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020, Industrial Track

  3. ACM/IEEE International Conference on Mobile Software Engineering and Systems (MobileSoft) 2017 Conference, Industrial Track

  4. ACM/IEEE International Conference on Mobile Software Engineering and Systems (MobileSoft) 2016 Conference, Industrial Track

  5. ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI) 2009, Student Research Competition

  6. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS) 2008

Program Committee Member

  1. IEEE 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023

  2. IEEE International Conference on Quantum Computing and Engineering (QCE) 2022

  3. IEEE International Conference on Quantum Computing and Engineering (QCE) 2021

  4. ACM SIGARCH/SIGBED/SIGOPS/SIGPLAN Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2021

  5. IEEE Workshop on Verification and Validation of Quantum Applications (Q-VV) 2020

  6. ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI) 2017

  7. ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI) 2016

  8. ACM/IEEE International Conference on Software Engineering (ICSE) 2019

  9. ACM/IEEE International Conference on Software Engineering (ICSE) 2017

  10. ACM/IEEE International Conference on Software Engineering (ICSE) 2012

  11. ACM SIGSAC Conference on Computer and Communications Security (CCS) 2017

  12. IEEE International Conference on Software Testing, Verification and Validation (ICST) 2012

  13. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2017, Doctoral Symposium

  14. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2011

  15. Internet Society Network and Distributed System Security Symposium (NDSS) 2009

  16. Applied Computer Security Associates Annual Computer Security Applications Conference (ACSAC) 2009

  17. Applied Computer Security Associates Annual Computer Security Applications Conference (ACSAC) 2008

  18. International Workshop on Quantum Software Engineering (Q-SE) 2020

  19. Advanced Research Workshop on Quantum Computing (TopQC) 2019

  20. European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) 2013, New Ideas Track

  21. ACM/IEEE International Conference on Mobile Software Engineering and Systems (MobileSoft) 2021 Conference, Vision and Tool Demos

  22. ACM/IEEE International Conference on Mobile Software Engineering and Systems (MobileSoft) 2017 Conference

  23. ACM/IEEE International Conference on Mobile Software Engineering and Systems (MobileSoft) 2016 Conference, Doctoral Symposium

  24. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS) 2015

  25. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS) 2014

  26. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS) 2012

  27. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS) 2011

  28. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS) 2010

  29. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS) 2009

  30. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS) 2007

  31. ACM/IEEE International Workshop on Software Development Lifecycle for Mobile (DeMobile) 2015

  32. IEEE International Conference on Secure Software Integration and Reliability Improvement (SERE) 2012

  33. IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI) 2011

  34. IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI) 2010

  35. IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI) 2009

  36. International Conference on the Quality of Information and Communication Technology (QUATIC) 2016

  37. International Conference on Computer Information Systems and Industrial Management (CISIM) 2016

  38. International Conference on Computer Information Systems and Industrial Management (CISIM) 2015

  39. International Conference on Computer Information Systems and Industrial Management (CISIM) 2014

  40. International Conference on Computer Information Systems and Industrial Management (CISIM) 2013

  41. International Conference on Computer Information Systems and Industrial Management (CISIM) 2012

  42. IEEE International Workshop on Program Debugging (IWPD) 2012

  43. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode) 2008