All Stories

  1. Standardizing the API of abstract domains used for analysis of object-oriented programs.

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

    Ph Gianluca Amato