We are hiring new student research assistants and tutors. Apply now!
Paper accepted at CCS 2023: Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications
activities-academic-web

Professional Activities

Conference Organizer

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

Member of Conference Steering Committees

  1. Fundamental Approaches to Software Engineering (FASE), since 2022
  2. European Joint Conferences on Theory and Practice of Software (ETAPS), since 2021
  3. Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), since 2015
  4. IFIP Int. Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE), 2013–2016
  5. IEEE Int. Conference on Program Comprehension (ICPC), 2012–2015

Member of Conference Program Committees

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

Journal Editorial Board Member

  1. Editorial Board of Journal PeerJ, since 2015
  2. Int. Journal on Software Tools for Technology Transfer (STTT), since 2015, Editor-in-chief for CoCha Theme

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. ETAPS Test-of-Time Award 2023
    for FASE 2013 paper Explicit-State Software Model Checking Based on CEGAR and Interpolation, doi:10.1007/978-3-642-37057-1_11
  2. DFG Grant 496588242, BE 1761/9-1, 2022 (328 900 EUR)
    Title: IDEFIX: Identifying and Fixing Incomplete Patches
  3. HVC Best-Paper Award 2017
    for HVC 2017 paper Software Verification: Testing vs. Model Checking, doi:10.1007/978-3-319-70389-3_7
  4. DFG Grant 418257054, BE 1761/7-1, 2019 (309 600 EUR)
    Title: Cooperative Software Verification
  5. DFG Research Training Group as co-PI 378803395, GRK 2428/1, 2019 (6 095 116 EUR)
    Title: CONVEY - Continuous Verification of CYber-Physical Systems
  6. Goedel Medal in silver at the Vienna Summer of Logic 2014
    for the achievements of the software-verification framework CPAchecker
  7. Nokia University Relations Grant, 2008 (in-kind donation of Nokia devices)
    Title: Teaching Software Engineering on Mobile Devices
  8. NSERC Discovery Grant, 482301 RGPIN 341819-07, 2007-2012 (120 000 CAD)
    Title: Automated Formal Methods for Reliable Software Components
  9. President’s Research Grant, SFU/PRG 06-3, 2006 (10 000 CAD)
  10. Start-Up Grant, SFU, 2006 (100 000 CAD)
  11. DFG (German science foundation) Grant, BE 1761/3-1, 2003 (2 500 EUR)
  12. Government Award for early completion of study (2 500 EUR)
  13. Government Award for best graduates, all Germany (1 500 EUR)
  14. BTU University Award 1998 for best Master’s thesis
© Dirk Beyer
This document was translated from LATEX by HEVEA.