All Stories

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

  2. Sound up-to techniques and Complete abstract domains

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

    Professor dusko pavlovic

  3. Smooth coalgebra: testing vector analysis

    Article • Mathematical Structures in Computer Science, December 2015, Cambridge University Press

    Dr Bertfried Fauser, Professor dusko pavlovic, Dr Bertfried Fauser

  4. Towards a science of trust

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

    Professor dusko pavlovic