All Stories

  1. VO-GCSE: Verification Optimization through Global Common Subexpression Elimination

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

    Lucas Cordeiro

  2. Using LLMs and Automated Reasoning to Mathematically Prove That Programs are Correct.

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

    Muhammad Pirzada, Giles Reger, Lucas Cordeiro

  3. ESBMC-Python: A Bounded Model Checker for Python Programs

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

    Bruno Farias, Lucas Cordeiro

  4. JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking

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

    Lucas Cordeiro

  5. FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis

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

    Kaled M Alshmrany, Lucas Cordeiro

  6. The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification

    Article • December 2023, ACM (Association for Computing Machinery)

    Lucas Cordeiro

  7. AIREPAIR: A Repair Platform for Neural Networks

    Article • May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Lucas Cordeiro

  8. ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation

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

    Lucas Cordeiro

  9. ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC

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

    Giles Reger, Lucas Cordeiro

  10. ESBMC-solidity

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

    Lucas Cordeiro