3 Papers accepted at ISoLA'20: "An Interface Theory for Program Verification", "Verification Artifacts in Cooperative Verification", and "Violation Witnesses and Result Validation for Multi-Threaded Programs"
activities-academic-web

Professional Activities

Conference Organizer

  1. Program Co-Chair, 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2020
  2. Program Co-Chair, 13th International Conference on Tests and Proofs (TAP), 2019
  3. Program Co-Chair, 24th International Conference on Tools and Algorithms for the Construction and of Analysis Systems (TACAS), 2018
  4. Co-Organizer, Dagstuhl Seminar 14171: Evaluating Software Verification Systems: Benchmarks and Competitions,
    Schloss Dagstuhl, April 21–25, 2014
  5. Program Co-Chair, 32nd IFIP Int. Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS),
    Florence, Italy, June, 2013
  6. Organizer, 2st TACAS 2013 Competition on Software Verification (SV-COMP),
    Rome, Italy, March 21, 2013
  7. Organization Co-Chair, 2nd Int. Workshop on Linux Driver Verification (LDV),
    Heraklion, Creta, October 15, 2012
  8. General Chair, 20th IEEE Int. Conference on Program Comprehension (ICPC),
    Passau, Bavaria, Germany, June 11–13, 2012
  9. Organizer, 7th Alpine Verification Meeting (AVM),
    Passau, Bavaria, Germany, May 21–22, 2012
  10. Organizer, 1st TACAS 2012 Competition on Software Verification (SV-COMP),
    Tallinn, Estonia, March 29, 2012
  11. Organization Chair, 1st Int. Workshop on Linux Driver Verification (LDV),
    Passau, Germany, February 13–17, 2012
  12. Local Organization Chair, 31st IEEE Int. Conference on Software Engineering (ICSE),
    Vancouver, BC, Canada, May 16–24, 2009
  13. Local Organization Chair, 17th IEEE Int. Conference on Program Comprehension (ICPC),
    Vancouver, BC, Canada, May 17–19, 2009
  14. Local Organization Chair, 6th IEEE Working Conference on Mining Software Repositories (MSR),
    Vancouver, BC, Canada, May 16–17, 2009
  15. Proceedings Chair, 25th IEEE International Conference on Software Maintenance (ICSM),
    Edmonton, AB, Canada, September 20–26, 2009
  16. Local Organization Chair, 14th IEEE Working Conference on Reverse Engineering (WCRE),
    Vancouver, BC, Canada, October 28–31, 2007
  17. Founder and Organizer, First Alpine Verification Meeting (AVM’05),
    Lausanne, Switzerland, October 6, 2005

Member of Conference Steering Committees

  1. Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), since 2015
  2. IFIP Int. Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE), 2013–2016
  3. IEEE Int. Conference on Program Comprehension (ICPC), 2012–2015

Member of Conference Program Committees

  1. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2020
  2. International Conference on Software Engineering and Formal Methods (SEFM), 2019
  3. Annual NASA Formal Methods Symposium (NFM), 2019
  4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2019
  5. Interactive Workshop on the Industrial Application of Verification and Testing (InterAVT), 2019
  6. International Conference on Formal Methods in Software Engineering (FORMALIZE), 2019
  7. International Conference on Software Engineering and Formal Methods (SEFM), 2018
  8. Annual NASA Formal Methods Symposium (NFM), 2018
  9. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2018
  10. International Conference on Computer-Aided Verification (CAV), 2018
  11. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017
  12. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2017
  13. International Conference on Software Engineering, tools track (ICSE), 2017
  14. Annual NASA Formal Methods Symposium (NFM), 2017
  15. International SPIN Symposium on Model Checking of Software (SPIN), 2017
  16. International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA), 2017
  17. 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), 2016
  18. 9th Indian Software Engineering Conference (ISEC), 2016
  19. 9th Int. Conference on Tests and Proofs (TAP), 2015
  20. 7th NASA Formal Methods Symposium (NFM), 2015
  21. 31st IEEE Int. Conference on Software Maintenance and Evolution (ICSME), 2015
  22. 23rd IEEE Int. Conference on Program Comprehension (ICPC), 2015
  23. 5th Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2015
  24. 14th Int. Conference on Formal Methods in Computer-Aided Design (FMCAD), 2014
  25. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2014
  26. 36th ACM/IEEE Int. Conference on Software Engineering (ICSE), 2014
  27. 34nd IFIP Int. Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2014
  28. 21st Int. Symposium on Model Checking of Software (SPIN), 2014
  29. 22nd IEEE Int. Conference on Program Comprehension (ICPC), 2014
  30. 8th Int. Conference on Tests and Proofs (TAP), 2014
  31. 18th European Conference on Software Maintenance and Reengineering and 21st Working Conference on Reverse Engineering (CSMR/WCRE), 2014
  32. 13th Int. Conference on Formal Methods in Computer-Aided Design (FMCAD), 2013
  33. 21st IEEE Int. Conference on Program Comprehension (ICPC), 2013
  34. 20th Working Conference on Reverse Engineering (WCRE), 2013
  35. 7th Int. Conference on Tests and Proofs (TAP), 2013
  36. 23rd Annual International Conference on Computer Science and Software Engineering (CASCON), 2013
  37. 4rd Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2013
  38. 19th Working Conference on Reverse Engineering (WCRE), 2012
  39. 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2012
  40. 3rd Int. Workshop on Formal Methods and Analysis in Software Product-Line Engineering (FMSPLE), 2012
  41. 1st Int. Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE), 2012
  42. 19th Int. Workshop on Model Checking of Software (SPIN), 2012
  43. 6th Int. Conference on Tests and Proofs (TAP), 2012
  44. 32nd IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2012
  45. 28th IEEE Int. Conference on Software Maintenance (ICSM), 2012
  46. 6th IEEE Int. Symposium on Theoretical Aspects of Software Engineering (TASE), 2012
  47. 18th Working Conference on Reverse Engineering (WCRE), 2011
  48. 6th Int. Workshop on Systems Software Verification (SSV), 2011
  49. 31st IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2011
  50. 27th IEEE Int. Conference on Software Maintenance (ICSM), 2011
  51. 19th IEEE Int. Conference on Program Comprehension (ICPC), 2011
  52. 5th Int. Conference on Tests and Proofs (TAP), 2011
  53. 17th Working Conference on Reverse Engineering (WCRE), 2010
  54. 26th IEEE Int. Conference on Software Maintenance (ICSM), 2010,
    Industrial Track
  55. 4th IEEE Int. Symposium on Theoretical Aspects of Software Engineering (TASE), 2010
  56. 4th Int. Conference on Tests and Proofs (TAP), 2010
  57. 18th IEEE Int. Conference on Program Comprehension (ICPC), 2010
  58. 19th Annual Int. Conference on Computer Science and Software Engineering (CASCON), 2009
  59. 16th Working Conference on Reverse Engineering (WCRE), 2009
  60. 17th IEEE Int. Conference on Program Comprehension (ICPC), 2009
  61. 18th Annual Int. Conference on Computer Science and Software Engineering (CASCON), 2008
  62. 15th Working Conference on Reverse Engineering (WCRE), 2008
  63. 24th IEEE Int. Conference on Software Maintenance (ICSM), 2008
  64. 19th Int. Conference on Concurrency Theory (CONCUR), 2008
  65. 16th IEEE Int. Conference on Program Comprehension (ICPC), 2008
  66. 23rd IEEE Int. Conference on Software Maintenance (ICSM), 2007
  67. 15th IEEE Int. Conference on Program Comprehension (ICPC), 2007
  68. 11th European Conference on Software Maintenance and Reengineering (CSMR), 2007,
    Doctoral Symposium
  69. 22nd IEEE Int. Conference on Software Maintenance (ICSM), 2006

Journal Editorial Board Member

  1. Editorial Board of Journal PeerJ, since 2015

Journal Referee

Conference Referee

Other Referee

Consultant in Industry

  1. Argus Technologies Ltd., Burnaby, 2009
  2. Alpha Technologies Ltd., Burnaby, 2008

Member of Professional Organizations

  1. Association for Computing Machinery (ACM)
  2. IEEE, IEEE Computer Society
  3. Deutscher Hochschulverband (DHV)

Grants / Awards

  1. Nokia University Relations Grant, 2008 (in-kind donation of Nokia devices)
    Title: Teaching Software Engineering on Mobile Devices
  2. NSERC Discovery Grant, RGPIN 341819-07, 2007-2012 (120 000 CAD)
    Title: Automated Formal Methods for Reliable Software Components
  3. President’s Research Grant, SFU/PRG 06-3, 2006 (10 000 CAD)
  4. Start-Up Grant, SFU, 2006 (100 000 CAD)
  5. DFG (German science foundation) Grant, BE 1761/3-1, 2003 (2 500 EUR)
  6. Government Award for early completion of study (2 500 EUR)
  7. Government Award for best graduates, all Germany (1 500 EUR)
  8. BTU University Award 1998 for best Master’s thesis
© Dirk Beyer
This document was translated from LATEX by HEVEA.