All Stories

  1. A Correctness and Incorrectness Program Logic

    Article • Journal of the ACM, February 2023, ACM (Association for Computing Machinery)

    Roberta gori

  2. Abstract interpretation repair

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

    Roberta gori

  3. Abstract extensionality: on the properties of incomplete abstract interpretations

    Article • Proceedings of the ACM on Programming Languages, January 2020, ACM (Association for Computing Machinery)

    Roberta gori, Professor dusko pavlovic

  4. Exploiting Binary Floating-Point Representations for Constraint Propagation

    Article • INFORMS Journal on Computing, February 2016, INFORMS

    Roberta gori, Prof. Roberto Bagnara