• RaML 1.5 Release

    RaML 1.5.0 is now available. The main change compared to the previous release is support for inferring bounds on the expected resource usage of probabilistic programs. Use the following link...

    June 14, 2020
    in Release

  • Paper on Expected Cost Bounds

    RaML is now able to derive bounds on the expected cost of probabilistic programs. Check out our paper Raising Expectations: Automating Expected Cost Analysis with Types.

    June 9, 2020
    in News

  • Paper on Exponential Bounds

    Our paper on Exponential Automatic Amortized Resource Analysis has been accepted to FOSSACS 2020.

    December 1, 2019
    in News

  • RaML 1.4 Release

    Use the following link to download a tar archive of the RaML 1.4.2 source code. raml-1.4.2.tar.gz To compile and run RaML 1.4.2 you need the following software. OCaml compiler. Versions...

    December 19, 2018
    in Release

  • RaML 1.3 Release

    Use the following link to download a tar archive of the RaML 1.3.1 source code. raml-1.3.1.tar.gz To compile and run RaML 1.3.1 you need the following software. OCaml compiler. Version...

    September 26, 2017
    in Release