All Stories

  1. Lessons from Formally Verified Deployed Software Systems

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

    Li Huang, Alexander Kogtenkov, Bertrand Meyer

  2. Execution-Free Program Repair

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

    Li Huang, Bertrand Meyer

  3. 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

  4. Quantum types: going beyond qubits and quantum gates

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

    Li Huang