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


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


  • Paper on Exponential Bounds

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


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


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