All Stories

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

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

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

    Giles Reger, Lucas Cordeiro

  3. PerfCI

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

    Giles Reger

  4. The SMT Competition 2015–2018

    Article • Journal on Satisfiability Boolean Modeling and Computation, September 2019, IOS Press

    Tjark Weber, Giles Reger