All Stories

  1. Artificial Intelligence for Software Engineering: From Probable to Provable

    Article • Communications of the ACM, May 2026, ACM (Association for Computing Machinery)

    Bertrand Meyer

  2. Is AI Intelligent?

    Article • Communications of the ACM, April 2026, ACM (Association for Computing Machinery)

    Bertrand Meyer

  3. Lessons from Formally Verified Deployed Software Systems

    Article • ACM Computing Surveys, January 2026, ACM (Association for Computing Machinery)

    Li Huang, Alexander Kogtenkov, Bertrand Meyer

  4. Obituary for Niklaus Wirth

    Article • Formal Aspects of Computing, March 2025, ACM (Association for Computing Machinery)

    Bertrand Meyer

  5. Execution-Free Program Repair

    Article • July 2024, ACM (Association for Computing Machinery)

    Li Huang, Bertrand Meyer

  6. BUGFIX: towards a common language and framework for the Automatic Program Repair community

    Article • April 2024, ACM (Association for Computing Machinery)

    Li Huang, Bertrand Meyer

  7. The concept of class invariant in object-oriented programming

    Article • Formal Aspects of Computing, January 2024, ACM (Association for Computing Machinery)

    Alexander Kogtenkov, Bertrand Meyer

  8. The Role of Formalism in System Requirements

    Article • ACM Computing Surveys, June 2022, ACM (Association for Computing Machinery)

    Manuel Mazzara, Bertrand Meyer

  9. SmartWalker: An intelligent robotic walker

    Article • Journal of Ambient Intelligence and Smart Environments, July 2016, IOS Press

    Bertrand Meyer

  10. Contract-based general-purpose GPU programming

    Article • ACM SIGPLAN Notices, May 2016, ACM (Association for Computing Machinery)

    Bertrand Meyer

  11. Contract-based general-purpose GPU programming

    Article • October 2015, ACM (Association for Computing Machinery)

    Bertrand Meyer

  12. Efficient and reasonable object-oriented concurrency

    Article • August 2015, ACM (Association for Computing Machinery)

    Bertrand Meyer

  13. Automatic speed control for SmartWalker

    Article • July 2015, ACM (Association for Computing Machinery)

    Bertrand Meyer

  14. An Incremental Hint System For Automated Programming Assignments

    Article • June 2015, ACM (Association for Computing Machinery)

    Bertrand Meyer

  15. Efficient and reasonable object-oriented concurrency

    Article • January 2015, ACM (Association for Computing Machinery)

    Bertrand Meyer

  16. Inferring better contracts

    Article • May 2011, ACM (Association for Computing Machinery)

    Bertrand Meyer