Resource Aware ML
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...